prädikatenlogischen Formeln < Relationen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 16:27 Mi 04.02.2009 | Autor: | Dnake |
Aufgabe | welche Bedingungen <, <=, >, => für die atomaren Prädikate P(x,y) machen die prädikatenlogische Formel auf der Menge der natürlichen Zahlen N wahr bzw. falsch.
a) [mm] \negAx [/mm] Ey P(x,y)
b) Ax Ey [mm] \neg [/mm] P(x,y) |
Hallo,
hat da jemand einen Vorschlag?
gruß
jan
PS: die Buchstaben A und E sind der Allquantor bzw. Existenzquantor
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 17:20 Fr 06.02.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|