Rozwiązane

(LOGIKA)Jak ktoś mógłby wyjaśnić sam górny przykład bez podpunktów byłoby miło.
Sam przykład o który chodzi:
~q -> (~p v q)
Jak go robie wychodzi mi że q =1, p = 1 lub p = 0 do wyboru, niby tak może być, ale
w dalszych przykładach jak robię że p=1 wychodzi błąd w podpunkcie a i c więc p musi się równać 0, tylko dlaczego?
Pełne polecenie poniżej:

LOGIKAJak Ktoś Mógłby Wyjaśnić Sam Górny Przykład Bez Podpunktów Byłoby Miło Sam Przykład O Który Chodzi Q Gt P V Q Jak Go Robie Wychodzi Mi Że Q 1 P 1 Lub P 0 class=

Odpowiedź :

Platon1984viz

Zróbmy tabelkę:

[tex]\begin{array}{|c|c|c|c|c|c|} p & q & \sim p & \sim q & \sim p\ \vee\ q & \sim q \Rightarrow (\sim p\ \vee\ q)\\0 & 0 & 1 & 1 & 1 & 1\\ 0 & 1 & 1 & 0& 1 & 1\\1 & 0 & 0 & 1 & 0 & 0\\1 & 1& 0 & 0 & 1 & 1\end{array}[/tex]

Widać stąd, że implikacja ma wartość logiczną 0 tylko dla p=1, q=0 i takie wartości należy wstawić do podpunktów a)-d)

pozdrawiam

Konrad509viz

[tex]p\Rightarrow q=0\Leftrightarrow p=1 \wedge q=0[/tex]

[tex]\neg q\Rightarrow (\neg p \vee q)=0[/tex]

Zatem

[tex]\neg q =1 \Rightarrow q=0\\\neg p\vee q= \neg p \vee 0=0\Rightarrow \neg p=0 \Rightarrow p=1[/tex]

Viz Inne Pytanie