摘要： <正> 1—4 关于命题演算推理的理论 辑逻学的主要作用是提供推理规则或推理法则。与这些规则相关的理论,由于它还涉及到由前提推出结论,所以它称为推理理论。由一组前提出发,通过使用推理中所允许的规则导出结论,这样的导出过程称为演绎法或形式证明。在形式证明中,推导的任何阶段所用的推导规则都是被承认的。在数学文献上,所给出的证明在一般意义上也认为是非形式的,即推导中的许多步骤或者被省略了,或者认为是可理解的。
陆菊康
,马蓓蓓. 离散数学结构及其在计算机科学中的应用(四)[J]. , 1978, 4(04): 59-86.