| 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. |
|
