单项选择题
“如果炉温超过上限，则立即关闭风门”是一个（）
A.产生式B.蕴含式C.推导式D.永真式
单项选择题 关于产生式与谓词逻辑中的蕴含式，下列说法不正确的是（）
单项选择题 经典命题逻辑属于（）
单项选择题 “如果头痛且流涕，则有可能患了感冒”是（）（）
