联结词函数相关硕士博士期刊学术论文

令Ω是一真值联结词集。若任何真值联结词都能由集合Ω中的一些联结词定义出来，则称Ω是一个真值联结词函数完全的集合；如果真值联结......