5020057445

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 ^A 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 łub zdam egzamin z logiki.

Nieprawda, że zdasz egzamin z prawa łub egzamin z logiki.

P    q

~(P v q) - (~p ^A ~q)

2.    Negacja alternatywy dwóch zdań jest równow ażna koniunkcji zanegowanych składników tej alternatywy.

Jeżeli wygram w lotto to kupie Ci samochód.

p    q

p -* q

Nieprawda, że jeżeli wygra to kupi samochód.

p    q

~(p -* q) ~ (P ^A ~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 a ~q	~(p -» q) «-> (p ^A ~q)
0	0	i	0	1	0	1
0	i	l	0	0	0	1
1	0	0	i	1	1	1
1	1	1	0	0	0	1

PRAWO ZAPRZECZENIA IMPLIKACJI SĄ RÓWNOWAŻNE CZYLI JEST TO ZDANIE PRAWDZIWE

(P ^A q) - P