To tylko jedna z 3 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
WYKŁAD III 13 listopada 2010 Zdam egzamin z prawa i zdam egzamin z logiki .
p q
Nieprawda, że zdasz egzamin z prawa i zdasz logikę.
i lub
~(p ^ q) ↔(~p v ~q) PRAWA de Morgana 1. Negacja koniunkcji dwóch zdań jest równoważna alternatywie zanegowanych składników tej koniunkcji. Zdam egzamin z prawa lub zdam egzamin z logiki.
Nieprawda, że zdasz egzamin z prawa lub egzamin z logiki .
p q
~(p v q) ↔ (~p ^ ~q)
2. Negacja alternatywy dwóch zdań jest równoważna koniunkcji zanegowanych składników tej alternatywy. Jeżeli wygram w lotto to kupię Ci samochód .
p q
p → q
Nieprawda, że jeżeli wygra to kupi samochód .
p q
~(p → q) ↔ (p ^ ~q)
Negacja implikacji dwóch zdań jest równoważna koniunkcji poprzednika i zanegowango następnika
PRAWO ZAPRZECZENIA IMPLIKACJI p q p→q ~(p→q) ~q p ^ ~q ~(p → q) ↔ (p ^ ~q) 0
0
1
0 1
0 1
0
1
1
0 0
0 1
1
0
0
1 1
1 1
1
1
1
0 0
0 1
PRAWO ZAPRZECZENIA IMPLIKACJI SĄ RÓWNOWAŻNE CZYLI JEST TO ZDANIE PRAWDZIWE -----------------------------------------------------------------------------------------------------
(p ^ q) → p
p q p ^ q (p ^ q) →p 0
0
0
1 0
1
0
1 1
0
0
1 1
1
1
1 JEST TO PRAWO LOGICZNE ----------------------------------------------------------------------------------------------------- p → (p ^ q) p q p ^ q p → (p ^ q) 0
0
0
1 0
1
0
1 1
0
0
0 1
1
1
1 NIE JEST TO PRAWO LOGICZNE
... zobacz całą notatkę
Komentarze użytkowników (0)