(x): x² = 4 . ≡ . x = + 2 ⌵ x = ‒ 2 heißt: „rechne ‚(?)² = 4’ aus (d.h. nicht probieren) und du erhältst +2 und ‒ 2” (und zeigt hier nicht das „und”(Ƒ) daß die Wahrheitsfunktion in diesen Sätzen nicht wesentlich vorkommt?)