| Autor |
Beitrag |
    
Simone Groß (Matzi)
| | Veröffentlicht am Montag, den 12. November, 2001 - 15:17: | 
|
so, ich hab gleich noch ein problem:
Zeigen Sie, dass die Aussage
(p n (Gegenteil von p => Gegenteil(g) von q)) => q eine Tautologie ist, d.h. dass die Aussage immer wahr ist. Man nennt diese Aussage auch "Prinzip des indirekten Beweises".
ich habe mir eine wahrheitstabelle aufgestellt wie folgt:
(1) g(q) => g(p)
(2) p n (1)
(3) (2) => q
q, p, g(q), g(p), (1), (2), (3),
w, w, f, f, w, w, w
w, f, f, w, w, f, w
f, w, w, f, f, f, w
f, f, w, w, w, f, w
stimmt diese Wahrheitstabelle?
Danke Simone!! |
|
