- equivalence of propositions
- мат. эквивалентность высказываний
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
equivalence — /i kwiv euh leuhns/ or, for 3, /ee kweuh vay leuhns/, n. 1. the state or fact of being equivalent; equality in value, force, significance, etc. 2. an instance of this; an equivalent. 3. Chem. the quality of having equal valence. 4. Logic, Math. a … Universalium
Equivalence logique — Équivalence logique En logique classique, deux propositions P et Q sont logiquement équivalentes ou équivalentes si P et Q ont simultanément même valeur de vérité; c est à dire que P et Q sont vraies (resp. fausses), dans exactement les mêmes… … Wikipédia en Français
équivalence — [ ekivalɑ̃s ] n. f. • 1361; bas lat. æquivalentia, de æquivalere 1 ♦ Qualité de ce qui est équivalent. ⇒ adéquation, égalité, homologie, identité. Les jacqueries « mettent en avant un principe d équivalence, vie contre vie » (Camus). ♢ (1864)… … Encyclopédie Universelle
Equivalence — Équivalence Voir « équivalence » sur le Wiktionnaire … Wikipédia en Français
Équivalence logique — ● Équivalence logique relation entre deux propositions p et q, exprimée par le connecteur ≡ (noté parfois ↔ ou ∼), telle que p ≡ q n est vrai que si p et q sont tous deux vrais ou faux simultanément … Encyclopédie Universelle
Équivalence logique — En logique classique, deux propositions P et Q sont logiquement équivalentes ou équivalentes si P et Q ont même valeur de vérité; c est à dire que P et Q sont vraies (resp. fausses), dans exactement les mêmes situations. On écrit Qui se lit … Wikipédia en Français
Équivalence — Sur les autres projets Wikimedia : « Équivalence », sur le Wiktionnaire (dictionnaire universel) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot équivalence peut avoir plusieurs… … Wikipédia en Français
Equivalence faible — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
Equivalence forte — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
equivalence — e•quiv•a•lence [[t]ɪˈkwɪv ə ləns[/t]] or, for 3, [[t]ˌi kwəˈveɪ ləns[/t]] n. 1) the state or fact of being equivalent; equality in value, force, significance, etc 2) an instance of this; an equivalent 3) chem. the state of having equal chemical… … From formal English to slang
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 est aussi la première… … Wikipédia en Français