Escreva cada uma das proposições abaixo na forma " p se e somente se q " em português.
Se está calor lá fora, você compra um sorvete e se você compra um sorvete é
porque está calor lá fora.

Passo 1

Neste exercício a ideia é transformar uma afirmação que contém “se … então …” nos dois sentidos em uma única proposição do tipo bicondicional “p se e somente se q”. O conteúdo aqui é lógica proposicional, mais especificamente equivalência lógica (bicondicional).

Passo 2

Identificamos as proposições simples: p = “Está calor lá fora” e q = “Você compra um sorvete.”

Passo 3

A definição de bicondicional diz que “p se e somente se q” significa que p implica q e q implica p ao mesmo tempo. Basta então juntar p e q nesse formato.

Resposta

Está calor lá fora se e somente se você compra um sorvete.

Exercícios relacionados