问答题

论述题 如何通过消解反演求取问题的答案?

【参考答案】

给出一个公式集S和目标公式L,通过反证或反演来求证目标公式L,其证明步骤如下:
(1)否定L,得~L;

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
热门 试题