Vamos lembrar...
Lembre-se, estamos tratando de lógica formal para ciência da computação.