Prawa logiczne. Prawa De Morgana

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
kidmike
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 20 wrz 2010, o 11:15
Płeć: Mężczyzna
Lokalizacja: Polska

Prawa logiczne. Prawa De Morgana

Post autor: kidmike » 20 wrz 2010, o 11:29

Witam serdecznie. Nie potrafię sobie poradzić z dwoma przykładami z prawa de morgana. Prosiłbym o wytłumaczenie jak i rozwiązanie. Z góry dziękuję. \(( \sim (p \Rightarrow g)) \Leftrightarrow (p \wedge ( \sim g)) (p \Rightarrow g) \Leftrightarrow (g \Rightarrow p)\)

Mikolaj9
Użytkownik
Użytkownik
Posty: 535
Rejestracja: 19 gru 2008, o 15:52
Płeć: Mężczyzna
Lokalizacja: Łódź

Prawa logiczne. Prawa De Morgana

Post autor: Mikolaj9 » 20 wrz 2010, o 11:46

Żeby zaprzeczyć implikacji, trzeba sprowadzić ją do postaci, do której da się zastosować prawa De Morgana: \(p \Rightarrow q \Leftrightarrow \sim p \vee q\) Drugie podobnie, z tym że powinno być oczywiście \(p \Rightarrow q \Leftrightarrow \sim q \Rightarrow \sim p\)

ODPOWIEDZ