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!!
Respostas
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.