

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Sejam as proposições lógicas:
p: Hoje é sábado.
q: Hoje é domingo.
A expressão simbólica p ↔ ~q pode ser escrita de forma equivalente na linguagem corrente como:
Se hoje é sábado, então não é domingo.
Hoje é sábado se, e somente se, é domingo.
Hoje é sábado ou domingo.
Hoje é sábado se, e somente se, não é domingo.
Ou hoje é sábado ou não é domingo.