从前提必然地得出结论的推理;从一些假设的命题出发,运用逻辑的规则,导出另一命题的过程