Fra/Lexique de la logique

1. abduction
2. affirmatif
3. affirmation
4. affirmer
5. algorithme
6. analyse
7. analyse comparée
8. AND
9. antécédent
10. antilogie
11. appréhension
12. argument
13. assomption
14. attribut
15. autocontradiction
16. autologisme
17. automate cellulaire
18. bi-implication
19. bi-impliquer
20. biaffirmation
21. biassertion
22. binégation
23. bivalence
24. bivalent
25. canon
26. cataphase
27. catégorie
28. catégorique
29. celarent
30. colligance
31. colligation
32. complétude
33. compréhensif
34. compréhension
35. concedo
36. condition nécessaire
37. condition nécessaire et suffisante
38. condition suffisante
39. conditionnel
40. conjonction
41. connecteur logique
42. connotatif
43. conséquence
44. conséquent
45. consistance
46. contradiction
47. contradictoire
48. contraposition
49. convers
50. converse
51. convertible
52. convertiblement
53. copule
54. corollaire
55. déductif
56. déduction
57. dénombrement
58. description
59. détachement
60. diallèle
61. diégèse
62. diérèse
63. direct
64. discursif
65. disjonction
66. disjonction exclusive
67. distributif
68. distributivement
69. dual
70. effet cigogne
71. en boucle
72. ensemble ordonné
73. ensemble partiellement ordonné
74. ensemble totalement ordonné
75. enthymème
76. enthymémisme
77. épichérème
78. équipollence
79. équivalence
80. et
81. ET
82. et logique
83. étoile de Kleene
84. exhaustion
85. existentiation
86. extrême
87. faux
88. fonction logique
89. forme normale conjonctive
90. général
91. hypothético-déductif
92. hypothétisme
93. illation
94. implication
95. implicature
96. impliquer
97. induire
98. inférence
99. inférer
100. infirmer
101. intension
102. intuitionnisme
103. judicande
104. judicat
105. judicateur
106. jugement
107. juger
108. lemme
109. majeur
110. majeure
111. mineure
112. modal
113. modus ponens
114. modus tollens
115. monde possible
116. mot
117. multivariable
118. NAND
119. négatif
120. NON
121. NON-ET
122. NON-OU
123. NOR
124. NOT
125. opinion
126. OR
127. OU
128. ou exclusif
129. ou inclusif
130. ou logique
131. pente savonneuse
132. pétition de principe
133. porte logique
134. positif
135. postulat
136. prédicable
137. prédicament
138. prédicat
139. prémisse
140. prémisses
141. proposition
142. proposition alternative
143. proposition contraposée
144. proposition convertente
145. propositions sous-alternes
146. prosleptique
147. quanteur
148. quantificateur
149. quantificateur existentiel
150. quantificateur universel
151. quantifieur
152. réciprocable
153. réciproque
154. réduction
155. réduire
156. renversement
157. retournable
158. satisfaisable
159. seulement si
160. si et seulement si
161. sorite
162. sous-alterne
163. ssi
164. stœchiologie
165. syllogisme
166. syllogistique
167. synthèse
168. table de vérité
169. tarskien
170. terme
171. transformation des propositions
172. trilemme
173. trivalent
174. universalité
175. universel
176. universellement
177. valeur de vérité
178. vrai
179. XOR