Question

Formalize as seguintes frases:
1. “Se Davide vier à festa, Bruno e Carlo também”
2. “Carlo só vem à festa se Angelo e Bruno não comparecerem”
3. "Davide vem à festa se e somente se Carlo vier e Angelo não
venha"
4. "Se Davide vier à festa, se Carlo não vier, Angelo
vem ”

Answer 1

Resposta:

Olá

Explicação:

O formalismo de cada uma das asserções pode ser expresso pelas respectivas fórmulas:

1. D $\to$ B ∧ C

2. C $\to$ ¬A ∧ ¬B

3. D ↔ (C ∧ ¬A)

4. D $\to$ (¬C $\to$ A)