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