an abstraction belonging to or characteristic of two entities or parts together

二つの実体や部分に共通する特性や性質を抽象化したもの

a classification of propositions on the basis of whether they claim necessity or possibility or impossibility

命題が必要性、可能性、不可能性を主張するかに基づいて分類すること

a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

`もしpならばq'という形の命題pとqの論理的関係；pが真であるならばqが偽であることはできない

(logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third

（論理学および数学）3つの要素間の関係であり、最初の要素と2番目の要素の間に成り立ち、かつ2番目の要素と3番目の要素の間にも成り立つならば、それは必ず最初の要素と3番目の要素の間にも成り立たなければならない

a logical relation such that two propositions are contraries if both cannot be true but both can be false

二つの命題が両方とも真であることはできないが、両方とも偽であることができる論理的関係

(logic and mathematics) a relation such that it holds between an element and itself

(論理および数学) ある要素とそれ自身の間に成り立つ関係

the branch of philosophy that analyzes inference

推論を分析する哲学の一分野