Exercícios_lógica_4 (1)

Prévia do material em texto

Agrupamento de Escolas de Santa Maria dos Olivais
ESCOLA SECUNDÁRIA ANTÓNIO DAMÁSIO - 2020/2021
Argumentação e lógica formal
Exercícios
1. Traduza as afirmações que se seguem para a sua forma canónica e indique o seu tipo.
a) Qualquer marciano é voador.
b) Não existem quadrados redondos.
c) Há quem seja admirador de Mozart e de Metallica.
2. Formalize cada uma das frases que se seguem em lógica proposicional.
a) A virtude não se ensina.
b) Não é verdade que este livro seja interessante e claro.
c) O Benfica ganha, a menos que o Sporting empate e o Porto ganhe.
3. Formalize o argumento que se segue na lógica proposicional.
· Se Joana ou Sara são culpadas, então a testemunha mentiu. Mas a testemunha não mentiu. Logo. Sara não é culpada. 
4. Considere o seguinte dicionário:
 P: As provas são forjadas.
Q: Uma testemunha mentiu. 
R: O criminoso continua livre.
· Baseando-te neste dicionário, traduz para linguagem natural a seguinte fórmula: R ↔ (P V Q) 
5. Determine a validade da forma argumentativa que se segue, mediante a construção e a análise de tabelas de verdade.
· P → (Q V R), ¬R ¬P
Bom trabalho!