Considere as proposições...

Considere as proposições:

A : Carlos é Argentino
B : João é Brasileiro

Traduza para a linguagem natural as seguintes proposições simbólicas:
(a) A ∨ B
(b) ¬A ∧ B
(c) A → B
(d) A → ¬B
(e) ¬A ↔ B
(f) ¬A ∧ ¬B

Resposta:
(a)
Carlos é Argentino ou João é Brasileiro.

(b)
Carlos não é Argentino e João é Brasileiro.

(c)
Se Carlos é Argentino então João é Brasileiro.

(d)
Se Carlos é Argentino então João não é Brasileiro.

(e)
Carlos não é Argentino se, somente se, João é Brasileiro.

(f)
Carlos não é Argentino e João não é Brasileiro.


Fonte:
MD1 - Lógica Proposicional, Profa . Dayanne G. Coelho, 2017.