Tabela da verdade, logica simbólica

SISTEMAS DE INFORMAÇÃO
Lógica Matemática
ALUNO: Vilmar Ferreira Gomes
Matrícula: FC20150328
Exercício II
1 – Des envolva um prog rama no qual s eja pos s ível res olver a tabela verdade com a entrada de duas propos ições (p e q) e s eus res pectivos valores (V ou F) trabalhando com os conectivos “e”, “ou”, “s e...então” e “s e s omente s e” e informando a s aída es perada cons iderando os valores dados como entrada em Java. -OK
2 – C rie a tabela verdade corres pondente para cada uma das fórmulas propos icionais .
a)
b)
c)
d)
e)
f)
g)
h)

p ^ (p ^ q)
~p
~~ q p v (q v ~q)
(p ^ q) v (~p v ~q) p→q p → (p ^ q) p↔q RESPOSTAS 2

A) p V
V
F
F
B) p V
F
C) q V
F
D)
P
V
V

q
V
F
V
F

p^q
V
F
F
F

p^(p^q)
V
F
F
F

~p
F
v
~ q ~ ~q
F V
V F
Q
V
F

~q
F
V

q v~q
V
V

p v(q v~q )
V
V

F
F
E)
P
V
V
F
F
F)
P
V
V
F
F
G)
P
V
V
F
F
H) p V
V
F
F

q
V
F
V
F q V
F
V
F
q
V
F
V
F

V
F

F
V

Q
V
F
V
F

p^q
V
F
F
F

V
V
~p
F
F
V
V

V
V
~q
F
V
F
V

~p v ~ q
F
V
V
V

(p^q)v(~pv~q)
V
V
V
V

p→q
V
F
V
V p^q V
F
F
F

p→(p^ q)
V
F
V
V

p↔q
V
F
F
V

3 – Cons idere as s entenças naturais a s eguir e crie as fórmulas propos icionais corres pondentes e s ua tabela verdade.-OK



João é inteligente e es perto. p^q
Se Malfatti é inquieto então ele é imperativo. p→q
 Ig or é intelig ente mas não é novo. p^q’
 C arlos jog a futebol e vôlei. p^q
* Os exercícios devem ser entregues até às 22:40 do dia 02/09/2015 no blackboard.