Um site só permite o cadastro de usuários se:
  • a idade (idade) for maior ou igual a 18 ,
  • e o e-mail for válido,
  • e (o país for “Brasil” ou “Portugal”).

Passo 1

O enunciado pede para traduzir as condições de cadastro em lógica proposicional. O conteúdo aqui é representação de restrições com conectivos lógicos: conjunção ( \land) e disjunção ( \lor).

Passo 2

Definimos as proposições atômicas:
\begin{aligned} A &: \text{“idade} \ge 18”,\\\ B &: \text{“e-mail é válido”},\\\ C &: \text{“país = Brasil”},\\\ D &: \text{“país = Portugal”}. \end{aligned}éáíí

Passo 3

O cadastro só é permitido se simultaneamente a pessoa tiver idade mínima, o e-mail for válido e o país for Brasil ou Portugal. Em lógica:
A \land B \land (C \lor D).

Resposta

A \land B \land (C \lor D)

Exercícios relacionados