Question

LÓGICA


Deixe A = "Aldo é italiano" e B = "Bob é inglês".

Formalize as seguintes frases:
1. "Aldo não é italiano"
2. "Aldo é italiano, enquanto Bob é inglês"
3. “Se Aldo é italiano, então Bob não é inglês”
4. "Aldo é italiano ou, se Aldo não é italiano, Bob é inglês"
5. “Aldo é italiano e Bob é inglês, ou Aldo não é italiano nem
Bob é inglês ”

Answer 1

Resposta:

Olá.

Explicação:

Ficamos com a respectiva ordem:

1. ¬A

2. A ∧ B

3. A $\to$ ¬B

4. A ∨ (¬A $\to$ B) que é logicamente equivalente a A ∨ B

5. (A ∧ B) ∨ (¬A ∧ ¬B) logicamente equivalente a A ↔ B

Bons estudos,

att

GarciaHW