Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
Se chover, irei para casa, caso contrário, ficarei no escritório.
Se chover, irei para casa, caso contrário, ficarei no escritório.
Passo 1
O enunciado pede para traduzir uma sentença natural (“Se chover, irei para casa, caso contrário, ficarei no escritório.”) para a linguagem da Lógica Proposicional. Vamos identificar as sentenças atômicas e usar conectivos para montar a fórmula.
Passo 2
Definimos as sentenças atômicas:
: “chover”
: “irei para casa”
: “ficarei no escritório”
Passo 3
A expressão “Se chover, irei para casa” vira
.
A expressão “caso contrário, ficarei no escritório” equivale a “se não chover, então ficarei no escritório”, ou seja, .
A expressão “caso contrário, ficarei no escritório” equivale a “se não chover, então ficarei no escritório”, ou seja,
Passo 4
Para combinar as duas partes, usamos a conjunção: