'''תרגיל'''. שכנע את עצמך באמיתיות הפסוקים הבאים:
* <math>\ (\forall x: P(x) \rightarrow Q(x)) \rightarrow (\forall x: P(x) \rightarrow \forall x: Q(x))</math>.
'''תרגיל'''. נניח ש-c הוא קבוע, A תכונה אטומית, ו-P פרידקט עם משתנה אחד. הוכח את השקילות של <math>\ (\forall x: P(x)) \leftrightarrow A</math> ושל <math>\ P(c) \rightarrow A) \wedge A \rightarrow \forall x: P(x)</math>.
=== משתנים ותחולתם ===