条件逻辑及其部分定理的证明与阐释

摘要

条件逻辑是以充分条件、必要条件、充分必要条件以及它们之间相互关系为研究对象的逻辑理论.运用现代逻辑的手段,深入研究各种务件联系及其它们相互之间的逻辑关系,这对提高我们的认识能力、有效从事实践具有指导意义.在给出的定义的基础上,我们可以证明有关充分条件、必要条件、充分必要条件的大量定理,条件逻辑就是由定义和定理所构成的形式系统.