Legenda para os símbolos lógicos: v Representa a disjunção inclusiva (ou). ^ Representa a conjunção (e). ~ Representa a negação. → Representa o condicional (se...então). ↔ Representa o bicondicional (se e somente se). A classificação do resultado da tabela-verdade associada à fórmula \(\left(\sim\left(\sim p\ \wedge\ q\right)\wedge\ p\ \rightarrow\sim q\ \vee\ p\right)\) é:

Tautologia e implicação lógica.

Tautologia e equivalência lógica.

Questão 1541635

Raciocínio Lógico · 2016

ID 1541635

Disciplina: Raciocínio Lógico

Assunto: Tautologia

Ano: 2016 Banca: FUNDATEC - Fundação Universidade Empresa de Tecnologia e Ciências Órgão: Prefeitura Municipal de Foz do Iguaçu

Legenda para os símbolos lógicos:

A classificação do resultado da tabela-verdade associada à fórmula

\(\left(\sim\left(\sim p\ \wedge\ q\right)\wedge\ p\ \rightarrow\sim q\ \vee\ p\right)\)

é: