Prädikatenlogik Niemand

Erste Frage Aufrufe: 91     Aktiv: 26.10.2023 um 23:06
1
Hallo, schönen guten Abend.


Ich hätte eine Frage, undzwar wie man "Niemand" in der Prädikatenlogik definiert.
Ein Beispiel wäre zum Beispiel: Niemand mag Fische.
Wir haben uns vielleicht gedacht, dass man den Allquantor negieren könnte, was jedoch aber dann ein Existenzquantor werden würde.

Vielen Dank für Ihre Antworten! :)




Der Ansatz eines Freundes wäre: ∀x: Niemand(x)--> mag(x,Fisch)
Noch ein weiterer Ansatz: ∀x: ∀x(x) --> magnicht(x, Fisch)
Noch ein weiterer Ansatz: ∀x: x∉Jemand ^ mag(x, Fisch)
Mein Ansatz wäre: ∀x: Niemand(x) ^ mag(x,Fisch)



 
Diese Frage melden
gefragt

Punkte: 19

 
Kommentar schreiben
2 Antworten
1
Mit Deiner Notation bin ich nicht vertraut, aber zweifellos gilt:
"niemand mag Fisch" $\iff \forall x: \neg (x\; mag\; Fisch)\iff \forall x: x\;mag\; nicht\; Fisch$.
Diese Antwort melden
geantwortet

Lehrer/Professor, Punkte: 36.88K

 
x = Niemand? Ist nicht die Negation von (x mag Fisch) = (¬x mag nicht Fisch) ? Ich habe es noch nicht ganz verstanden.
:(
   ─   user03ada6 26.10.2023 um 22:29
x=niemand? Und $\neg x$ gibt es sowieso nicht (nur Aussagen können negiert werden).
Aus "niemand ..." wird äquivalent $\forall x: \neg ...$ (in Worten: jeder .... nicht). Jeder mag keinen Fisch. Mehr ist nicht dahinter.   ─   mikn 26.10.2023 um 22:36

Kommentar schreiben

1
Alternativ kann man den Existenzquantor negieren: $\lnot \exists x: x \textrm{ mag Fisch}$. Das heißt dann "es gibt kein $x$"...
Diese Antwort melden
geantwortet

Selbstständig, Punkte: 30.29K

 

Kommentar schreiben