Catégorie:Lexique en français de la logique

A

• abduction
• affirmatif
• affirmation
• affirmer
• analyse
• analyse comparée
• antécédent
• antilogie
• appréhension
• argument
• assomption
• attribut

B

• bivalence

C

• catégorie
• catégorique
• colligance
• colligation
• compréhensif
• compréhension
• concret
• conditionnel
• conséquence
• conséquent
• contradictoire
• convers
• converse
• convertiblement
• copule
• corollaire

D

• déductif
• déduction
• dénombrement
• description
• diallèle
• diégèse
• diérèse
• direct
• discursif

D (suite)

• distributif
• distributivement
• dual

E

• enthymème
• épichérème
• équipollence
• équivalence
• et
• existentiation
• extrême

F

• faux
• forme normale conjonctive

G

• général

H

• hypothético-déductif

I

• illation
• implication
• implicature
• impliquer
• induire
• inférence
• inférer
• infirmer
• intension

J

• judicande
• judicat
• judicateur
• jugement
• juger

L

• lemme

M

• majeur
• majeure
• mineure
• modal
• monde possible
• mot

N

• négatif

O

• opinion

P

• pétition de principe

P (suite)

• positif
• postulat
• prédicable
• prédicament
• prédicat
• prémisse
• prémisses
• proposition
• proposition alternative
• proposition convertente
• propositions sous-alternes

Q

• quantificateur
• quantificateur existentiel
• quantifieur

R

• réciprocable
• réciproque
• réduction
• réduire
• renversement
• retournable

S

• seulement si
• si et seulement si
• sorite
• sous-alterne
• ssi
• stœchiologie
• subsumption
• syllogisme
• syllogistique
• synthèse

T

• table de vérité
• tarskien
• transformation des propositions

U

• universalité
• universel
• universellement

V

• valeur de vérité
• vrai