שינויים
/* פסוקים אמיתיים */
* <math>\ \forall x: (P(x) \wedge Q(x)) \rightarrow (\forall x: P(x) \wedge \forall x: Q(x))</math>.
* <math>\ (\exists x: P(x) \wedge \exists x: Q(x)) \rightarrow \exists x: (P(x) \wedge Q(x))</math>.
** '''פתרון''': יש מספר שלם ריבועי ויש מספר שלם בין 70 ל-80; אבל אין מספר שלם ריבועי שהוא בין 70 ל-80.
* <math>\ \exists x: (P(x) \wedge Q(x)) \rightarrow (\exists x: P(x) \wedge \exists x: Q(x))</math>.
* <math>\ (\exists x: P(x) \vee \exists x: Q(x)) \rightarrow \exists x: (P(x) \vee Q(x))</math>.
'''תרגיל'''. שכנע את עצמך באמיתיות הפסוק הבא:
