教资会网络 | UGC NET CS 2015 年 12 月 – II |问题 8

匹配以下术语：

(一) (一)
(乙) (2)
(三) (3)
(D) (4)答案：（一）
解释：

• 真空证明是一种证明，其中基于 p 为假的事实，蕴涵 p → q 为真。
• 琐碎证明是基于 q 为真这一事实，蕴涵 p → q 为真的证明。
• 直接证明是一种证明，其中蕴涵 p → q 为真，通过证明当 p 为真时 q 必须为真而继续进行。
• 间接证明 一种证明，其中蕴涵 p → q 为真，通过证明当 q 为假时 p 必须为假来进行。

所以，选项（A）是正确的。
这个问题的测验