Une proposition est une phrase mathématique dont on analyse la vérité (le fait que ce qui est dit dans la phrase est vrai ou faux).
