Sejam, agora, as seguintes proposições compostas denotadas por: “P”, “Q”, “R”, “S”, “T”, “U”, “V” e “X” representadas por: P: Se Luciana estuda e J...

Sejam, agora, as seguintes proposições compostas denotadas por: “P”, “Q”, “R”, “S”, “T”, “U”, “V” e “X” representadas por: P: Se Luciana estuda e João bebe, então Carlos não dança. Q: É falso que João bebe ou Carlos dança, mas Luciana não estuda. R: Ou Luciana estuda ou Carlos dança se, e somente se, João não bebe. O primeiro passo é destacarmos os operadores lógicos (modificadores e conectivos) e as proposições. Depois reescrevermos de forma simbólica, vejamos: Juntando as informações temos que, P: (p ^ q) → ~r Continuando: Q: É falso que João bebe ou Carlos dança, mas Luciana estuda. Simbolicamente temos: Q: ~ (q v r ^ ~p). R: Ou Luciana estuda ou Carlos dança se, e somente se, João não bebe. (p v r) ↔ ~q

a) ((p ^ q) → ~r) v s
b) p ^ ((q → r) v s)
c) (p ^ (q → r)) v s
d) p ^ (q → (r v s))
e) (p ^ q) → (r v s)