Peu commune
Logique classique
système logique formel développé à partir de la fin du XIXe siècle
Logique classique
La logique classique est un système logique formel développé à partir de la fin du XIXe siècle, au cours de la crise des fondements des mathématiques. Appelée simplement logique à ses débuts[réf. nécessaire], c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. La logique classique est caractérisée par des postulats qui la fondent et la différencient de la logique intuitionniste, exprimés dans le formalisme du calcul des propositions ou du calcul des prédicats : Le tiers exclu énonce que pour toute proposition mathématique considérée, elle-même ou sa négation est vraie : A ∨ ¬ A {\displaystyle A\lor \neg A} Le raisonnement par l'absurde : ¬ ¬ A ⇒ A...
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement