Simbolizar as seguintes sentenças, deixe claro
ou
:
Se Paulo namora Tereza, então Celso não leva Tereza para jantar.
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
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.