La logique - du grec logos désignant le mot, le verbe, la raison - est la science des inférences nécessaires, qui établit les règles de transformation valide des propositions, indépendamment de la justesse de leur contenu par rapport à la réalité...