通过交换逻辑论证得出真理的推理形式系统

• any formal system of reasoning that arrives at the truth by the exchange of logical arguments