「disjunction」の共起表現(1語右で並び替え)

}, 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)

「disjunction」の共起表現一覧(1語右で並び替え)