Resoluo dos Exerccios de Clculo Proposicional

Aluno: Srvia Silva Sousa

01. (a) 0 (d)0
(b)0 (e) 0
(c) 1 (f) 0
02. (a) Paulo no trabalha.
(b) Paulo trabalha e estuda.
(c) Paulo trabalha se e somente se, estuda.
(d) Paulo trabalha ou no estuda.
(e) Paulo no trabalha e no estuda.
(f) Se Paulo trabalha, ento no estuda
(g) Paulo trabalha se e somente se, estuda.
(h) No verdade que Paulo no trabalha ou no estuda.
(i) Se Paulo trabalha e no estuda, ento estuda. (No proposio)
(j) Se Paulo trabalha ou estuda, ento estuda.
03. (a) 1 (d) 0 (g) 0 (j) 0
(b) 1 (e) 1 (h) 0 (l) 1
(c) 0 (f) 0 (i) 0 (m) 0
04. (a)
p q q (p v q) (pvq)
0 0 1 1 0
0 1 0 0 1
1 0 1 1 0
1 1 0 1 0

(b)
p q q (p q) (q p) (p q) (q p)
0 0 1 0 1 0
0 1 0 1 0 0
1 0 1 1 1 1
1 1 0 0 1 0


(c )
q p q (q^p) q (q^p)
0 0 1 0 1
0 1 1 1 0
1 0 0 0 0
1 1 0 0 0

(d)
p q p q (p q) (p^q) (p q) (p^q)
0 0 1 1 0 0 1
0 1 1 0 1 1 1
1 0 0 1 1 0 0
1 1 0 0 0 0 1

(e)
p q p (p v q) ((p v q)^p) (q p) ((p v q)^p) (q p)
0 0 1 0 0 1 1
0 1 1 1 1 0 0
1 0 0 1 0 1 1
1 1 0 1 0 1 1

(f)





(g)






(r ^ (p v q)) ^ (r v (p ^ q))
0 0 0 1 1 0 0 1 1 0 0 0
1 1 0 1 1 0 1 0 0 0 0 0
0 0 0 0 0 0 0 1 1 0 0 1
1 0 0 0 0 0 1 0 0 0 0 1
0 0 1 1 1 0 1 1 1 1 0 0
1 1 1 1 1 0 1 0 0 1 0 0
0 0 1 1 0 0 1 1 1 1 1 1
1 1 1 1 0 1 0 0 1 1 1 1
p v (q ^ r)
0 0 0 0 0
0 0 0 0 1
0 0 1 0 0
0 1 1 1 1
1 1 0 0 0
1 1 0 0 1
1 1 1 0 0
1 1 1 1 1
(h)



( i)





(j)





(l)

(m)





q p q p (qv p) (q p) (qv p) (q p)
0 0 1 1 0 1 0
0 1 1 0 1 1 1
1 0 0 1 0 1 0
1 1 0 0 0 0 1
(p v q) ^ (p v r)
0 0 1 1 0 1 1 0
0 0 1 1 0 1 1 1
1 0 0 0 1 1 1 0
1 0 0 0 1 1 1 1
0 1 1 1 0 0 0 0
0 1 1 1 0 0 1 1
0 1 1 0 0 0 0 0
0 1 1 0 0 0 1 1
(p ^ r) q
0 0 1 1 1
0 0 0 1 1
0 0 1 1 0
0 0 0 1 0
1 1 1 1 1
1 0 0 1 1
1 1 1 0 0
1 0 0 1 0
(p ^ q) (p v r
1 0 0 0 0 0 0 1 1
1 0 0 0 1 1 0 0 0
1 0 0 1 0 0 0 1 1
1 0 0 1 1 1 0 0 0
1 1 0 0 0 0 1 1 1
1 1 0 0 0 0 1 1 0
0 1 1 1 1 0 1 1 1
0 1 1 1 1 0 1 1 0
(p v r) q
0 1 1 1 1
0 0 0 1 1
0 1 1 0 0
0 0 0 1 0
1 1 1 1 1
1 1 0 1 1
1 1 1 0 0
1 1 0 0 0
05. Sabendo que: p=1; r=1; q=0 ; s=0;
(a) (1^0) (1^1)= (0 1) = 0
(b) (0 0) (0 1) = 1 1= 1
(c) (0 ^ 1) ^0 (1 0) = 0^0 0= 1
(d) (1 ^ 0) ^ (1 ^ 0) (1 v 0)= (0^0) 1=1
(e) (1 0) (0 1)= 0 1= 1
(f) (1^ 0) v 0 (1 0)= 0 v 0 0 =1
(g) (1 1) ((1 v 1) ^ 0)= 1 (1^0)= 0
(h) (0 v 0) v (1 ^ 1)= 0 v 1= 1
06.E 1
07. x=0 e x=y so verdadeiras(1)
y =z falsa (0), ento:
B 0 v 0 1 = 1
08. x=0 e x=y so verdadeiras (1) / y=z e y=t so falsas , ento:
(a) (1 ^ 1) 1= 1
(b) (0 v 0) 0=1
(c) (0 v 1) 0 =0
(d) (0 v 0) 1 = 1
(e) 1 (0 v 1) = 1
09. (a) Tautologia
(b) Tautologia
(c) Contingncia
(d) Tautologia
(e) Tautologia
(f) Contingncia
(g) Contingncia
(h) Tautologia