Wyrażenie możemy uznać za logicznie prawdziwe, kiedy jego elementy nie są wobec siebie nawzajem sprzeczne (jedno zdanie nie może negować drugiego). Za prawdziwe uznajemy także wyrażenia, które realizują