约束基本概念时序逻辑,组合逻辑各种时间要素基本概念