单项选择题

“如果炉温超过上限,则立即关闭风门”是一个()

A.产生式
B.蕴含式
C.推导式
D.永真式