问答题

【参考答案】

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

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)