演绎推理

根据已有的事实和正确的结论（包括公理、定义、定理等），按照严格的逻辑法则得到新结论的推理过程。