Simbolizar as seguintes sentenças, deixe claro p, q ou r :
Se Paulo namora Tereza, então Celso não leva Tereza para jantar.

Passo 1

Beleza, vamos lá! O exercício pede para simbolizar uma frase lógica usando as letras $ p $, $ q $ ou $ r $. A frase é: “Se Paulo namora Tereza, então Celso não leva Tereza para jantar.” A gente vai usar lógica proposicional para resolver isso. Precisamos identificar as proposições envolvidas e ver como elas se relacionam.

Passo 2

Primeiro, vamos identificar as partes da frase que vamos transformar em símbolos:
  • $ p $: Paulo namora Tereza.
  • $ q $: Celso leva Tereza para jantar.

Passo 3

Agora, vamos entender a estrutura da frase. Ela está dizendo que se uma coisa acontece ($ p p ãã q $). Isso é uma implicação na lógica.

Passo 4

Na lógica, “se $ p $, então $ q $” é representado por $ p \rightarrow q $. Mas como na nossa frase a segunda parte está negada (“não leva”), precisamos adicionar uma negação.

Passo 5

Então, “Se Paulo namora Tereza, então Celso não leva Tereza para jantar” fica: $ p \rightarrow \neg q $.

Resposta

A frase simbolizada é $ p \rightarrow \neg q $, onde:
  • $ p $: Paulo namora Tereza.
  • $ q $: Celso leva Tereza para jantar.

Exercícios relacionados