问答题
试用过增加最少的元素使得S扩张成一个独异点。
问答题试用过增加最少的元素使得S扩张成一个独异点。
证明：S关于*运算构成半群。
问答题证明：S关于*运算构成半群。
将公式p→（q→r）化成与之等值且仅含{，∧}中联结词的公式为（）。
填空题将公式p→（q→r）化成与之等值且仅含{ㄱ，∧}中联结词的公式为（）。
