344:
278:
37:. Very often the same concept is in more than one of these categories, expressed a different way and sometimes with a different name.
424:
47:
366:
439:
266:
134:
208:
117:
71:
213:
112:
390:
242:
181:
144:
429:
419:
378:
176:
139:
254:
414:
315:
288:
230:
191:
186:
149:
129:
100:
166:
332:
310:
283:
218:
171:
434:
327:
83:
30:
59:
34:
22:
94:
354:
196:
88:
17:
409:
349:
29:
The concepts described in articles in this category may be also expressed in terms of
403:
298:
293:
154:
46:
The following 43 pages are in this category, out of 43 total.
8:
345:Simplification of disjunctive antecedents
279:Material implication (rule of inference)
48:This list may not reflect recent changes
43:Pages in category "Rules of inference"
7:
52:
40:
14:
1:
367:Tautology (rule of inference)
267:List of valid argument forms
135:Commutativity of conjunction
456:
209:Existential generalization
118:Biconditional introduction
72:List of rules of inference
16:The main article for this
15:
214:Existential instantiation
113:Biconditional elimination
391:Template:SyllogismImages
243:Universal generalization
182:Disjunction introduction
145:Conjunction introduction
379:Universal instantiation
177:Disjunction elimination
140:Conjunction elimination
425:Propositional calculus
255:Hypothetical syllogism
316:Negation introduction
289:Modus ponendo tollens
231:Free choice inference
192:Distributive property
187:Disjunctive syllogism
167:De Morgan's laws
150:Constructive dilemma
130:Commutative property
101:Associative property
440:Logical expressions
333:Rule of replacement
311:Negation as failure
284:Modus non excipiens
219:Exportation (logic)
172:Destructive dilemma
328:Resolution (logic)
84:Absorption (logic)
60:Rule of inference
23:Rule of inference
447:
97:
95:Antidistributive
455:
454:
450:
449:
448:
446:
445:
444:
400:
399:
398:
397:
396:
395:
383:
371:
359:
355:Structural rule
337:
320:
303:
271:
259:
247:
235:
223:
201:
197:Double negation
159:
122:
105:
93:
89:Admissible rule
76:
64:
39:
27:
12:
11:
5:
453:
451:
443:
442:
437:
432:
430:Syntax (logic)
427:
422:
420:Formal systems
417:
412:
402:
401:
394:
393:
387:
384:
382:
381:
375:
372:
370:
369:
363:
360:
358:
357:
352:
350:SLD resolution
347:
341:
338:
336:
335:
330:
324:
321:
319:
318:
313:
307:
304:
302:
301:
296:
291:
286:
281:
275:
272:
270:
269:
263:
260:
258:
257:
251:
248:
246:
245:
239:
236:
234:
233:
227:
224:
222:
221:
216:
211:
205:
202:
200:
199:
194:
189:
184:
179:
174:
169:
163:
160:
158:
157:
152:
147:
142:
137:
132:
126:
123:
121:
120:
115:
109:
106:
104:
103:
98:
91:
86:
80:
77:
75:
74:
68:
65:
63:
62:
56:
54:
53:
44:
41:
13:
10:
9:
6:
4:
3:
2:
452:
441:
438:
436:
433:
431:
428:
426:
423:
421:
418:
416:
413:
411:
408:
407:
405:
392:
389:
388:
385:
380:
377:
376:
373:
368:
365:
364:
361:
356:
353:
351:
348:
346:
343:
342:
339:
334:
331:
329:
326:
325:
322:
317:
314:
312:
309:
308:
305:
300:
299:Modus tollens
297:
295:
292:
290:
287:
285:
282:
280:
277:
276:
273:
268:
265:
264:
261:
256:
253:
252:
249:
244:
241:
240:
237:
232:
229:
228:
225:
220:
217:
215:
212:
210:
207:
206:
203:
198:
195:
193:
190:
188:
185:
183:
180:
178:
175:
173:
170:
168:
165:
164:
161:
156:
153:
151:
148:
146:
143:
141:
138:
136:
133:
131:
128:
127:
124:
119:
116:
114:
111:
110:
107:
102:
99:
96:
92:
90:
87:
85:
82:
81:
78:
73:
70:
69:
66:
61:
58:
57:
55:
51:
49:
42:
38:
36:
32:
25:
24:
19:
415:Proof theory
294:Modus ponens
45:
28:
21:
404:Categories
435:Inference
31:arguments
155:Cut rule
35:theorems
18:category
33:, or
410:Rules
20:is
406::
50:.
386:Τ
374:U
362:T
340:S
323:R
306:N
274:M
262:L
250:H
238:G
226:F
204:E
162:D
125:C
108:B
79:A
67:*
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.