Widerspruchsbeweis führen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Zeigen sie mit einem Widerspruchsbeweis, dass
[mm] \neg \forall [/mm] x [mm] \in \IQ [/mm] : (2x + 7 = 0) [mm] \wedge [/mm] (5x + 3 = 0) |
Hallo,
ich suche eine Idee für die obige Aufgabe. Wir haben die verschiedenen Beweisverfahren zwar durchgenommen, aber ich habe trotzdem nicht wirklich eine Idee, wie ich da ran gehen soll.
Natürlich stimmt die Aussage oben, da ja für x=-7/2 im ersten Term und für x=-3/5 die Gleichungen und somit die logische Formel stimmt.
Ich muss jetzt also beweisen, dass [mm] \neg [/mm] p und [mm] \neg [/mm] q (p und q sind die beiden Terme) gelten.
Was mache ich jedoch mit dem negierten Allquantor am Anfang? Wie ändert sich das logische Und in der Mitte?
Ist mein erstes Posting, ich hoffe, ich habe alles richtig gemacht.
Die Suche habe ich benutzt, jedoch kein Thema gefunden.
MfG
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:22 Di 11.01.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
