杭州紫金港培训学校(紫金港专升本)杭州紫金港培训学校(紫金港专升本)
同等学力申硕学科综合(计算机科学与技术)

子句 p \lor \neg q \lor r 与子句 q \lor s 对 q…

第 5 题单选题模拟题较易

子句 p∨¬q∨rp \lor \neg q \lor rp∨¬q∨r 与子句 q∨sq \lor sq∨s 对 q 进行归结,得到的归结式是( )

归结推理析取范式与合取范式主析取范式主合取范式推理规则命题逻辑公理系统
回到课节:第 3 节 命题逻辑:主范式与推理演算
我要提问免费报名咨询