「Disjunction」の共起表現一覧(1語右で並び替え)
該当件数 : 23件
| }, consisting of binary conjunction, binary | disjunction and negation. |
| using →, ∧, ∨, ⊥ (implication, conjunction, | disjunction and falsum) as the basic connectives, treat |
| means of Boolean operations - conjunction, | disjunction and negation, which are combined with addit |
| The Lectures go on to explore further the | disjunction between planning and execution, which is br |
| : diametric drive, pitch drive, bias drive, | disjunction drive, and three variations of differential |
| In propositional logic | disjunction elimination is the inference that, if "A or |
| in conjunction fallacy (e.g., Reyna, 1991), | disjunction fallacy (e.g., Reyna & Adam, 2003), and oth |
| clause-ending particles, such as kendo for | disjunction, ga as a question marker and ki to denote r |
| Disjunction introduction is controversial in paraconsis | |
| is the | disjunction operator (OR) |
| and a superintuitionistic logic has the | disjunction property iff it admits the rule |
| set with a unique minimal element 0 has the | disjunction property of Wallman when for every pair (a, |
| In logics with a variant of the | disjunction property, the multiple-conclusion rules hav |
| er on the closed sets of a T1 space has the | disjunction property. |
| nction, conjunctive grammars allow implicit | disjunction represented by multiple rules for a single |
| ∨ g, their logical conjunction and logical | disjunction respectively. |
| Because of this, logical | disjunction satisfies many of the same identities as se |
| The rules for conjunction and | disjunction say that |
| espondence relates a constructivist form of | disjunction to tagged union types. |
| onjunction is trivially true, and the empty | disjunction trivially false. |
| le Prolog uses punctuation - namely ; - for | disjunction within clauses, Fril instead has a built-in |
| set theory is defined in terms of a logical | disjunction: x ∈ A ∪ B if and only if (x ∈ A) ∨ (x ∈ B) |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|