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.
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:
-
: “Jane irá vencer” -
: “Jane ficará cansada”
Note que “Jane perder” é simplesmente a negação de, ou seja, .
Passo 3
A parte condicional “se perder, ela ficará cansada” vira em lógica proposicional:
Passo 4
Por fim, a frase começa com uma disjunção “Ou Jane irá vencer ou (essa condicional)”. Assim, a tradução completa é:
Resposta
p \lor (\lnot p \to q)