Introduzida uma nova logica de raciocinio