于海生--计算机控制技术
(1)假言推理 (1)假言推理 基本规则：如果已知命题A 即可以分辨真假的陈述句) 基本规则：如果已知命题A(即可以分辨真假的陈述句)蕴 涵命题B A→B( );如今确实 如今确实A 涵命题B,即A→B(若A则B);如今确实A,则可以得到结论 为B,其逻辑结构为 若A,则B; 如今A; 如今A -----------------结论B 结论B。 举例：如果A看成“小王住院” 举例：如果A看成“小王住院”,B看成“小王生病”; 看成“小王生病” 则若“小王住院” 小王生病”也真。 则若“小王住院”真，“小王生病”也真。