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

Passo 1

O enunciado pede para traduzir para Lógica Proposicional a frase “Ou Jane irá vencer ou, se perder, ela ficará cansada.” Vamos usar isso para definir átomos e montar a fórmula.

Passo 2

Definimos dois símbolos proposicionais:
  • p: “Jane irá vencer”
  • q: “Jane ficará cansada”
    Note que “Jane perder” é simplesmente a negação de p, ou seja, lnot p.

Passo 3

A parte condicional “se perder, ela ficará cansada” vira em lógica proposicional:
lnot p to q

Passo 4

Por fim, a frase começa com uma disjunção “Ou Jane irá vencer ou (essa condicional)”. Assim, a tradução completa é:
p lor (lnot p to q)

Resposta

p \lor (\lnot p \to q)

Exercícios relacionados