Primeira página
/
Matemática
/
Classifique em Verdadeira (V) ou Falsa (F) as afirmaçōes a seguir. square . ) 0 argumento (pvee r),(qvee r)longmapsto qvee r temo assocado o condiconal (pvee r)wedge (qvee r)arrow qvee tau square . argumento (qwedge p)arrow q,q+(qwedge p) possui a forma valida fundamenta do Modus Ponens square ) argumento associado ao condidonal (png) +p é dado por pwedge qF peéum argumento válido argumento parrow q+parrow (pvee q) possul o condiqonal assodado dassificado conternatautologia

Pergunta

Classifique em Verdadeira (V) ou Falsa (F) as afirmaçōes a seguir.
square  . ) 0 argumento (pvee r),(qvee r)longmapsto qvee r temo assocado o condiconal (pvee r)wedge (qvee r)arrow qvee tau 
square  . argumento (qwedge p)arrow q,q+(qwedge p) possui a forma valida fundamenta do Modus Ponens
square  ) argumento associado ao condidonal (png) +p é dado por pwedge qF peéum argumento válido
argumento parrow q+parrow (pvee q) possul o condiqonal assodado dassificado conternatautologia

Classifique em Verdadeira (V) ou Falsa (F) as afirmaçōes a seguir. square . ) 0 argumento (pvee r),(qvee r)longmapsto qvee r temo assocado o condiconal (pvee r)wedge (qvee r)arrow qvee tau square . argumento (qwedge p)arrow q,q+(qwedge p) possui a forma valida fundamenta do Modus Ponens square ) argumento associado ao condidonal (png) +p é dado por pwedge qF peéum argumento válido argumento parrow q+parrow (pvee q) possul o condiqonal assodado dassificado conternatautologia

Solução

expert verifiedVerification of experts
3.8271 Voting
avatar
FelipeMestre · Tutor por 5 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)\longmapsto q\vee r$ tem o condicional $(p\vee r)\wedge (q\vee r)\rightarrow q\vee r$ associado.<br /> - **Verdadeira (V)**. O argumento $(p\vee r),(q\vee r)\longmapsto q\vee r$ é válido e o condicional $(p\vee r)\wedge (q\vee r)\rightarrow q\vee r$ é uma forma válida de expressar essa validade.<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 /> - **Falsa (F)**. A forma correta do Modus Ponens é $p \rightarrow q, p \vdash q$. O argumento dado não segue essa forma.<br /><br />3. $\square$ O argumento associado ao condicional $(p\wedge q)\rightarrow p$ é dado por $p\wedge q \vdash p$ é um argumento válido.<br /> - **Verdadeira (V)**. O argumento $(p\wedge q)\rightarrow p, p\wedge q \vdash p$ é válido, pois se $p\wedge q$ é verdadeiro, então $p$ deve ser verdadeiro.<br /><br />4. $\square$ O argumento $p\rightarrow q+p\rightarrow (p\vee q)$ possui o condicional associado classificado como tautologia.<br /> - **Verdadeira (V)**. O argumento $p\rightarrow q+p\rightarrow (p\vee q)$ é uma tautologia, pois $p\rightarrow (p\vee q)$ é sempre verdadeiro para qualquer valor de $p$ e $q$.<br /><br />Portanto, as classificações corretas são:<br /><br />1. V<br />2. F<br />3. V<br />4. V
Clique para avaliar: