Neist kahest eeldusest saab tuletada, et tõene on mõlema implikatsiooni tagajärgede disjunktsioon. Neeldumise eeldus väidab, et kui implikatsiooni alus p on tõene, siis on tõene ka implikatsiooni tagajärg q. Sellest saab tuletada, et kui implikatsiooni alus p on tõene, siis on tõene ka implikatsiooni mõlema operandi konjunktsioon p & q. Seda on kerge mõista, sest eelduse põhjal peavad tõesed olema konjunktsiooni mõlemad operandid, seega ka konjunktsioon tervikuna. Lihtsustusreeglit tuleb mõista nii, et kui kahe lause konjunktsioon on tõene, siis on kumbki operandlause ka eraldi võttes tõene. Konjunktsioonireegel ütleb, et kui kaks lauset on korraga tõesed, siis on tõene ka nende konjunktsioon. Lisamisreegel ütleb, et kui tõesele lausele disjunktsiooni teel lisada veel üks lause, siis see disjunktsioon on tõene, sõltumata lisatud lause tõeväärtusest. Ülalpool öeldi, et tuletusreegleid ei tohi kasutada tuletussammu osades (eeldused,
Neist kahest eeldusest saab tuletada, et tõene on mõlema implikatsiooni tagajärgede disjunktsioon. Neeldumise eeldus väidab, et kui implikatsiooni alus p on tõene, siis on tõene ka implikatsiooni tagajärg q. Sellest saab tuletada, et kui implikatsiooni alus p on tõene, siis on tõene ka implikatsiooni mõlema operandi konjunktsioon p & q. Seda on kerge mõista, sest eelduse põhjal peavad tõesed olema konjunktsiooni mõlemad operandid, seega ka konjunktsioon tervikuna. Lihtsustusreeglit tuleb mõista nii, et kui kahe lause konjunktsioon on tõene, siis on kumbki operandlause ka eraldi võttes tõene. Konjunktsioonireegel ütleb, et kui kaks lauset on korraga tõesed, siis on tõene ka nende konjunktsioon. Lisamisreegel ütleb, et kui tõesele lausele disjunktsiooni teel lisada veel üks lause, siis see disjunktsioon on tõene, sõltumata lisatud lause tõeväärtusest. Ülalpool öeldi, et tuletusreegleid ei tohi kasutada tuletussammu osades (eeldused,
annaabi.ee 
