Vamos lembrar...
 

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