- conjunction of propositions
- мат. конъюнкция предложений
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
conjunction — conjunctional, adj. conjunctionally, adv. /keuhn jungk sheuhn/, n. 1. Gram. a. any member of a small class of words distinguished in many languages by their function as connectors between words, phrases, clauses, or sentences, as and, because,… … Universalium
conjunction — The conjunction of two propositions, p, q is the proposition p & q . It is true if, and only if, each of p, q is true. The medievals were interested in whether there exist different kinds of conjunction subject to a weaker condition, since while… … Philosophy dictionary
conjunction — con•junc•tion [[t]kənˈdʒʌŋk ʃən[/t]] n. 1) gram. a member of a small class of words functioning as connectors between words, phrases, clauses, or sentences, as and, because, but, and unless Abbr.: conj. 2) 2) the act of conjoining; combination 3) … From formal English to slang
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Disjunctive conjunction — Disjunctive Dis*junc tive, a. [L. disjunctivus: cf. F. disjonctif.] 1. Tending to disjoin; separating; disjoining. [1913 Webster] 2. (Mus.) Pertaining to disjunct tetrachords. Disjunctive notes. Moore (Encyc. of Music). [1913 Webster]… … The Collaborative International Dictionary of English
Commutativity of conjunction — In logic, the commutativity of conjunction demonstrates that predicates on both sides of a logical conjunction operator are interchangeable. This logical law is a part of classical logic.[1] For any propositions H1, H2, ... Hn, and permutation… … Wikipedia
2-valued morphism — is a term used in mathematicsFact|date=January 2008 to describe a morphism that sends a Boolean algebra B onto a two element Boolean algebra 2 = {0,1}. It is essentially the same thing as an ultrafilter on B .A 2 valued morphism can be… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia