Prädikatenlogik 2: Universelle und Existenzaussagen

[@skhi7658]

Nein. Der Unterschied zwischen klassischem Syllogismus und Prädikatenlogik ist nicht trivial. Alle Centauren sind Pferde. Alle Pferde sind Lebewesen. Also einige Lebewesen sind Centauren . (?)

[@Komprimat1111]

Könnten Sie das etwas ausführen? -Wann wurde das behauptet (Gerne einen Zeitstempel angeben) -Was soll mit Ihrem Beispiel gezeigt werden? In der (formalen) Logik interessiert doch nur die Gültigkeit der Schlüsse und vom Inhalt wird hingegen abstrahiert; deswegen bin ich irritiert, wofür Ihr Beispiel stehen soll...