[计算题,5分] 设S是所有命题做成的集合,说明S在什么运算下做成代数格?在什么部分序下做成半序格。
出自:河南理工大学-计算机科学与技术-离散数学