Question

Questão de Lógica Proposicional, utilize símbolos proposicionais para representar a sentença:

"Se Poliana é bonita ou inteligente ou sensível então Benicio ama Poliana e é Feliz"

Answer 1

Resposta:

Consideremos as seguintes proposições simples:

p: Poliana é bonita.

q: Poliana é inteligente.

r: Poliana é sensível.

s: Benício ama Poliana.

t: Benício é feliz.

A proposição composta "Se Poliana é bonita ou inteligente ou sensível então Benicio ama Poliana e é feliz", usando-se os símbolos da lógica proposicional, é assim representada:

p ∨ q ∨ r → s ∧ t.

Perceba que nenhum parêntese é necessário. Seguindo a ordem de precedência dos operadores lógicos, as operações serão realizadas na seguinte ordem:

1) p ∨ q

2) (p ∨ q) ∨ r

3) s ∧ t

4) ((p ∨ q) ∨ r) → (s ∧ t)

ficando por último o condicional "se ... então ... ", conforme se esperava.