一、真理论的逻辑构造