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 »

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

\(\displaystyle{ ( \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ź
Podziękował: 49 razy
Pomógł: 62 razy

Prawa logiczne. Prawa De Morgana

Post autor: Mikolaj9 »

Żeby zaprzeczyć implikacji, trzeba sprowadzić ją do postaci, do której da się zastosować prawa De Morgana:

\(\displaystyle{ p \Rightarrow q \Leftrightarrow \sim p \vee q}\)

Drugie podobnie, z tym że powinno być oczywiście

\(\displaystyle{ p \Rightarrow q \Leftrightarrow \sim q \Rightarrow \sim p}\)
ODPOWIEDZ