Codiogo em C

ATPS de Lógica Matemática
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
QR
P^(QR)
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
PQ
~(PQ)
~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 : PvQQvP -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 QNão P ou (PQ)~Q~P. P
Q
PQ
~(PQ)
~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); ~(PQ)PvQ; -Exercício: Construir a tabela verdade da negação da dupla implicação.

P
Q
PQ
~(PQ)
PvQ
V
V
V
F
F
V
F
F
V
V
F
V
F
V
V
F
F
V
F
F