填空题
◇（¬p∧¬q）与（）可以互推。
┐□（p∨q）
填空题 SIP通过换质可以得到（）。
填空题 根据矛盾律的要求，同素材的性质判断SAP与SOP必有一个为（）。
填空题 与“可能非p”具有下反对关系的判断是（）。
