(נהוג להחליף ביטויים מהצורה הזו בביטויים השקולים להם כי הם נוחים יותר להוכחה מידי פעם.)
דוגמאות מילוליות:
*"כלב נובח אינו נושך" אם"ם "כלב נושך אינו נובח"
*"אם הגובה שלי היה 3 מטר, אז הראש שלי היה נוגע בתקרה. כיוון שהוא לא נוגע בתקרה, זו סתירה ולכן איני בגובה 3 מטר"
==שלילת פסוקים==