Em uma sessão pública do Conselho Universitário (CONSU) de uma Universidade Federal, o Pró-Reitor de Planejamento defendeu uma diretriz orçamentária declarando a seguinte premissa:

Equivalência: “Se a reforma do Restaurante Universitário não é executada, então a arrecadação própria da instituição não aumenta e o Ministério da Educação não libera o limite orçamentário.”

Negação: “A arrecadação própria da instituição aumenta ou o Ministério da Educação libera o limite orçamentário, e a reforma do Restaurante Universitário não é executada.”

Equivalência: “Se a reforma do Restaurante Universitário não é executada, então a arrecadação própria da instituição não aumenta ou o Ministério da Educação não libera o limite orçamentário.”

Negação: “A arrecadação própria da instituição não aumenta e o Ministério da Educação não libera o limite orçamentário, ou a reforma do Restaurante Universitário não é executada.”

Equivalência: “A arrecadação própria da instituição não aumenta e o Ministério da Educação não libera o limite orçamentário, ou a reforma do Restaurante Universitário é executada.”

Negação: “Se a arrecadação própria da instituição não aumenta e o Ministério da Educação não libera o limite orçamentário, então a reforma do Restaurante Universitário não é executada.”

Equivalência: “Se a arrecadação própria da instituição aumenta e o Ministério da Educação libera o limite orçamentário, então a reforma do Restaurante Universitário não é executada.”

Negação: “A arrecadação própria da instituição não aumenta ou o Ministério da Educação não libera o limite orçamentário, e a reforma do Restaurante Universitário é executada.”

Equivalência: “A reforma do Restaurante Universitário é executada se, e somente se, a arrecadação própria aumenta ou o MEC libera o limite.”

Negação: “Ocorreu o aumento da arrecadação própria ou a liberação do limite orçamentário se, e somente se, a reforma do Restaurante Universitário não foi executada.”