Beiträge von: Stefan Bernegger

In der Äquivalenz unten rechts auf Folie 10 gibt es einen Druckfehler: In der resultierenden (vereinfachten) Formel sollte anstelle des Konditionals ein Bikonditional stehen ! Gruss, Stefan

Die Formalisierung ∀y (Py → ∀x (Qxy → Rx)) mit Px: x ist Wahrsagerin Qxy: x ist Kunde von y Rx: x ist einfältig sagt gemäss CCP und den Tutoren angeblich etwas anderes aus als: ∀x (∃y(Py ˄ Qxy) → Rx) Mit dem Baumkalkül komme ich jedoch darauf, dass: ∀y (Py → ∀x (Qxy →

Mir ist nun klar geworden, wieso sich die klassische Logik derart lange halten konnte: sie ist in unserer DNA eingeprägt, was bereits Aristoteles erkannt haben muss! Die kodierenden Bausteine der DNA sind die Basen: – guAnin (Guanin) – adEnin (Adenin) – thImin (Thymin) – cytOsin (Cythosin) Die Chemiker haben die klassisch logischen Abkürzungen A, E,