
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.