Zdanie logiczne: Różnice pomiędzy wersjami

'''Zdanie w sensie logiki''' (zdanie logiczne) ––podstawowa obok [[Nazwa|nazwy]] kategoria syntaktyczna, [[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''.