Considering the two orthodox calculations take truth function, individuality truth function as object of study, they fall into the category of discrete mathematics.
鉴于正统的两个演算只以真值函数、个体-真值函数为研究对象，故而属于离散数学。
An elementary proposition is a truth-function of itself.
基本命题是自身的真值函项。
An elementary proposition is a truth-function of itself.
基本命题是自身的真值函项。
应用推荐