Lógica e inconsistência: um estudo dos cálculos "CN", 1 "<OU=" "PI" ">OU=" "OMEGA"