Primeira página
/
Matemática
/
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.

Pergunta

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.

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.

Solução

expert verifiedVerification of experts
4.3241 Voting
avatar
UiraProfissional · Tutor por 6 anos

Responder

Vamos revisar as afirmações novamente para garantir a precisão:<br /><br />1. $\square $ ) O argumento $(p\vee r),(q\vee r)\rightarrow q\vee \tau r$ tem como associado o condicional $(p\vee r)\wedge (q\vee r)\rightarrow q\vee \tau r$<br /><br /> - Esta afirmação é **Falsa**. O argumento dado não segue a forma correta do condicional associado. O condicional associado deve ser $(p\vee r)\wedge (q\vee r)\rightarrow (p\vee q)\vee r$, que é uma tautologia.<br /><br />2. $\square $ ) O argumento $(q\wedge p)\rightarrow q,q+(q\wedge p)$ possui a forma válida fundamental do Modus Ponens.<br /><br /> - Esta afirmação é **Falsa**. A forma válida fundamental do Modus Ponens é $(p\wedge q)\rightarrow p$, que não é a forma apresentada no argumento dado.<br /><br />3. $\square $ ) O argumento associado ao condicional $(p\wedge q)\rightarrow p$ é dado por $p\wedge \neg p$ é um argumento válido.<br /><br /> - Esta afirmação é **Falsa**. O argumento associado ao condicional $(p\wedge q)\rightarrow p$ é $p\wedge \neg p$, que é uma contradição, não um argumento válido.<br /><br />4. $\square $ ) O argumento $p\rightarrow q+p\rightarrow (p\vee q)$ possui o condicional associado classificado como uma tautologia.<br /><br /> - Esta afirmação é **Verdadeira**. O argumento $p\rightarrow q+p\rightarrow (p\vee q)$ pode ser simplificado para $p\rightarrow q$, que é uma tautologia.<br /><br />Portanto, as classificações corretas são:<br /><br />1. Falsa<br />2. Falsa<br />3. Falsa<br />4. Verdadeira
Clique para avaliar: