2
下面关于「有效性判定:规则法与文恩图」的说法中,正确的是?
解析:本题直接考查「有效性判定:规则法与文恩图」的定义。规则法靠逐条核对规则,文恩图靠画图观察结论是否已被前提蕴含,二者可互为校验。
3
在学习「严格蕴含与实质蕴含」时,下列哪一项属于应当避免的错误认识?
解析:这是典型的误解。实质蕴含只要求不出现「前件真后件假」;严格蕴含还要求后件在所有可能世界中都随前件为真。