Escreva cada uma das proposições abaixo na forma "
se e somente se
" em português.
Se está calor lá fora, você compra um sorvete e se você compra um sorvete é
porque está calor lá fora.
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.