Descubra respostas para suas perguntas no Sistersinspirit.ca, a plataforma de Q&A mais confiável e eficiente para todas as suas necessidades. Descubra um vasto conhecimento de profissionais em diferentes disciplinas em nossa amigável plataforma de perguntas e respostas. Experimente a conveniência de obter respostas precisas para suas perguntas de uma comunidade dedicada de profissionais.

Determinar se as proposições a seguir são tautologia, contradição ou contingência, usando
o método da tabela-verdade:
a) (p ∨ q) ∧ (~p ∧ ~q)
b) (p ∧ q) → (p ↔ q)

Sagot :

⠀  

⠀⠀☞ Cada tabela-verdade nos demonstra que o item a) é uma contradição enquanto o item b) é uma tautologia. ✅  

⠀  

⠀⠀Inicialmente lembremos o que cada conectivo lógico representa:

[tex]\red{\boxed{\pink{\boxed{\begin{array}{rlclr}&&&&\\&\orange{\sf p \cup q}&\pink{\Longrightarrow}&\orange{\sf p~ou~q}&\\&&&&\\&\orange{\sf p \cap q}&\pink{\Longrightarrow}&\orange{\sf p~e~q}&\\&&&&\\&\orange{\sf p \rightarrow q}&\pink{\Longrightarrow}&\orange{\sf se~p~ent\tilde{a}o~q}&\\&&&&\\&\orange{\sf p \iff q}&\pink{\Longrightarrow}&\orange{\sf p~se,~e~somente~se,~q}&\\&&&&\\&\orange{\sf \tilde{}~p}&\pink{\Longrightarrow}&\orange{\sf n\tilde{a}o~p}&\\&&&&\\\end{array}}}}}[/tex]

⠀  

⠀⠀ Vamos inicialmente registrar nossa tabela verdade padrão para nos auxiliar a montar as tabelas verdade de cada exercício:

[tex]\red{\boxed{\pink{\boxed{\orange{\begin{array}{c|c|c|c|c|c}&&&&&\\\sf ~p~~&\sf ~~q~~&\sf p \cup q&\sf p \cap q&\sf p \rightarrow q&\sf p \iff q\\&&&&&\\\sf V&\sf V&\sf V&\sf V&\sf V&\sf V\\&&&&&\\\sf V&\sf F&\sf V&\sf F&\sf F&\sf F\\&&&&&\\\sf F&\sf V&\sf V&\sf F&\sf V&\sf F\\&&&&&\\\sf F&\sf F&\sf F&\sf F&\sf V&\sf V\\&&&&&\\\end{array}}}}}}[/tex]  

⠀⠀Construiremos cada tabela verdade a seguir a partir de 4 passos:

⠀⠀I) Construir a Tabela Verdade com uma coluna para cada proposição, uma coluna para cada lado da sentença lógica e uma coluna para a sentença lógica completa;

⠀⠀II) Preencher os valores V ou F para nossas 3 proposições p, q e r;

⠀⠀III) Verificar a validade dos dois lados da sentença lógica separados;

⠀⠀IV) Verificar a validade da sentença lógica completa.

⠀⠀Lembremos também que:

  • ⠀⠀TAUTOLOGIA: independente da validade das proposições a  sentença lógica sempre será verdadeira;

  • ⠀⠀CONTRADIÇÃO: independente da validade das proposições a  sentença lógica sempre será falsa;

  • ⠀⠀CONTINGÊNCIA: a validade da sentença lógica poderá ser verdadeira ou falsa a depender da validade das proposições que a compõe.

a) (p ∨ q) ∧ (~p ∧ ~q)

[tex]\green{\boxed{\gray{\boxed{\blue{\begin{array}{c|c|c|c|c}&&&&\\\sf ~p~~&\sf ~~q~~&\sf p \cup q&\sf \tilde{}~p \cap \tilde{}~q&\sf (p \cup q) \cap (~\tilde{}~p \cap \tilde{}~q)\\&&&&\\\sf V&\sf V&\sf V&\sf F&\boxed{\sf F}\\&&&&\\\sf V&\sf F&\sf V&\sf F&\boxed{\sf F}\\&&&&\\\sf F&\sf V&\sf V&\sf F&\boxed{\sf F}\\&&&&\\\sf F&\sf F&\sf F&\sf V&\boxed{\sf F}\\\end{array}}}}}}[/tex]

⠀⠀Esta proposição é portanto uma contradição. ✅

b) (p ∧ q) → (p ↔ q)

[tex]\green{\boxed{\gray{\boxed{\blue{\begin{array}{c|c|c|c|c}&&&&\\\sf ~p~~&\sf ~~q~~&\sf p \cap q&\sf p \iff q&\sf (p \cap q) \rightarrow (p \iff q)\\&&&&\\\sf V&\sf V&\sf V&\sf V&\boxed{\sf V}\\&&&&\\\sf V&\sf F&\sf F&\sf F&\boxed{\sf V}\\&&&&\\\sf F&\sf V&\sf F&\sf F&\boxed{\sf V}\\&&&&\\\sf F&\sf F&\sf F&\sf V&\boxed{\sf V}\\\end{array}}}}}}[/tex]

⠀⠀Esta proposição é portanto uma tautologia. ✅

⠀  

⠀  

⠀  

[tex]\bf\large\red{\underline{\quad\quad\qquad\qquad\qquad\qquad\qquad\qquad\qquad}}[/tex]  

⠀⠀☀️ + exercícios com tabela verdade:  

✈ https://brainly.com.br/tarefa/38427225

✈ https://brainly.com.br/tarefa/38348117

[tex]\bf\large\red{\underline{\quad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\quad}}[/tex]✍  

⠀  

⠀  

⠀  

⠀  

[tex]\bf\large\red{\underline{\quad\quad\qquad\qquad\qquad\qquad\qquad\qquad\qquad}}[/tex]☁  

⠀⠀⠀⠀☕ [tex]\Large\blue{\text{\bf Bons~estudos.}}[/tex]  

⠀  

([tex]\orange{D\acute{u}vidas\ nos\ coment\acute{a}rios}[/tex]) ☄  

[tex]\bf\large\red{\underline{\qquad \qquad \qquad \qquad \qquad \qquad \quad }}\LaTeX[/tex]✍  

❄☃ [tex]\sf(\purple{+}~\red{cores}~\blue{com}~\pink{o}~\orange{App}~\green{Brainly})[/tex] ☘☀  

⠀  

⠀  

⠀  

⠀  

[tex]\gray{"Absque~sudore~et~labore~nullum~opus~perfectum~est."}[/tex]  

View image PhillDays
Obrigado por sua visita. Estamos comprometidos em fornecer as melhores informações disponíveis. Volte a qualquer momento para mais. Agradecemos seu tempo. Por favor, nos revisite para mais respostas confiáveis a qualquer pergunta que possa ter. Volte ao Sistersinspirit.ca para obter mais conhecimento e respostas dos nossos especialistas.