排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
本文是学习命題演算过程中的一点体会。设M是任意非空集合,用S表示在字母表 α=MU{∽,→,(,)}中写出的一切非空字的集合,用WF表示S中一切满足以下两个条件的子集W的交: (i)。如果把M中的每个元素看成字,则MW: (ii)。对任意A∈W和B∈W有(∽A)∈W和(A→B)∈W。 集合WF中的字称为合式公式。 定义1.WF的一个真子集L称为一个协调系,如果: (i) 对任意X,Y,Z∈WF,有 相似文献
1