ENADE: Nas opções abaixo, ‘→’ representa o condicional material (se...então...)

ENADE: Nas opções abaixo, ‘→’ representa o condicional material (se...então...)

ENADE: Nas opções abaixo, ‘→’ representa o condicional material (se...então...), ‘v’ representa a disjunção (ou um, ou outro, ou ambos) e ‘¬’ representa a negação (não). Com o auxílio de tabelas veritativas, examine a seguinte fórmula: ‘(p → q) Ú (¬q v p)’ e, a seguir, assinale a opção correta.

A) A fórmula é uma contingência, e ‘¬q v p’ só é falsa na 3.ª linha, de cima para baixo.

B) A fórmula é uma tautologia, e ‘p → q’ só é falsa na 2.ª linha, de cima para baixo.

C) A fórmula é uma disjunção tautológica cujos membros são ambos tautológicos.

D) A fórmula é uma contradição.

E) A fórmula é mal formada.

QUESTÃO ANTERIOR:

- ENADE: A partir da premissa “é verdade que algum pássaro não voa”, obtém-se, por inferência imediata, a conclusão que se segue.

RESOLUÇÃO:

Não temos resolução para essa questão! Você sabe explicar? Copie o link dessa página e envie sua resolução clicando AQUI!

GABARITO:

B) A fórmula é uma tautologia, e ‘p → q’ só é falsa na 2.ª linha, de cima para baixo.

PRÓXIMA QUESTÃO:

- ENADE: Considerando-se que, no cálculo de predicados, as funções proposicionais não têm valor de verdade, uma função proposicional pode ser transformada em proposição por meio de

QUESTÃO DISPONÍVEL EM:

- Prova de Filosofia ENADE 2005 com Gabarito