Hadern mit Formeln
Liebe logische Leute,
Man kann sich im ewigen Bemühen, die Welt in eine Formel einzufangen, auch verzetteln. Das Bestreben jedoch scheint mir recht löblich, und ich muss ja auch das Meinige dazu beitragen, doch bin ich bei folgenden mustergelösten Formalisierungen gestolpert:
Ü3, 3e) Jeder bewundert den gerissenen Spitzel.
∃x[((Px∧Qx)∧∀y(Py∧Qy→y=x)) ∧ ∀z(Rz→Szx)]
Hier wird eine Existenzbehauptung aufgestellt und die Formel […]