FÓRUM I DE INTRODUÇÃO À LÓGICA

Prévia do material em texto

FÓRUM I DE INTRODUÇÃO À LÓGICA 
Aluno: Marcos Antonio Coutinho da SIlva 
1- Escolha apenas 4 (quatro) proposições composta abaixo e construa tabelas-verdades para 
essas proposições. Além disso, classifique em tautologias, contradições ou contingências: 
a) ∼p→(q→p) 
b) p→(p→∼r)↔(q∨r) 
c) (p↔∼q)→(∼p∧q) 
d) p→r↔q∨ ∼r 
e) ((p∨q)→r)∨(∼p↔(q∨ ∼r)) 
f) (p∧q)∧(r∧s)→(p∨s) 
g) (p∧q)→(p↔(q∨r)) 
h) p→((p∨q)∨r) 
 
a) ∼p→(q→p) 
 
 
 
b) p→(p→∼r)↔(q∨r) 
 
 
 
 
c) (p↔∼q)→(∼p∧q) 
 
 
p q ~P q→p ~p→(q→p)
V V F V V
V F F V V
F V V F F
F F V V V
CONTINGÊNCIA, pois a tabela mostra valores finais (V)(F).
p q r ~r p→~r qVr p→(p→~r) prop
V V V F F V F F
V V F V V V V V
V F V F F V F F
V F F V V F V F
F V V F V V V V
F V F V V V V V
F F V F V V V V
F F F V V F V F
CONTINGÊNCIA, pois a tabela mostra valores finais (V)(F).
p q ~q ~p p↔~q ~p^q (p↔~q)→(~p^q)
V V F F F F V
V F V F V F F
F V F V V V V
F F V V F F V
CONTINGÊNCIA, pois a tabela mostra valores finais (V)(F).
(p→qVr)^ (~p→r^s)
q r s ~p qVr r^s p p→(qVr) ~p→(r^s) p→(qVr)^~p→(r^s)
V V V F V V V V V V
V V F F V F V V V V
V F V F V F V V V V
V F F F V F V V V V
F V V F V V V V V V
F V F F V F V V V V
F F V F F F V F V F
F F F F F F V F V F
V V V V V V F V V V
V V F V V F F V F F
V F V V V F F V F F
V F F V V F F V F F
F V V V V V F V V V
F V F V V F F V F F
F F V V F F F V F F
F F F V F F F V F F
 
 
d) p→r↔q∨ ∼r 
 
 
 
 
2. Dada a seguinte sentença abaixo com valor lógico verdadeiro V: 
Se Antônio for à universidade, então Gustavo ou Amanda irão, e se Antônio não for à 
universidade, então Amanda e Pedro irão. 
 
Temos: 
P: Antônio irá à universidade 
q: Gustavo irá à universidade 
r: Amanda irá à universidade 
s: Pedro irá à universidade 
 
a) Escreva a linguagem simbólica desta proposição. 
 
Então na linguagem simbólica fica assim: 
 
 
 
b) É possível chegar a conclusão de quem certamente irá à universidade? 
Veja a tabela verdade: 
 
 
 
 
 
 
 
 
 
 
p q r ~r p→r qV~r p→r↔qV~r
V V V F V V V
V V F V F V F
V F V F V F F
V F F V F V F
F V V F V V V
F V F V V V V
F F V F V F F
F F F V V V V
CONTINGÊNCIA, pois a tabela mostra valores finais (V)(F).
p→(q r) p→(r s)
p ~p q r s q^r p→(q^r) r^s ~ p→ (r ^ s) (p→q ^r)^(~p→r ^ s)
V F V V V V V V V V
V F V V V V V F V V
V F V F F F F F V F
V F V F F F F F V F
V F F V F F F V V F
V F F V F F F F V F
V F F F F F F F V F
V F F F F F F F V F
F V V V V V V V V V
F V V V V V V F F F
F V V F F F V F F F
F V V F F F V F F F
F V F V F F V V V V
F V F V F F V F F F
F V F F F F V F F F
F V F F F F V F F F
 
Na linha 13 Amanda e Pedro tem valor lógico verdadeiro “V” e a confirmação que 
Antonio e Gustavo tem valor lógico Falso (F), portanto podemos afirmar com certeza 
que Amanda e Pedro IRÃO à Universidade. 
 
c) Reescreva a sentença trocando o conectivo ou (V)(entre Gustavo ou Amanda) pelo 
conectivo e (^). O que acontece nesse caso? 
 
A linguagem simbólica da sentença é: 
 
 
Seguindo o raciocínio anterior, é necessário construir uma TABELA-VERDADE 
para isolar as preposições e seus conectivos facilitando a compreenção. 
 
 
 
 
 
 
 
 
 
 
 
 
Analisando a tabela verdade, na linha 09 a Amanda, Pedro e Gustavo têm valor lógico 
verdadeiro (V), portanto podemos afirmar que Amanda, Pedro e Gustavo irão à 
Universidade.