- rule of conjunction
- мат. правило конъюнкции
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Association rule learning — In data mining, association rule learning is a popular and well researched method for discovering interesting relations between variables in large databases. Piatetsky Shapiro[1] describes analyzing and presenting strong rules discovered in… … Wikipedia
N-rule — For the typographic term n rule or n dash see Dash In Icelandic orthography, the N rule dictates whether or not one or two n’s should be written, sometimes affecting pronunciation. Contents 1 Compound words 2 Function words 2.1 Adver … Wikipedia
Cox's theorem — Cox s theorem, named after the physicist Richard Threlkeld Cox, is a derivation of the laws of probability theory from a certain set of postulates. This derivation justifies the so called logical interpretation of probability. As the laws of… … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
President of Germany (Weimar Republic) — The Reichspräsident was the German head of state during the period of the 1919 1934 Weimar Republic and the title was later briefly revived in 1945. The German title Reichspräsident literally means Realm President ( reich is a German word that… … Wikipedia
and — conjunction coffee and a scone Syn: together with, along with, with, as well as, in addition to, also; besides, furthermore; informal plus •• and It is rank superstition that this coordinating conjunction cannot properly begin a sentence: •… … Thesaurus of popular words
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
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia