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.

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: p: “chover” q: “irei para casa” r: “ficarei no escritório”

Passo 3

A expressão “Se chover, irei para casa” vira p \to q.
A expressão “caso contrário, ficarei no escritório” equivale a “se não chover, então ficarei no escritório”, ou seja, \neg p \to r.

Passo 4

Para combinar as duas partes, usamos a conjunção:
(p \to q)\;\land\;(\neg p \to r).

Resposta

(p \to q)\land(\neg p \to r)

Exercícios relacionados