“Fundamental Binary Relation in Logic: Inclusion”

如果你也在线性代数linearalgebra这个学科遇到相关的难题,请随时添加vx号联系我们的代写客服。我们会为你提供专业的服务。 linearalgebra™长期致力于留学生网课服务,涵盖各个网络学科课程:金融学Finance,经济学Economics,数学Mathematics,会计Accounting,文学Literature,艺术Arts等等。除了网课全程托管外,linearalgebra™也可接受单独网课任务。无论遇到了什么网课困难,都能帮你完美解决!

0.3 Relation of InclusionLike all deductive theories, the algebra of logic may be established on various systems of principles14; we shall choose the one which most nearly approaches the exposition of Schroder and current logical interpretation.See Huntington on, “Sets of Independent Postulates for the Algebra of Logic”, _Transactions of the Am. Math. Soc._, Vol. V, 1904, pp. 288-309. [Here he says: “Any set of consistent postulates would give rise to a corresponding algebra, viz., the totality of propositions which follow from these postulates by logical deductions. Every set of postulates should be free from redundances, in other words, the postulates of each set should be _independent_, no one of them deducible from the rest.”]The fundamental relation of this calculus is the binary (two-termed) relation which is called _inclusion_ (for classes), _subsumption_ (for concepts), or _implication_ (for propositions). We will adopt the first name as affecting alike the two logical interpretations, and we will represent this relation by the sign \(

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注