Willkommen im denk-Forum für Politik, Philosophie und Kunst!
Hier findest Du alles zum aktuellen Politikgeschehen, Diskussionen über philosophische Fragen und Kunst
Registriere Dich kostenlos, dann kannst du eigene Themen verfassen und siehst wesentlich weniger Werbung

Auf Thema antworten

Beitrag

Kein Auto ist blau: sei A die Eigenschaft des Autoseins und B die Eigenschaft des alkoholunabhängigen Blauseins ...

Ist die Formel: ∀x (¬A(x)∧B(x))
äquivalent zu: ¬∃x (A(x)∧B(x))

Was meint ihr?
Falls ja, warum - und falls nicht, warum nicht?

[QUOTE="Nyan Cat, post: 707410, member: 6574"] [B]Kein Auto ist blau:[/B] sei A die Eigenschaft des Autoseins und B die Eigenschaft des alkoholunabhängigen Blauseins ... Ist die Formel: [B]∀x ([B]¬A[/B](x)∧B(x))[/B] äquivalent zu: [B]¬∃x (A(x)∧B(x))[/B] Was meint ihr? Falls ja, warum - und falls nicht, warum nicht? [/QUOTE]

Authentifizierung

Philosophie-Forum
Philosophie Allgemein
Die neue Prädikatenlogik P2 - von Joachim Stiller