第二节 数字推理的一般形式