程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
参考答案：归纳断言法
宋代苏轼在《格物粗谈·果品》中记载“红柿摘下未熟，每篮用木瓜三枚放入，得气既发，并无涩味”。上述叙述中“得气既发”的“气”是指[ ]
A．氧气
B．二氧化碳
C．乙烯
D．吲哚乙酸
脑脊液是血浆通过脉络丛选择性过滤而形成。因而其成分与血浆有很大差异，正常情况下，易通过脉络丛的有（）
A.氯化物
B.氧化碳
C.蛋白质
D.葡萄糖
E.抗体
