Este ejemplo es el Lenguaje Lógico Clásico, como vamos a explicar en detalle, pero ahora surge una duda