Autor |
Beitrag |
M109
| Veröffentlicht am Dienstag, den 09. Oktober, 2001 - 12:10: |
|
Habe folgendes Problem: p(x) : x ist eine ungerade natürliche Zahl q(x) : x+5 ist eine gerade Zahl -) formalisiere mittles quantoren: Wenn x ungerade ist, dann ist x+5 gerade. -) Beweise diesen Satz direkt und durch widerspruch. -) Negiere diesen Satz formal und drücke die Negation in Worten aus. Klingt ja alles ganz logisch, nur komm ich damit trotzdem nicht zurecht. Kann mir das jemand erklären? |
Zaph (Zaph)
| Veröffentlicht am Mittwoch, den 10. Oktober, 2001 - 00:06: |
|
E = Existenz-Quantor - = nicht 1) -(E y: 2*y=x) => (E y: 2y=x+5) 3) -(E y: 2y=x+5) => (E y: 2*y=x) "Wenn x+5 ungerade ist, dann ist x gerade." |
M109
| Veröffentlicht am Donnerstag, den 11. Oktober, 2001 - 08:40: |
|
Thx. Und kann vielleicht noch jemand den Beweis? |
Zaph (Zaph)
| Veröffentlicht am Donnerstag, den 11. Oktober, 2001 - 20:17: |
|
Mit welchen Mitteln soll das denn bewiesen werden? Etwa aus den Axiomen der Aussagenlogik und der natürlichen Zahlen? Ich denke mal nicht. Für den Beweis "mit herkömmlichen Methoden" beachte x = 2y <=> x+5 = 2(y +2) + 1 Außerdem musst du z gerade <=> z+1 ungerade beweisen. |
|