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

Behelf:

Der natürlichsprachliche Quantor „kein“ lässt sich auf verschiedene Weisen formalisieren:
Kein Auto ist blau.
lässt sich umschreiben als:
Es stimmt nicht, dass es mindestens ein „Ding“ gibt, das ein Auto ist und das blau ist.
beziehungsweise:
Es stimmt nicht, dass es mindestens ein x gibt, für das gilt: x ist ein Auto und x ist blau.
worauf man es wie folgt formalisieren kann:
¬ ∃ x ( M ( x ) ∧ R ( x ) )
Eine andere Formalisierung erreicht man, wenn man die Aussage „Kein Auto ist blau“ auffasst als „Für alle x gilt: wenn x ein Auto ist, ist x nicht blau“.

https://de.wikipedia.org/wiki/Quantor

[QUOTE="Andersdenk, post: 707375, member: 6992"] Behelf: Der natürlichsprachliche Quantor „kein“ lässt sich auf verschiedene Weisen formalisieren: Kein Auto ist blau. lässt sich umschreiben als: Es stimmt nicht, dass es mindestens ein „Ding“ gibt, das ein Auto ist und das blau ist. beziehungsweise: Es stimmt nicht, dass es mindestens ein x gibt, für das gilt: x ist ein Auto und x ist blau. worauf man es wie folgt formalisieren kann: ¬ ∃ x ( M ( x ) ∧ R ( x ) ) Eine andere Formalisierung erreicht man, wenn man die Aussage „Kein Auto ist blau“ auffasst als „Für alle x gilt: wenn x ein Auto ist, ist x nicht blau“. [URL]https://de.wikipedia.org/wiki/Quantor[/URL] [/QUOTE]

Authentifizierung