Atividades Prticas

Angela Couto 3


10. Demonstre que as seguintes frmulas so logicamente equivalentes.
1u.1. q (p r) e (q p) (q r) 1u.2. ~(~p q) e (p ~q)
10.3. (p q) r e p (q r) 1u.4. (p q) e |(~p q) (p ~q)]

11. Simplifique as seguintes expresses:
11.1. (~p q) p 11.2. [r s! r" 11.3. [(a b) b] a

12. Simplifique a seguinte #eclara$o:
12.1. %& necess'rio( para o papel ser )ranco( que eu escreva a a*ul e que o papel se+a )ranco.,.
12.2. %-ara a uni#a#e curricular #e ../ existir no 0 con#i$o necess'ria para que no se+a f'cil ou
ento a uni#a#e curricular #e ../ 0 f'cil%.
12.3. %1o 0 con#i$o suficiente que o frigor2fico este+a va*io para o 3oo estar irrita#o ou ento que o
frigor2fico este+a c4eio no 0 necess'rio para o 3oo ter fome,.

13. 5erifique se as concluses resultam #as premissas enuncia#as:
13.1. %6 caf0 est' quente,
%6 caf0 est' quente somente se a cafeteira no aqueceu,
%7 cafeteira aqueceu porque faltou a eletrici#a#e,
%8nto( no faltou a eletrici#a#e,.
13.2. %6 sol 0 uma estrela ou um planeta ou ain#a um sat0lite #a 9erra,
%6 sol no 0 um sat0lite #a terra,
%6 sol no 0 um planeta,
%8nto( o sol 0 uma estrela,.
14. :ue concluso tira #as seguintes premissas:
1;.1. %& falso que o /arlos se+a simultaneamente moreno e ten4a o ca)elo castan4o.
6 /arlos 0 moreno.
1o ter o ca)elo castan4o 0 suficiente para o /arlos ter o ca)elo encaracola#o.,.

1;.2. %<o+e 4' %/lu)e #e =atem'tica, logo no 4' aulas na 8S8.
<o+e 0 segun#a>feira.
7 =atem'tica 0 f'cil ou 4o+e 4' aulas na 8S8.
<o+e no 0 segun#a>feira se no 4ouver %/lu)e #e =atem'tica.,.
15. Demonstre( sem a utili*a$o #as proprie#a#es( que [p ? q! p" @ q
16. :ue concluso po#e tirar #as seguintes expresses:
1A.1. [p B q! B r ? s!" C Ds C p B r! C Dq B Dr!
1A.2. [Dq r C Dp!" q Dp
17. Demonstre que:
17.1. (F
1
F
2
F
3
F
4
) F onde F
1
: ~(r q)
F
2
: p
F
3
: s r
F
4
: q p
F: s