Énoncé trivial
Un article de Wikipédia, l'encyclopédie libre.
Un énoncé trivial est, en mathématiques, un énoncé dont la vérité, du point de vue de la logique mathématique, est évidente à la lecture.
Par exemple « 2 est pair » est un énoncé trivial compte-tenu de la définition des nombres pairs.
Par extension, on peut parler de démonstration triviale pour qualifier une démonstration simple à effectuer. Toutefois un tel qualificatif dépend du niveau des interlocuteurs.
Certains objets mathématiques sont qualifiées de triviaux :
