se definiše kao
.
je netačno kada je
tačno, a
netačno. U ostalim slučajevima je
tačno.
je tačno ako i samo ako je
tačno za sve vrednosti
.
Iz ovih definicija izvedi da je
netačno, bez obzira na to šta je
.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.