בהנחה כי הטענה "אם א' אז ב' " היא פסוק תנאי נוגד מציאות: