Большой англо-русский и русско-английский словарь. 2001.
Disjunctively — Dis*junc tive*ly, adv. In a disjunctive manner; separately. Dr. H. More. [1913 Webster] … The Collaborative International Dictionary of English
disjunctively — adverb see disjunctive I … New Collegiate Dictionary
disjunctively — See disjunctive. * * * … Universalium
disjunctively — adverb In a disjunctive manner … Wiktionary
disjunctively — dis·junc·tive·ly … English syllables
disjunctively — adverb see disjunctive II … Useful english dictionary
disjunctive — disjunctively, adv. /dis jungk tiv/, adj. 1. serving or tending to disjoin; separating; dividing; distinguishing. 2. Gram. a. syntactically setting two or more expressions in opposition to each other, as but in poor but happy, or expressing an… … Universalium
Discretely — Dis*crete ly, adv. Separately; disjunctively. [1913 Webster] … The Collaborative International Dictionary of English
Trilemma — Tri*lem ma, n. [NL., fr. Gr. ? (see {Tri }) + {?} any thing received, in logic, an assumption. Cf. {Dilemma}.] 1. (Logic) A syllogism with three conditional propositions, the major premises of which are disjunctively affirmed in the minor. See… … The Collaborative International Dictionary of English
disjunctive — I. adjective Date: 15th century 1. a. relating to, being, or forming a logical disjunction b. expressing an alternative or opposition between the meanings of the words connected < the disjunctive conjunction or > c. expressed by mutually… … New Collegiate Dictionary
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
