Konubinix' opinionated web of thoughts

Tautologie

Fleeting

Formule logique universelle valide, selon laquelle A OU A → A (tautologie du calcul des propositions) et ∀x P(x) → ∃x P(x)

https://www.larousse.fr/dictionnaires/francais/tautologie/76858#:~:text=N%C3%A9gligence%20de%20style%20ou%20proc%C3%A9d%C3%A9,il%20%C3%A9tait%20Boubouroche%20%5BCourteline%5D).

Vérité banale, si évidente qu’elle ne mériterait pas d’être énoncée

https://www.larousse.fr/dictionnaires/francais/truisme/80069#:~:text=lapalissade%20-%20tautologie-,truisme%20n.m.,m%C3%A9riterait%20pas%20d'%C3%AAtre%20%C3%A9nonc%C3%A9e.

A lapalissade is an obvious truth—i.e. a truism or tautology—which produces a comical effect. It is derived from the name Jacques de la Palice, and the word is used in several languages

https://en.wikipedia.org/wiki/Lapalissade

Notes pointant ici