Logique classique

Cet article est une bauche concernant la logique. 1 Notes et rfrences

Vous pouvez partager vos connaissances en lamliorant
(comment ?) selon les recommandations des projets cor- [1] (en) Dirk van Dalen (de), Logic and Structure, chap. 5 In-
respondants. tuitionistic logic , exercice 9. (a), Springer-Verlag, 1991.

Consultez la liste des tches accomplir en page de dis-

cussion.
2 Lien externe
La logique classique est la premire formalisation du
langage et du raisonnement mathmatique dveloppe Rappel : Bases de : logique, ensembles, limites.
partir de la n du XIXe sicle en logique math-
matique. Appele simplement logique ses dbuts,
c'est l'apparition d'autres systmes logiques formels, no-
tamment pour la logique intuitionniste, qui a suscit
3 Articles lis
l'adjonction de l'adjectif classique au terme logique.
Calcul des propositions
La logique classique est caractrise par des postulats qui
la fondent et la direncient de la logique intuitionniste, Calcul des prdicats
exprims dans le formalisme du calcul des propositions
Dduction naturelle
ou du calcul des prdicats :
Logique intuitionniste
Le tiers exclu nonce que pour toute proposition ma-
Logique linaire notamment les lois de De Morgan
thmatique considre, elle-mme ou sa ngation est
vraie : A A Logique minimale

Le raisonnement par l'absurde : A A

Portail des mathmatiques
( ) ( )
La contraposition : B A A B Portail de la logique

L'implication matrielle : (A B) (A B)

Ces principes sont quivalents par raisonnement intui-

tionniste, cest--dire que l'on peut montrer que n'importe
lequel d'entre eux permet de dduire les autres en utilisant
les rgles intuitionnistes.
On y ajoute gnralement l'une des lois de De Morgan :
(A B) (A B)
Ces principes contribuent au fait que les modles calcu-
latoires de la logique classique sont beaucoup plus com-
plexes que ceux de la logique intuitionniste.
Le principe

(A B) (B A)

est valide en logique classique, et n'est pas dmon-

trable en logique intuitionniste[1] , mais son adjonction
la logique intuitionniste n'engendre pas la logique
classique[rf. souhaite] .

1
2 4 SOURCES, CONTRIBUTEURS ET LICENCES DU TEXTE ET DE LIMAGE

4 Sources, contributeurs et licences du texte et de limage

4.1 Texte
Logique classique Source : https://fr.wikipedia.org/wiki/Logique_classique?oldid=116092341 Contributeurs : Dom, Phe-bot, Theon, Eu-
sebius, Lna, PIerre.Lescanne, Ludovic89, Lregnier, Epsilon0, Belad, Proz, HYUK3, Arronax50, Salebot, Scrabble, VolkovBot, Lylvic,
ZX81-bot, Michel421, SniperMask, Archidoxe, Denispir, GrouchoBot, Kalki101, ZroBot, Kasirbot, MerlIwBot, Addbot, Gil.oque et
Anonyme : 3

4.2 Images
Fichier:Consistency.png Source : https://upload.wikimedia.org/wikipedia/commons/3/33/Consistency.png Licence : Public domain
Contributeurs : Travail personnel, made with LaTeX Artiste dorigine : This gure was made by Eusebius (Guillaume Piolle).

Fichier:Logic.svg Source : https://upload.wikimedia.org/wikipedia/commons/e/e7/Logic.svg Licence : CC BY-SA 3.0 Contributeurs : Tra-

vail personnel Artiste dorigine : It Is Me Here
Fichier:Racine_carre_bleue.svg Source : https://upload.wikimedia.org/wikipedia/commons/1/1f/Racine_carr%C3%A9e_bleue.svg
Licence : LGPL Contributeurs : Image:Nuvola apps edu mathematics-p.svg Artiste dorigine : historicair 17 :50, 4 June 2007 (UTC)

4.3 Licence du contenu

Creative Commons Attribution-Share Alike 3.0