kontrtautologia do sprawdzenia ktoś: ~ { ( q → p ) → [ ( ~ q ~ r ) v ( ~ p → r ) ] } 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 Jest kontrtautologią ponieważ zachodzi sprzeczność (w pierwszym nawiasie). Czy dobrze jest to zrobione?

ktoś: POPRAWIONE BO SIĘ PRZESUNĘŁO: ~ { ( q → p ) → [ ( ~ q ∧ ~ r ) v ( ~ p → r ) ] } 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0

Saizou : żeby pokazać że coś jest kontrtautologią w metodzie 0−1 musisz sprawdzić każde wartościowanie, jeśli przy każdym wartościowaniu masz same 0 to jest to kontrtautologia

ktoś: Ja to robię metodą skróconą, po co sprawdzać każde wartościowanie?