Queremos com uma linguagem simbólica capturar formas de dedução ou argumentação de modo que há situações descritas em linguagem natural que queremos simbolizar na linguagem formal. Por exemplo, denominando as sentenças atômicas conforme abaixo
  • p : O time joga bem
  • q : O time ganha o campeonato.
  • r : O técnico é o culpado.
  • s : Os torcedores estão felizes.
    escrevemos as sentenças compostas
  • q vee neg s : O time ganha o campeonato ou os torcedores não ficam felizes.

Passo 1

Beleza, vamos começar resumindo o que a questão está pedindo. Aqui, queremos aprender a traduzir frases do dia a dia para uma linguagem simbólica usando lógica proposicional. Isso significa que vamos dar nomes (símbolos) para sentenças simples e depois combinar esses símbolos usando operadores lógicos pra representar relações entre elas. Para resolver isso, precisamos saber identificar as sentenças atômicas e entender como usar os operadores lógicos básicos como negação (¬), disjunção (∨), conjunção (∧) e implicação (→).

Passo 2

Primeiro, vamos identificar as sentenças atômicas e atribuir símbolos a elas, como mostrado no exemplo:
  • p: O time joga bem
  • q: O time ganha o campeonato.
  • r: O técnico é o culpado.
  • s: Os torcedores estão felizes.
Essas são nossas “pedaços básicos” que vão compor sentenças mais complexas.

Passo 3

Agora, vamos entender os operadores lógicos que vamos usar:
  • Negação (¬): Inverte o valor da proposição. Se s é “Os torcedores estão felizes”, então neg s é “Os torcedores não estão felizes”.
  • Disjunção (∨): Representa “ou”. Por exemplo, q vee neg s significa “O time ganha o campeonato ou os torcedores não estão felizes”.
  • Conjunção (∧): Representa “e”. Exemplo: p wed>= s significa “O time joga bem e os torcedores estão felizes”.
  • Implicação (→): Representa “se… então”. Por exemplo, p q significa “Se o time joga bem, então o time ganha o campeonato”.

Passo 4

Vamos praticar com um novo exemplo. Suponha que temos a frase:
“Se o time joga bem e os torcedores estão felizes, então o técnico não é o culpado.”
Primeiro, identificamos as proposições:
  • p: O time joga bem
  • s: Os torcedores estão felizes
  • r: O técnico é o culpado

Passo 5

Agora, vamos traduzir a frase para a linguagem simbólica.
  1. “O time joga bem e os torcedores estão felizes” é p wed>= s.
  2. “O técnico não é o culpado” é neg r.
  3. “Se [primeira parte], então [segunda parte]” é representado pela implicação: [primeira parte] [segunda parte].
Então, a frase completa fica:
(p wed>= s) neg r

Resposta

A frase “Se o time joga bem e os torcedores estão felizes, então o técnico não é o culpado.” é simbolizada por (p wed>= s) neg r.

Exercícios relacionados