L Gica De Programa O

Tabela Verdade
Elemento
P
P
V
P

P Rico
Q Bonito
R Caxias
V
V
V
V
V
F
V
F
V
V
F
F
F
V
V
F
V
F
F
F
V
F
F
F

Elemento
Negação
Fica..(blablablablablalbalba) conectivo(e-conjunção) P(RICA)
Q(BONITA)
P^Q (P.Q)
V
V
V
V
F
F
F
V
F
F
F
F

blablabla amanhã... Após os 50 anos conectivo(ou-disjunção) P(rica)
Q(bonita)
P ^Q
V
V
V
V
F
V
F
V
V
F
F
F

Página 40 Livro Lógica de Programação
Ex.
D) ~P ^~Q
P
Q
~P
~Q
~P^Q
V
V
F
F
F
V
F
F
V
F
F
V
V
F
V
F
F
V
V
F

E) ~(P^Q)

P
Q
(P^Q)
~(P^Q)
V
V
V
F
V
F
F
V
F
V
F
V
F
F
F
V

Conectivo se
P -> Se fiser calor
Q -> Então nós vamos nadar

P (Calor)
Q (Nadamos)
P->Q
V
V
V
V
F
F
F
V
V
F
F
V

Página 40 Ex. 3(D & E)
C) ~p(p^(q^~p)) -> ((p^q) ^ ~p)
P
Q
~P
p^~P p^(q^~p) ~(p^(q^~p)
P^q
((p^q) ^ ~p)

V
V
F
F
F
V
V
F
F
V
F
F
F
F
V
F
F
F
F
V
V
V
F
V
F
F
F
F
F
V
F
F
V
F
F
F

E) (p->(q->r)) -> ((p->q) ->(p ->r))
P
Q
R
(q->r)
P-> A p->q p ->r
B- > C
E->D

V
V
V
V
V
V
V
V
V

V
V
F
F
F
V
F
F
V

V
F
V
V
V
F
V
V
V

V
F
F
V
V
F
F
V
V

F
V
V
V
V
V
V
V
V

F
V
F
F
V
V
V
V
V

F
F
V
V
V
V
V
V
V

F
F
F
V
V
V
V
V
V

Conectivo
SE Somente SE p equivale q
P<=>Q
P<- São Paulo é uma Cidade Verdadeira
Q <- Amazonas é um Estado Verdadeira
P<- A Itália fica na Europa Verdadeira
Q <- Rússia fica na África Falso
P<- Lua é uma estrela Falso
Q<- Sol é satélite natural Falso

P
Q
P<=>Q
V
V
V
V
V
V
V
F
F
F
V
F
F
F
V

Página 40 Capítulo 2 da Apostila
Exercício
F) P->(Q^R)

G) Q <=>(P v R)

Exercício 3)
D) (P->Q) ->(((P^Q) <=>P) ^((P V Q) <=> Q))