Gdy nadto prawdziwy jest jej poprzednik, czyli zdanie A, to na podstawie modus ponendo ponens przesądza to o prawdziwości następnika tej implikacji, czyli zdania B.
prawdziwość tej implikacji jest zagwarantowana zarówno wtedy, gdy jej następnik, czyli zdanie B, jest zdaniem prawdziwym, jak i wtedy, gdy zdanie to jest fałszywe.
prawdziwość tej implikacji jest zagwarantowana zarówno wtedy, gdy jej poprzednik, czyli zdanie A, jest zdaniem prawdziwym jak i wtedy, gdy jest to zdanie fałszywe.
Gdy przy tym fałszywy jest jej następnik, czyli zdanie B, to na podstawie modus tollendo tollens przesądza to o fałszywości poprzednika tej Implikacji czyli zdania A.