Vamos lembrar...
 

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