תנאי הכרחי – הבדלי גרסאות

::<math>\neg A \implies \neg B</math> שפירושו הרשמי: ניגודו של A גורר אחריו את ניגודו של B.

 

 

== הקשר בין תנאי מספיק לתנאי הכרחי ==