Question

) Sejam as proposições p: Carlos é argentino e q: João é brasileiro. Traduza para a linguagem natural as seguintes proposições simbólicas: a) ¬ p ^ q b) p → c) p → ¬ d) ¬ p ↔ q e) ¬ p ˅ ¬q

Answer 1

Traduzindo para a linguagem natural as proposições simbólicas, obtemos: a) Carlos não é argentino e João é brasileiro; b) Se Carlos é argentino, então João não é brasileiro; c) Se Carlos é argentino, então João não é brasileiro; d) Carlos não é argentino se, e somente se, João é brasileiro; e) Carlos não é argentino ou João não é brasileiro.

É importante lembrarmos o que os conectivos lógicos significam:

• ¬ significa "não"
• ∧ significa "e"
• ∨ significa "ou"
• → significa "Se, então"
• ↔ significa "Se, e somente se".

Dito isso, temos que:

a) A proposição ¬p ∧ q significa Carlos não é argentino e João é brasileiro.

b) A proposição p → q significa Se Carlos é argentino, então João é brasileiro.

c) A proposição p → ¬q significa Se Carlos é argentino, então João não é brasileiro.

d) A proposição ¬p ↔ q significa Carlos não é argentino se, e somente se, João é brasileiro.

e) A proposição ¬p ∨ ¬q significa Carlos não é argentino ou João não é brasileiro.