Proposition (mathématiques)

Infos
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, « (&
-x2200; x∈ℕ) pair(x) ⇒ (∃k∈ℕ) x²=2k » est une proposition démontrable, tandis que «(&
-x2200; x∈ℕ) impair(x) ⇒ (∃k∈ℕ) x²=2k » une proposition réfutable, c'est-à-dire que sa négation «¬((&
-x2200; x∈ℕ) impair(x) ⇒ (∃k∈ℕ) x²=2k) » e
Proposition (mathématiques)

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, « (&
-x2200; x∈ℕ) pair(x) ⇒ (∃k∈ℕ) x²=2k » est une proposition démontrable, tandis que «(&
-x2200; x∈ℕ) impair(x) ⇒ (∃k∈ℕ) x²=2k » une proposition réfutable, c'est-à-dire que sa négation «¬((&
-x2200; x∈ℕ) impair(x) ⇒ (∃k∈ℕ) x²=2k) » est démontrable où ¬ est le symbole de négation ==
Sujets connexes
Calcul des propositions   Négation logique   Syllogisme  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^