This example is Classical Logic Language, as we are going to explain in detail, but now a doubt arises