Teste para a Segunda Avaliação em Lógica Básica

UFABC BCT Lógica Básica Nome Turma Professora Maria das Graças Bruno Marietto Data Teste para a Segunda Avaliação Lógica Básica 1 Prove por prova direta que o argumento a seguir é válido pqr rq pr qs sr RESPOSTA L1 pqr Premissa 1 L2 rq Premissa 2 L3 pr Premissa 3 L4 qs Premissa 4 L5 r L2 Eliminação da Conjunção L6 q L2 Eliminação da Conjunção L7 p L3 L5 Silogismo Disjuntivo L8 qr L1 L7 Modus Ponens L9 q L5 L8 Silogismo Disjuntivo L10 s L4 L9 Modus Ponens L11 sr L5 L10 Introdução da Conjunção 2 Prove por prova direta que o argumento a seguir é válido pq rsqt sp pr p rt RESPOSTA L1 pq Premissa 1 L2 rsqt Premissa 2 L3 sp Premissa 3 L4 pr Premissa 4 L5 p Premissa 5 L6 p qq p L1 Lei da Bicondicional L7 p q L6 Eliminação da Conjunção L8 q L5 L7 Modus Tolens L9 r L4 L5 Silogismo Disjuntivo L10 s L3 L5 Modus Tolens L11 rs L9 L10 Introdução da Conjunção L12 qt L2 L11 Modus Ponens L13 t L8 L12 Silogismo Disjuntivo L14 rt L9 L13 Introdução da Conjunção 3 Prove por redução ao absurdo contradição a validade do argumento a seguir r t s q tq p rs p RESPOSTA L1 r t Premissa 1 L2 s q Premissa 2 L3 tq p Premissa 3 L4 rs Premissa 4 L5 p Negação da Tese L6 tq L3 L5 Modus Tollens L7 tq L6 Lei de De Morgan L8 t L7 Eliminação da Conjunção UFABC BCT Lógica Básica L9 q L7 Eliminação da Conjunção L10 r L1 L8 Modus Tollens L11 s L2 L9 Modus Tollens L12 r L4 L11 Silogismo Disjuntivo L13 rr L10 L12 Introdução da Conjunção L14 F L13 Princípio da não Contradição 4 Prove por redução ao absurdo contradição a validade do argumento a seguir pqrq sur stu pq RESPOSTA L1 pqrq Premissa 1 L2 sur Premissa 2 L3 stu Premissa 3 L4 pq Negação da Tese L5 pq L4 Lei de De Morgan L6 pq L5 Lei de De Morgan L7 pq L6 Lei da Condicional L8 rq L1 L7 Silogismo Disjuntivo L9 r L8 Eliminação da Conjunção L10 su L2 L9 Modus Tolens L11 stsu L3 Lei da Distributividade L12 su L11 Eliminação da Conjunção L13 susu L10 L12 Introdução da Conjunção L14 F L13 Princípio da Não Contradição 5 Prove por contradição com RESOLUÇÃO a validade do seguinte argumento p q q r p r s st t RESPOSTA Reescrever as proposições na Forma Normal Conjuntiva pq pq Forma clausal pq qr qr Forma clausal qr pr s p rs prs prs spr sp sr Forma clausal sp sr PROVA POR RESOLUÇÃO L1 pq Premissa 1 L2 qr Premissa 2 L3 sp Cláusula da Premissa 3 L4 sr Cláusula da Premissa 3 L5 st Premissa 4 L6 t Negação da Tese L7 s L5 L6 Regra da Resolução L8 p L3 L7 Regra da Resolução L9 r L4 L7 Regra da Resolução L10 q L2 L9 Regra da Resolução L11 p L1 L10 Regra da Resolução L12 F L8 L11 Regra da Resolução UFABC BCT Lógica Básica 6 Prove por contradição com RESOLUÇÃO a validade do seguinte argumento p t r s q t s u up qr RESPOSTA Reescrever as proposições na Forma Normal Conjuntiva pt pt rs rs qt qt su su qr qr L1 pt Premissa 1 L2 rs Premissa 2 L3 qt Premissa 3 L4 su Premissa 4 L5 u Premissa 5 L6 p Premissa 5 L7 qr Negação da Tese L8 t L1 L6 Regra da Resolução L9 q L3 L8 Regra da Resolução L10 r L7 L9 Regra da Resolução L11 s L2 L10 Regra da Resolução L12 u L4 L11 Regra da Resolução L13 F L5 L12 Regra da Resolução