Aussagenlogik < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Überprüfen Sie und begründen Sie, ob die folgenden Aussageformen allgemeingültig über der jeweils angegebenen Grundmenge G sind. Falls ja, dann überführen Sie diese durch Allquantifizierung in wahre Aussagen; falls nicht, geben Sie die Erfüllungsmenge an.
a) (a-b)(a+b) = a² - b² mit G= { (a,b) | a,b [mm] \in \IR}
[/mm]
b) [mm] a^6 \ge [/mm] 0 [mm] \wedge [/mm] a³ = - 27 mit G= [mm] \IZ
[/mm]
c)
[mm] \bruch{1}{y} [/mm] < [mm] \bruch{1}{z} \Rightarrow \bruch{x}{y}< \bruch{x}{z} [/mm] mit G= {(x,y,z) | x,y,z [mm] \in \IZ; [/mm] y,z [mm] \not= [/mm] 0}
|
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt
Könnte einer mir helfen.
Ich weiss nicht ob es stimmt, bin mir sehr unsicher. Ich weiss auch nicht wie ich die begründen könnte bzw. müsste.
meine lösung:
a) ist allgemeingültig, aber ich weiss nicht weiter, wie ich es Allquantifizieren kann.
b) ist nicht allgemeingültig. L{ a [mm] \not\in [/mm] G | A(a) }
c) nicht allgemeingültig. weil würde man für z 6 einsetzen und für y 2 , dann würde die aussage nicht mehr stimmen.
L{ (x; y < z) | x,y,z [mm] \in \IZ; [/mm] y, z [mm] \not= [/mm] 0 }
bedanke mich jetzt schon...
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:23 Fr 28.11.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
