elev Bar-Ilan

שלב 11 מתוך 19

שלושה משפטים קרובים — ורק אחד שקול

ממשפט ״אם PP אז QQ״ אפשר לבנות שלושה משפטים קרובים. קו מעל אות פירושו ״לא״: P‾\overline{P} הוא ״PP לא קרה״.

Q⇒PQ \Rightarrow P
ההפוך — אינו שקול למשפט
P‾⇒Q‾\overline{P} \Rightarrow \overline{Q}
השלילי — אינו שקול למשפט
Q‾⇒P‾\overline{Q} \Rightarrow \overline{P}
ההפוך-שלילי — שקול למשפט