Ja-tad ir nepatiess tikai tad, ja no patiesa seko meli. (Piemēram "ja es esmu cilvēks, tad man nav zobu" ir nepatiess, jo secinājums ir meli, bet pieņēmums nē. Cits piemērs "ja es esmu robots, tad manas kājas ir no gaļas". Gan pieņēmums, gan secinājums ir nepatiess, tāpēc ja-tad ir patiess)

Kopumā to apraksta šitāda tabula

p q p→q 
T T   T 
T F   F 
F T   T 
F F   T

Tātad, ja mēs zinām, ka " mācījās otrais, tad mācījās arī trešais" ir nepatiess, tad tam atbilst otrā tabulas rinda. Tātad "mācījās otrais" ir patiess, bet "mācījās trešais" - nē.
Tagad apskatām otru apgalvojumu. "ja mācījās pirmais, tad mācījās trešais". Tā kā jau zinām, ka trešais nemācījās un arī to, ka "ja-tad" ir patiess, tad varam uzmeklēt attiecīgo tabulas rindu, kas ir pēdējā rinda.
Tātad mācījās tikai otrais.