Rechenregeln von Quantoren < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hi,komme bei der folgenden Aufgabe nicht weiter:
Es seien p(x) (x M)und q Aussagen.Beweisen sie folgende Rechenregeln:
((Allquantor x : p(x))-> q) <=> (Existenzquantor x : (p(x) q)) und
(q (Allquantor x : p(x)) <=> (Allquantor x : (q -> p(x)))
Naja,hoffe auf ein paar Tipps oder Lösungsvorschläge.Danke!
|
|
| |
|
> Hi,
Hi,
>komme bei der folgenden Aufgabe nicht weiter:
> Es seien p(x) (x M)und q Aussagen.Beweisen sie folgende
> Rechenregeln:
> ((Allquantor x : p(x))-> q) <=> (Existenzquantor x :
> (p(x) q)) und
> (q (Allquantor x : p(x)) <=> (Allquantor x : (q ->
> p(x)))
> Naja,hoffe auf ein paar Tipps oder
> Lösungsvorschläge.Danke!
Was bedeuten die Doppelpunkte mit den Pfeilen? Am besten, du guckst mal, wie du das genau in [mm] \TeX [/mm] eigeben musst, damit wir erkennen, was da genau für Ausdrücke stehen.
Gruß, Stefan.
|
|
|
|
