Afirmar que: ´antônio não é engenheiro ou joão é pernambucano’, logicamente, é o mesmo que dizer que:. *.
Soluções para a tarefa
A frase logicamente equivalente à "Antônio não é engenheiro ou João é pernambucano" é: A) Se Antônio é engenheiro, então João é pernambucano.
Equivalências Lógicas
São proposições compostas formadas pelas mesmas proposições simples, gerando resultando idênticos nas tabelas-verdade.
- Proposições Simples: têm apenas um pensamento;
- Proposições Compostas: têm mais de um pensamento.
O símbolo da equivalência é o: ⇔ . As proposições podem ser representadas por letras (A, B, J etc.).
Escrevendo a primeira proposição com letras e operadores lógicos, temos:
- "Antônio não é engenheiro ou João é pernambucano":
- Antônio = A
- João = J
- não = ¬
- ou = ∨
Assim: ¬ A ∨ J (não A ou J) - disjunção inclusiva (nega o primeiro e mantém o segundo).
Ao estudarmos, aprendemos que a proposição equivalente a essa é a condicional:
- A ⇒ J (Se A, então J).
Passando essa expressão à proposição por extenso, temos:
- A ⇒ J : Se Antônio é engenheiro, então João é pernambucano.
Normalmente eles partem da condicional para pedir a equivalente, mas o exercício inverteu, pedindo a equivalente da disjunção.
Para saber mais sobre lógica, acesse: brainly.com.br/tarefa/22668196
