Uma proposição matemática simples de uma sentença, expressa em palavras ou símbolos, procura exprimir um juízo ao qual se possa atribuir, dentro de um determinado contexto proposto, apenas duas situações lógicas associadas a “verdadeiro” ou “falso” . Dentro das proposições compostas temos o que chamamos de Tautologias, sendo que serão sentenças sempre verdadeiras independentemente dos eventos associados e as Contradições, que por sua vez serão sentenças sempre falsas independentemente dos eventos associados, assim sendo, dizemos que a “ negação de uma Tautologia é sempre uma Contradição”. Outro capítulo das proposições matemáticas é a das Proposições Logicamente Equivalentes, nas quais algumas leis de equivalência se estabelecem, assim, se adotarmos as proposições X, Y e Z, qual das leis a seguir identificaríamos como a lei de Equivalência da Condicional?
A (X ∧ Y) ∧ Z ↔ X ∧ (Y ∧ Z)
B X ∨ (Y ∧ Z) ↔ (X ∨ Y) ∧ (X ∨ Z)
C X → Y ↔ X V Y
D ~(~X) ↔ X
(pra mim a D está correta, pois negação com negação fica afirmação, mas o gabarito não é esse então não entendi) Me ajudem pfvr.
Soluções para a tarefa
Respondido por
0
Alternativa C.
O exercício tem por objetivo a identificação de qual das sentenças se trata de uma Equivalência Condicional.
Duas proposições serão Logicamente Equivalentes quando os resultados de suas tabelas-verdade são iguais.
Dentro do assunto das Proposições Logicamente Equivalentes temos que as Equivalências Condicionais serão:
- Se p então q = Se não q então não p.
- Se p então q = Não p ou q.
Sendo assim, a alternativa correta é a letra C.
Perguntas interessantes