当蕴涵式的后件为真时，蕴涵式是真的。

猜你喜欢

• 在自然推理系统P中，如果结论为蕴涵式，则通常采用的构造证明方法是（）
• 《学记》中“君子之教，喻也”所蕴涵的教学原则是（）。
• 商业模式创新即使涉及技术，也多是和技术的经济方面因素，与技术所蕴涵的经济价值及经济可行性有关，而不是纯粹的技术特性。（）
• 唐朝诗人张若虚《春江花月夜》中的“人生代代无穷已，江月年年只相似”两句诗蕴涵着时间一维性的哲理。下列诗句中蕴涵相同哲理的是（）
• 唐朝诗人张若虚《春江花月夜》中的“人生代代无穷已，江月年年只相似”两句诗蕴涵着时间一维性的哲理。下列诗句中蕴涵相同哲理的是：（）