Strona 1 z 1

Prawa logiczne. Prawa De Morgana

: 20 wrz 2010, o 11:29
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)}\)

Prawa logiczne. Prawa De Morgana

: 20 wrz 2010, o 11:46
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}\)