Prädikatenlogik, Folgerung < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Beweisen oder widerlegen die formal sie folgenden Behauptungen:
a) [mm] \forall [/mm] x P(x) [mm] \wedge \forall [/mm] Q(x) |= [mm] \forall [/mm] (P(x) [mm] \wedge [/mm] Q(x))
b) |= [mm] \exists [/mm] Q(x) [mm] \Rightarrow \forall [/mm] Q(x)
c) [mm] \neg \forall [/mm] x [mm] (\neg [/mm] R(d) [mm] \wedge [/mm] R(x)) [mm] \equiv \neg \forall [/mm] z Q(z) [mm] \vee \exists [/mm] Q(z) |
Wir sind hier in der Prädikatenlogik und ich könnte etwas Hilfe gebrauchen. Falls jemand ein paar Tipps hat, vielen Dank :)
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:22 Di 05.06.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
