二、经典逻辑中的逻辑真