List
Fra/Lexique de la logique
- abduction
- affirmatif
- affirmation
- affirmer
- algorithme
- analyse
- analyse comparée
- AND
- antécédent
- antilogie
- appréhension
- argument
- assomption
- attribut
- autocontradiction
- autologisme
- automate cellulaire
- bi-implication
- bi-impliquer
- biaffirmation
- biassertion
- binégation
- bivalence
- bivalent
- canon
- cataphase
- catégorie
- catégorique
- celarent
- colligance
- colligation
- complétude
- compréhensif
- compréhension
- concedo
- condition nécessaire
- condition nécessaire et suffisante
- condition suffisante
- conditionnel
- conjonction
- connecteur logique
- connotatif
- conséquence
- conséquent
- consistance
- contradiction
- contradictoire
- contraposition
- convers
- converse
- convertible
- convertiblement
- copule
- corollaire
- déductif
- déduction
- dénombrement
- description
- détachement
- diallèle
- diégèse
- diérèse
- direct
- discursif
- disjonction
- disjonction exclusive
- distributif
- distributivement
- dual
- effet cigogne
- en boucle
- ensemble ordonné
- ensemble partiellement ordonné
- ensemble totalement ordonné
- enthymème
- enthymémisme
- épichérème
- équipollence
- équivalence
- et
- ET
- et logique
- étoile de Kleene
- exhaustion
- existentiation
- extrême
- faux
- fonction logique
- forme normale conjonctive
- général
- hypothético-déductif
- hypothétisme
- illation
- implication
- implicature
- impliquer
- induire
- inférence
- inférer
- infirmer
- intension
- intuitionnisme
- judicande
- judicat
- judicateur
- jugement
- juger
- lemme
- majeur
- majeure
- mineure
- modal
- modus ponens
- modus tollens
- monde possible
- mot
- multivariable
- NAND
- négatif
- NON
- NON-ET
- NON-OU
- NOR
- NOT
- opinion
- OR
- OU
- ou exclusif
- ou inclusif
- ou logique
- pente savonneuse
- pétition de principe
- porte logique
- positif
- postulat
- prédicable
- prédicament
- prédicat
- prémisse
- prémisses
- proposition
- proposition alternative
- proposition contraposée
- proposition convertente
- propositions sous-alternes
- prosleptique
- quanteur
- quantificateur
- quantificateur existentiel
- quantificateur universel
- quantifieur
- réciprocable
- réciproque
- réduction
- réduire
- renversement
- retournable
- satisfaisable
- seulement si
- si et seulement si
- sorite
- sous-alterne
- ssi
- stœchiologie
- syllogisme
- syllogistique
- synthèse
- table de vérité
- tarskien
- terme
- transformation des propositions
- trilemme
- trivalent
- universalité
- universel
- universellement
- valeur de vérité
- vrai
- XOR