Question

Defina uma legenda e simbolize cada enunciado, de acordo com o que se pede:

(a) Eu sou Bayern e sou Real Madrid mas não sou Barcelona, como uma conjunção.
(b) Eu sou Bayern e não sou Real Madrid ou sou Barcelona, como uma disjunção.
(c) Eu sou Bayern e não sou Real Madrid se não sou Barcelona, como uma implicação.
(d) Eu sou Bayern e sou Real Madrid quando e somente quando não sou Barcelona, como uma bi-implicação

Answer 1

Olá, AnaRoy.

Denominemos as proposições da seguinte maneira:

p = "Eu sou Bayern
q = "Eu sou Real Madrid"
r = "Eu sou Barcelona"

Definidas as proposições, podemos reescrever as sentenças por 
meio dos símbolos da lógica proposicional:

(a) Eu sou Bayern e sou Real Madrid mas não sou Barcelona, 
como uma conjunção.

p ˄ q ˄ (¬r)

(b) Eu sou Bayern e não sou Real Madrid ou sou Barcelona, 
como uma disjunção.

[p ˄ (¬q)] ˅ r

(c) Eu sou Bayern e não sou Real Madrid se não sou Barcelona, 
como uma implicação.

¬r → p ˄ (¬q)

(d) Eu sou Bayern e sou Real Madrid quando e somente quando 
não sou Barcelona, como uma bi-implicação

¬r ↔ p ˄ q