- tautologically equivalent
- мат. тавтологически эквивалентный
Большой англо-русский и русско-английский словарь. 2001.
tautologically equivalent
Смотреть что такое "tautologically equivalent" в других словарях:
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… … Wikipedia
Orbifold — This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976 77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”,… … Wikipedia
Craig interpolation — In mathematical logic, Craig s interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an… … Wikipedia
Dedekind domain — In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily … Wikipedia
Statistical independence — In probability theory, to say that two events are independent, intuitively means that the occurrence of one event makes it neither more nor less probable that the other occurs. For example:* The event of getting a 6 the first time a die is rolled … Wikipedia
General equilibrium — theory is a branch of theoretical microeconomics. It seeks to explain the behavior of supply, demand and prices in a whole economy with several or many markets. It is often assumed that agents are price takers and in that setting two common… … Wikipedia
Matrix mechanics — Quantum mechanics Uncertainty principle … Wikipedia
Independence (probability theory) — In probability theory, to say that two events are independent intuitively means that the occurrence of one event makes it neither more nor less probable that the other occurs. For example: The event of getting a 6 the first time a die is rolled… … Wikipedia
Forfeda — Ogham letters Aicme Beithe Aicme Muine ᚁ Beith ᚋ Muin ᚂ Luis ᚌ Gort ᚃ Fearn … Wikipedia
WAGs — (or Wags) is an acronym used particularly (but by no means exclusively) by the British tabloid press to describe the Wives And Girlfriends of the England national football team. It came into common use during the 2006 World Cup, held in Germany,… … Wikipedia
