Proposition (mathematiques)

Proposition (mathematiques)

Proposition (mathématiques)

Cet article court présente un sujet plus amplement développé ici : Calcul des propositions.

Une proposition est un concept de base du langage mathématique. C'est un assemblage de symboles que le mathématicien souhaite soit démontrer, soit réfuter.

Par exemple, « (∀ x∈ℕ) pair(x) ⇒ (∃k∈ℕ) x²=2k » est une proposition démontrable, tandis que « (∀ x∈ℕ) impair(x) ⇒ (∃k∈ℕ) x²=2k » une proposition réfutable, c'est-à-dire que sa négation «¬((∀ x∈ℕ) impair(x) ⇒ (∃k∈ℕ) x²=2k) » est démontrable où ¬ est le symbole de négation

En logique mathématique, le calcul des propositions n'analyse celles-ci qu'en termes encore de propositions : il ne parle donc pas de quantificateurs, qui demandent la notion de prédicat.

  • Portail de la logique Portail de la logique
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Proposition (math%C3%A9matiques) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Proposition (mathematiques) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Proposition (mathématiques) — Cet article court présente un sujet plus amplement développé ici : Calcul des propositions. Une proposition est un concept de base du langage mathématique. C est un assemblage de symboles que le mathématicien souhaite soit démontrer, soit… …   Wikipédia en Français

  • MATHÉMATIQUES (FONDEMENTS DES) — Au sens premier et fort, le mot «fondement» désigne la base, jugée inébranlable, sur laquelle repose un corps d’énoncés, un système de connaissances, un complexe de croyances ou de conduites. «Reposer sur la base» signifie ici «trouver en elle à… …   Encyclopédie Universelle

  • Mathematiques — Mathématiques Les mathématiques constituent un domaine de connaissances abstraites construites à l aide de raisonnements logiques sur des concepts tels que les nombres, les figures, les structures et les transformations. Les mathématiques… …   Wikipédia en Français

  • proposition — [ prɔpozisjɔ̃ ] n. f. • v. 1120 propositiun « action de faire connaître ses intentions »; lat. propositio 1 ♦ L action, le fait d offrir, de suggérer qqch. à qqn; ce qui est proposé. ⇒ offre. Proposition de paix. Faire des propositions… …   Encyclopédie Universelle

  • MATHÉMATIQUES (DIDACTIQUE DES) — Les problèmes posés par l’enseignement des mathématiques ne sont pas nouveaux. Au début du siècle, Henri Lebesgue était préoccupé par les conditions de l’enseignement et de la formation des professeurs. Des efforts plus récents se sont déployés… …   Encyclopédie Universelle

  • PROPOSITION (philosophie) — PROPOSITION, philosophie Il convient d’abord de distinguer la phrase, le jugement, l’énoncé et la proposition. La phrase est une entité linguistique, soumise à des règles grammaticales, qui assurent sa correction, et à d’éventuels critères… …   Encyclopédie Universelle

  • 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 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

  • Proposition — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Proposition », sur le Wiktionnaire (dictionnaire universel) Une proposition peut représenter toute… …   Wikipédia en Français

  • Mathématiques — Les mathématiques constituent un domaine de connaissances abstraites construites à l aide de raisonnements logiques sur des concepts tels que les nombres, les figures, les structures et les transformations. Les mathématiques désignent aussi le… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.