Lista de exercícios Logica

Prévia do material em texto

CURSO: _________________________________________________ TURMA:___________ 
 
DISCIPLINA: Lógica 
 
NOME:________________________________________________________ RA.:___________ 
 
EXERCÍCIOS: 
1. Indique a alternativa que contém apenas proposições tautológicas: 
a) p v (p ^ q) p ^ ~p 
b) p v ~(p ^ q) ~(p ^ ~p) 
c) p ^ (p ^ q) ~(p ^ ~p) 
d) ~(p ^ ~p) v q (p --> q) ^ q 
e) p v ~(p ^ q) ~(p ^ ~p) ^ q 
 
2. Dada a proposição, em linguagem corrente: 
Se x é menor do que zero, então x não é positivo. A contrapositiva desta condicional será: 
a) Se x é positivo então é menor do que zero. 
b) Se x é positivo então não é menor do que zero. 
c) Se x não é positivo então é menor do que zero. 
d) Se x não é positivo então não é menor do que zero. 
e) Se x é negativo então é maior do que zero. 
 
3. Sendo P ⇔ Q A propriedade reflexiva da equivalência garante que 
a) Q ⇔ ~Q 
b) Q ⇔ P 
c) P ⇔ P 
d) P ⇔ R 
e) ~P ⇔ Q 
 
4. Indique a proposição logicamente equivalente a dizer que: 
Não é verdade que Pedro é alto e Alberto é baixo. 
a) Pedro não é alto ou Alberto é baixo. 
b) Pedro não é alto ou Alberto não é baixo. 
c) Pedro é alto então Alberto é baixo. 
d) Pedro não é alto e Alberto não é baixo. 
e) Pedro não é alto se e somente se Alberto é baixo. 
 
5. Indique a proposição equivalente a: 
(p v r) → ~ (q v r) 
 
a) (p v r) ^ ~ (q v r) 
b) ~(p v r) v ~ (q v r) 
c) ~(p v r) v (q v r) 
d) ~(p v r) → (q v r) 
e) ~(p v r) v (q v r) 
 
 
6. Indique a proposição logicamente equivalente a (p ↔ q) : 
a) (p → q) ^ (q → p) 
b) (p → q) ^ (p → q) 
c) (p → q) v (q → p) 
d) q → p 
e) p → q 
 
7. A definição simbólica de argumento é: 
a) Toda afirmação formada por um conjunto finito de premissas que tem uma conclusão como 
consequência. 
b) Toda afirmação da forma “se P então Q”. 
c) Toda afirmação da forma “P se e somente Q”. 
d) Uma afirmação verdadeira qualquer. 
e) Uma afirmação válida qualquer. 
 
 
8. Um sofisma é: 
a) Um raciocínio correto. 
b) Um raciocínio válido. 
c) Um argumento válido. 
d) Um raciocínio enganoso. 
e) Uma mentira fragorosa. 
 
9. Um argumento é válido: 
i. Se a bicondicional formada pela conjunção das premissas na hipótese e a conclusão na tese for 
tautológica. 
ii. Se a condicional formada pela conjunção das premissas na hipótese e a conclusão na tese for 
tautológica. 
iii. Se a conclusão for verdadeira em todas as vezes que as premissas forem verdadeiras. 
 
a) A I e a II estão corretas. 
b) A II e a III estão corretas. 
c) A III e a IV estão corretas. 
d) A I e a IV estão corretas. 
e) A II e a IV estão corretas. 
 
 
10. O argumento p p ∨ q é conhecido como regra da adição (AD). Para demonstrá-lo, basta provar a 
tautologia da proposição: 
a) p ∨ q→ p 
b) p → p ∧ q 
c) p → p ∨ q 
d) p ∧ q→ p 
e) p ∧ q → p ∨ q