Logic deduction is based on the abstract relationships of things endowed in propositions.

• 摘要逻辑演绎以内含于命题形式中抽象的事态关系为根据；