Dowód na zaprzeczenie implikacji (w jedną stronę)

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Lothmel
Użytkownik
Użytkownik
Posty: 78
Rejestracja: 1 lut 2012, o 20:17
Płeć: Kobieta
Lokalizacja: StW/Kr
Podziękował: 5 razy
Pomógł: 11 razy

Dowód na zaprzeczenie implikacji (w jedną stronę)

Post autor: Lothmel »

Czy mógłby ktoś sprawdzić, czy ten dowód jest poprawny?
\(\displaystyle{ \neg (p \Rightarrow q) \Rightarrow p \wedge \neg q}\)

1. \(\displaystyle{ \neg (p \Rightarrow q)}\) - założenie
2. \(\displaystyle{ \neg (p \wedge \neg q)}\) - założenie dowodu nie wprost
3. \(\displaystyle{ \neg p \vee q}\) - 2, Zaprzeczenie koniunkcji
3.1 \(\displaystyle{ p}\) - założenie dodatkowe dowodu
3.2 \(\displaystyle{ q}\) - 3,3.1 opuszczanie alternatywy
4. \(\displaystyle{ p \Rightarrow q}\) - 3.1 -> 3.2
1 jest sprzeczne z 4, co kończy dowód.

PS Wiem, że tabelką to ładnie wszystko wychodzi, ale nie taki jest tego cel.
janusz47
Użytkownik
Użytkownik
Posty: 7910
Rejestracja: 18 mar 2009, o 16:24
Płeć: Mężczyzna
Podziękował: 30 razy
Pomógł: 1670 razy

Re: Dowód na zaprzeczenie implikacji (w jedną stronę)

Post autor: janusz47 »

Założenie 3.1 dotyczące \(\displaystyle{ p }\) powinno być po założeniu 1 \(\displaystyle{ ( \neg (p \Rightarrow q)). }\)

Wtedy 4 wynika z 2 i 3.1 jako podstawa reguły.

Tak wszystko w porządku.
ODPOWIEDZ