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

 

יש לשים לב, שקיום טענה א' רק הופכת את טענה ב' ל'''אפשרית''' - ולא בהכרח גוררת את טענה ב'.

ביטוי השקול לוגית לביטוי:

 

 

כלומר, להגיד שא' הוא תנאי הכרחי לב' שקול לטענה שאם לא-א' אז לא-ב'.

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

במובן מסוים, תנאי הכרחי הוא היפוכו של [[תנאי מספיק]]. '''א' הוא תנאי הכרחי ל-ב' ''' שקול ל-'''ב' הוא תנאי מספיק ל-א' '''. כאשר דורשים את שני התנאים, מדובר למעשה בשקילות לוגית. '''א' הוא תנאי הכרחי ומספיק לתנאי ב' ''' משמעו שא' גורר את ב' (מספיק) וב' גורר את א' (הכרחי) כלומר, א' וב' שקולים.

 

== דוגמה ==