四、分析性和逻辑真理