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 (
) e disjunção (
).
Passo 2
Definimos as proposições atômicas:
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: