Este exemplo é a Lógica Clássica, como iremos explicar em detalhes, mas agora surge uma dúvida