Logika: negacja.

michał~1986 · Post autor: **michał~1986** » 17 lis 2004, o 21:52

Mam problem, mianowicie czy podane wyrażenie :
~(~pvq) to to samo co:
a) (pv~q)
b) (p^~q)

rozwiejcie moja wątpliwość....

gnicz · Post autor: **gnicz** » 17 lis 2004, o 21:53

Pisz konkretne tematy.

Prawidlowa jest odpowiedz (b).

Pozdrawiam, GNicz

Konrad Drukała · Post autor: **Konrad Drukała** » 18 lis 2004, o 10:36

Mozesz do tego dojsc w ten sposob:

~(~p v q) a wiemy ze (~p v q) (p => q)
czyli nasze wyrazenie przechodzi do postaci:
~(p => q), a zaprzeczeniem implikacji jest (p ^ ~q) czyli odpowiedz B.

kej.ef · Post autor: **kej.ef** » 3 gru 2004, o 16:07

Konrad Drukała pisze:Mozesz do tego dojsc w ten sposob:

~(~p v q) a wiemy ze (~p v q) (p => q)
czyli nasze wyrazenie przechodzi do postaci:
~(p => q), a zaprzeczeniem implikacji jest (p ^ ~q) czyli odpowiedz B.

Ale to zagmatwane, a wystarczy zkorzystac z prawa de Morgana i podwojnej negacji:
~(~pvq)(prawo de Morgana) ~(~p) i ~q(prawo podwojnej negacji) p i ~q