16、设S是所有命题做成的集合，说明S在什么运算下做成代数格？在什么部分序下做成半序格。