Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se Jane vencer ou perder, vai ficar cansada.

Passo 1

Estamos traduzindo a frase “Se Jane vencer ou perder, vai ficar cansada” para Lógica Proposicional. Aqui o conteúdo é conversão de linguagem natural para lógica, usando os conectivos implicação e disjunção.

Passo 2

Definimos as proposições atômicas:
P = “Jane vence”
Q = “Jane perde”
R = “Jane fica cansada”
E lembramos que “ou” vira o conectivo $\lor$ e “se … então …” vira o conectivo $\to$.

Passo 3

O enunciado tem a forma “Se (P ou Q), então R”. O antecedente é a disjunção de P e Q, e o todo é uma implicação. A tradução lógica fica: $(P \lor Q) \to R$

Resposta

$(P \lor Q) \to R$

Exercícios relacionados