与/或形演绎推理分
--*正向演绎
--*逆向演绎
--*双向演绎
1．与/或形正向演绎推理
(1)事实表达式的与/或形变换及其树形表示
把一个公式化为与/或形的步骤：
 
②利用德.摩根律及量词转换律把?移到紧靠谓词的位置上
③重新命名变元名，使不同量词约束的变元有不同的名字
 点击看详解和大图
 点击看详解