Abstract:The syntax and semantics of computation tree logic(CTL), which is based on Zadeh fuzzy logic, are presented. Then, the semantic relationships between different fuzzy computation tree logic formulas are analyzed. And how the im- precision of fuzzy valuation function of a fuzzy model influences the imprecision of the truth values of fuzzy computation tree logic formulas is also put under examination.