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
Articles connexes
