検索結果- 英語 - 多言語
検索内容:
disjunct
Separate; discontinuous; not connected. / (botany) Occurring in widely separated geographic areas.
分離している / 断続的でつながっていない / (植物学)広く隔たった地域で発生する
disjunctivitis
inclusive disjunction
(logic) A disjunction which is true if at least one of its disjuncts is true.
少なくとも一方の命題が真であれば全体が真となる論理的論理和、すなわち包含論理和
exclusive disjunction
(logic) A disjunction which is true if only one, but not both, of its disjuncts is true.
論理学において、二つの命題のうち、一方だけが真であり、両方が真の場合は偽となる論理的接続(論理演算)。
exclusive disjunctions
inclusive disjunctions
disjunctive syllogism
(logic) A logical argument of the form that if there are only two possibilities, and one of them is ruled out, then the other must take place. In symbols: P∨Q,¬P⊢Q
選言的三段論法:論理学における推論方法で、2つの可能性のうち一方が否定された場合、もう一方が成立するという形式の論証。
disjunctive syllogisms
disjunctive normal form
(logic) The form of a boolean formula that the formula has if the formula is a disjunction of conjunctions of literals, such as “(A and B and C) or (D and E and not F)”.
論理学におけるブール式の正規形の一種で、各項目がリテラル(命題変数またはその否定)の論理積(AND)の形で表現され、その複数の論理積が論理和(OR)で結合された形式。 / 和積標準形とも呼ばれ、複雑な論理式をリテラルの論理積の論理和という形に変換したもの。
canonical disjunctive normal form
(logic) Disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals).
全ての項が同じリテラル(命題変数)を含み、項同士の違いが否定パターンのみに限定されるという追加条件を満たした論理式の正規形(論理和積形)