domingo, 11 de outubro de 2015

Ficha de trabalho de lógica proposicional

logica proposicional princípio de não contradição

Ficha de trabalho para a próxima aula de apoio das turmas A e C do 11º ano.

1. Indique quais das seguintes frases exprimem proposições:

A. Esta frase não exprime uma proposição.

B. O que é uma proposição?

C. As proposições são expressas por frases interrogativas.

D. Vai já estudar filosofia.

2. Coloque na expressão canónica:

A. Terás positiva no teste, caso estudes muito.

B. As teorias filosóficas embora sejam racionais são discutíveis.

C. Para a vida ter sentido, basta Deus existir.

D. Uma ação tem valor moral se é feita por dever e vice-versa.

E. A inteligência é hereditária, a não ser que seja a emotividade.

3. Elabore o dicionário e formalize:

A. Deus não existe e a vida não tem sentido.

B. Não é verdade que Deus exista e a vida tenha sentido.

C. Se a pena de morte é moralmente errada, então o aborto e a eutanásia também são moralmente errados.

D. Não é verdade que o livre-arbítrio não existe.

E. Os governos não democráticos não são legítimos.

4. Indique o que existe de errado nas seguintes formas proposicionais.

A. P v Q → R

B. PQ

C. P ¬ ∧ Q

5. Traduza as seguintes formas proposicionais a partir do dicionário apresentado:

A. P ∧ ¬ Q

B. ¬ P → Q

P: Os valores são relativos.

Q: A crítica de costumes alheios é legítima.

6. A negação correta de “¬ P → ¬ Q” será “¬ P ∧ Q” ou “P → Q”? Justifique a sua resposta construindo tabelas de verdade das formas proposicionais apresentadas.

Sem comentários: