Vamos lembrar...
Lembre-se que estamos estudando lógica formal e não português e nem expressões algébricas