LÓGICA PROPOSICIONAL

Se chover, então fico em casa.

É falso que a Filosofia é difícil

• ¬ ¬P

• P ↔ Q

• ¬P

Esta fórmula proposicional é uma

• Tautologia

• Contradição

• Contingência

Completa a tabela

• V V V V

• V F F F

• F F F F

Qual a conclusão?

• V V V V

• V V F F

• F F V V

Identifica as formas de inferência válidas

• 1. 1.Modus ponens; 2. Modus tollens

• 1. 1.Modus tollens; 2. Modus ponens

• Contraposição

A negação de “Nenhuma guerra é justa” é:

• Todas as guerras são justas

• Algumas guerras são justas

• Algumas guerras não são justas

A negação da afirmação "Todos os cisnes são brancos" é:

• Alguns cisnes não são brancos

• Alguns cisnes são brancos

• Nenhum cisne é brancos

A forma padrão da proposição "Qualquer pobreza extrema é um mal evitável" é:

• Nenhuma pobreza extrema é um mal evitável

• Toda a pobreza extrema é um mal evitável

• Alguma pobreza extrema não é um mal evitável

Argumentos em que se pretende que as premissas forneçam um apoio provável – mas não decisivo – para a conclusão. Podem ser fortes ou fracos.

• Argumentos não-dedutivos

• Argumentos dedutivos