- equivalent proposition
- мат. эквивалентное утверждение
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
é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