Question

Analise as afirmativas seguintes e assinale a alternativa correta a respeito do argumento: A → B, ¬B |– ¬A.
ALTERNATIVAS

O argumento é inválido.

Usamos conjunção na prova de validade.

Usamos a Lei de Morgan na prova de validade.

O argumento é válido.

Usamos Modus Ponens na prova de validade.

Answer 1

A resposta é a letra D) "O argumento é válido", pois a tabela-verdade é uma Tautologia.