Question

2) 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 → q


c) p → ¬ q


d) ¬ p ↔ q


e) ¬ p ˅ ¬q


AJUDA!!

Answer 1

As traduções das proposições simbólicas são: a) Carlos não é argentino e João é brasileiro; b) Se Carlos é argentino, então Joã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.

Primeiramente, vamos lembrar dos significados dos conectivos lógicos:

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

Agora, vamos traduzir as proposições simbólicas.

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.