* <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> (כל תרנגול, בנפרד, קורא אם ורק אם השמש זורחת)?
=== משתנים ותחולתם ===