Codiogo em C
Prof:. Marcio Abdala.
Ciência da Computação.
Francisco Jesus Sant’Ana RA:5205942080
1) Dê o valor logico a cada uma das proposições resultantes abaixo:
a) “Se (2 é maior que 5 E Ari é casado)ENTÂO Júlia tem 15 anos”. Resp.:V
b) “Se 2 é menor que 5 E (2 é par ENTÃO 4 é menor que 2)”.Resp.: F
c) “Se (7 é maior que 5 OU José é casado) ENTÃO 5 é par”. Resp.: F
Respostas: a)
P
Q
R
P^Q
(P^Q)R
F
V
V
F
V
F
F
V
F
V
b)
P
Q
R
QR
P^(QR)
V
V
F
F
F
c) P
Q
R
PvQ
(PvQ)R
V
V
F
V
F
F
F
F
V
F
2)
P
Q
PQ
~(PQ)
~Q
P^~Q
V
V
V
F
F
F
V
F
F
V
V
V
F
V
V
F
F
F
F
F
V
F
F
F
3) -Comutativa : PvQQvP -Associativa : Pv(QvR)(PvQ)vR
-Comutativa: P
Q
PvQ
QvP
V
V
F
F
V
F
V
V
F
V
V
V
F
F
F
F
-Associativa:
P
Q
R
PvQ
QvR
Pv(QvR)
(PvQ)vR
V
V
V
F
F
V
V
V
V
F
F
V
F
F
V
F
V
V
V
F
F
V
F
F
V
F
V
V
F
V
V
V
F
F
F
F
V
F
V
V
V
V
F
F
V
F
V
V
V
F
F
F
F
F
F
F
4) -Equivalência da implicação: Não QNão P ou (PQ)~Q~P. P
Q
PQ
~(PQ)
~P
~Q
~P~Q
~Q~P
V
V
V
F
F
F
V
V
V
F
F
V
F
V
V
F
F
V
V
F
V
F
F
V
F
F
V
F
V
V
V
V
5) -Negação da Dupla Implicação: Ou P ou (exclusivo); ~(PQ)PvQ; -Exercício: Construir a tabela verdade da negação da dupla implicação.
P
Q
PQ
~(PQ)
PvQ
V
V
V
F
F
V
F
F
V
V
F
V
F
V
V
F
F
V
F
F