Um servidor declarou seus dependentes, para efeito de benefícios, no setor de pessoal da instituição a que está vinculado. Relacionou seus filhos e sua companheira, que vive às suas expensas há 10 anos. O funcionário do setor informou ao servidor que, no serviço público federal, apesar de caracterizada uma união estável, não poderia equiparar sua companheira à sua cônjuge pela ausência do ato formal do casamento.

A atitude do funcionário do setor de pessoal, que não equiparou a companheira à condição de cônjuge do servidor, é compatível com o estabelecido na Lei nº 8112/1990.

Do regulamento de uma universidade consta:

"Se a nota de um aluno for maior do que 4 e menor do que 5, ele pode fazer uma prova substitutiva ou um trabalho extra, mas não ambos."

Simbolicamente, essa afirmação pode ser representada por: “4 < n < 5 ⇒ (p ∨ t) ∧ ~(p ∧ t)”, em que n é a nota do aluno, p “o aluno pode fazer uma prova substitutiva”, e t “o aluno pode fazer um trabalho extra”.