Um sistema lógico trabalha com três proposições simples P, Q e R.

As relações entre elas são analisadas por meio de conectivos lógicos clássicos.

Admita que P é verdadeira, Q é falsa e R é verdadeira. Analise as assertivas e classifique como verdadeira (V) ou falsa (F).

(__) P ^ R é verdadeira

(__) Q v R é falsa

(__) (P → Q) é falsa

(__) (¬Q ^ R) é verdadeira

A sequência CORRETA, de cima para baixo, é: 

Um analista avalia o seguinte argumento:

Se o relatório é completo, então a decisão é segura.

O relatório é completo.

A decisão é segura.

Qual é a classificação lógica correta desse tipo de argumento?