equivalent proposition

equivalent proposition
мат. эквивалентное утверждение

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "equivalent proposition" в других словарях:

  • équivalent — équivalent, ente (é ki va lan, lan t ) adj. 1°   Qui équivaut, qui est de même valeur. Rendre un service équivalent à celui que l on a reçu. 2°   Terme de géométrie. Il se dit des surfaces ou des volumes qui ont les mêmes contenances sans avoir… …   Dictionnaire de la Langue Française d'Émile Littré

  • Proposition (logique mathématique) — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… …   Wikipédia en Français

  • Proposition relative — En grammaire, la proposition relative est une proposition subordonnée complexe servant le plus souvent d expansion nominale. Dotée obligatoirement d un verbe, elle est reliée à sa proposition principale (le cas échéant) au moyen d un pronom… …   Wikipédia en Français

  • Proposition indécidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Röntgen equivalent man — Pour les articles homonymes, voir REM. Le rem (symbole rem) est une ancienne unité de mesure pour la dose équivalente et la dose efficace. Il tire son nom de l abréviation « Röntgen Equivalent Man ». Il est maintenant officiellement… …   Wikipédia en Français

  • Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… …   Wikipedia

  • conversion — conversional, conversionary /keuhn verr zheuh ner ee, sheuh /, adj. /keuhn verr zheuhn, sheuhn/, n. 1. the act or process of converting; state of being converted. 2. change in character, form, or function. 3. spiritual change from sinfulness to… …   Universalium

  • Mobile Membranes — Membrane systems have been inspired from the structure and the functioning of the living cells. They were introduced and studied by Gh.Paun under the name of P systems [24]; some applications of the membrane systems are presented in [15].… …   Wikipedia

  • Conversion (logic) — Conversion is a concept in traditional logic referring to a type of immediate inference in which from a given proposition another proposition is inferred which has as its subject the predicate of the original proposition and as its predicate the… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Raven paradox — The Raven paradox, also known as Hempel s paradox or Hempel s ravens is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition. It reveals the problem of… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»