Question
Classifique em Verdadeira (v) ou Falsa (F) as afirmaçães a seguir. square ) O argumento (pvee r),(qvee r)Fqvee tau r tem como associado o . condicional (pvee r)wedge (qvee r)arrow qvee tau r square ) O argumento (qwedge p)arrow q,q+(qwedge p) possui a forma válida fundamental do Modus Ponens. square ) O argumento associado ao condicional (pwedge q)arrow p é dado por pAgF peéum argumento valida. ( square ) O argumento parrow q+parrow (pvee q) possui o condicional associado classificado como uma tautologia.
Solution
4.3
(241 Votos)
Uira
Profissional · Tutor por 6 anos
Resposta
Vamos revisar as afirmações novamente para garantir a precisão:1.
) O argumento
tem como associado o condicional
- Esta afirmação é **Falsa**. O argumento dado não segue a forma correta do condicional associado. O condicional associado deve ser
, que é uma tautologia.2.
) O argumento
possui a forma válida fundamental do Modus Ponens. - Esta afirmação é **Falsa**. A forma válida fundamental do Modus Ponens é
, que não é a forma apresentada no argumento dado.3.
) O argumento associado ao condicional
é dado por
é um argumento válido. - Esta afirmação é **Falsa**. O argumento associado ao condicional
é
, que é uma contradição, não um argumento válido.4.
) O argumento
possui o condicional associado classificado como uma tautologia. - Esta afirmação é **Verdadeira**. O argumento
pode ser simplificado para
, que é uma tautologia.Portanto, as classificações corretas são:1. Falsa2. Falsa3. Falsa4. Verdadeira