Finaly,I will compare different methods to define the truth in the calculus of classes.

• 最后,针对类演算语言,在不同的真句子定义方法之间进行一些比较。