Zdanie w sensie logiki (zdanie logiczne) –
wypowiedź, która stwierdza określony
stan rzeczy. Zdanie
z języka
J stwierdza (na mocy reguł semantycznych
J) stan rzeczy
s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka
J: zdanie
z jest prawdziwe zawsze i tylko wtedy, gdy
s a
z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że
s.