22:
803:
418:
265:
43:
314:
868:
514:
133:
that states that one may derive the same consequences from many instances of a hypothesis as from just one. This property can be captured by a
844:
94:
209:
66:
113:
721:
73:
782:
387:
342:
47:
80:
772:
307:
863:
580:
468:
621:
62:
32:
595:
585:
488:
51:
36:
636:
626:
837:
605:
600:
590:
300:
736:
646:
641:
631:
483:
711:
554:
493:
478:
473:
437:
777:
575:
549:
534:
519:
397:
87:
873:
767:
539:
392:
830:
741:
544:
509:
372:
287:
144:
686:
559:
452:
447:
347:
337:
746:
442:
352:
814:
726:
716:
681:
402:
200:
762:
666:
323:
152:
139:
134:
706:
362:
130:
857:
731:
696:
691:
529:
701:
676:
671:
524:
275:
271:
367:
357:
21:
432:
148:
407:
802:
382:
810:
292:
417:
260:{\displaystyle {\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}}
296:
15:
818:
212:
755:
659:
614:
568:
502:
461:
425:
330:
259:
838:
308:
8:
50:. Unsourced material may be challenged and
845:
831:
565:
315:
301:
293:
213:
211:
114:Learn how and when to remove this message
143:, and in such systems one may say that
7:
799:
797:
48:adding citations to reliable sources
817:. You can help Knowledge (XXG) by
239:
216:
14:
151:if and only if contraction is an
801:
416:
278:, entailment is not idempotent.
20:
869:Theorems in propositional logic
783:Tractatus Logico-Philosophicus
388:Problem of multiple generality
1:
773:The Principles of Mathematics
469:Commutativity of conjunction
63:"Idempotency of entailment"
890:
796:
489:Monotonicity of entailment
158:Rule of contraction: from
414:
378:Idempotency of entailment
127:Idempotency of entailment
737:Willard Van Orman Quine
813:-related article is a
712:Charles Sanders Peirce
555:Hypothetical syllogism
261:
778:Principia Mathematica
550:Disjunctive syllogism
535:modus ponendo tollens
262:
768:Function and Concept
540:Constructive dilemma
515:Material implication
210:
44:improve this article
864:Logical consequence
742:Ludwig Wittgenstein
545:Destructive dilemma
373:Well-formed formula
288:No-deleting theorem
687:Augustus De Morgan
257:
826:
825:
791:
790:
655:
654:
255:
129:is a property of
124:
123:
116:
98:
881:
847:
840:
833:
805:
798:
727:Henry M. Sheffer
717:Bertrand Russell
682:Richard Dedekind
566:
510:De Morgan's laws
484:Noncontradiction
426:Classical logics
420:
317:
310:
303:
294:
266:
264:
263:
258:
256:
254:
237:
214:
201:sequent calculus
119:
112:
108:
105:
99:
97:
56:
24:
16:
889:
888:
884:
883:
882:
880:
879:
878:
854:
853:
852:
851:
794:
792:
787:
763:Begriffsschrift
751:
747:Jan Ćukasiewicz
667:Bernard Bolzano
651:
622:Double negation
610:
581:Double negation
564:
498:
474:Excluded middle
457:
421:
412:
326:
324:Classical logic
321:
284:
238:
215:
208:
207:
153:admissible rule
135:structural rule
131:logical systems
120:
109:
103:
100:
57:
55:
41:
25:
12:
11:
5:
887:
885:
877:
876:
871:
866:
856:
855:
850:
849:
842:
835:
827:
824:
823:
806:
789:
788:
786:
785:
780:
775:
770:
765:
759:
757:
753:
752:
750:
749:
744:
739:
734:
729:
724:
722:Ernst Schröder
719:
714:
709:
707:Giuseppe Peano
704:
699:
694:
689:
684:
679:
674:
669:
663:
661:
657:
656:
653:
652:
650:
649:
644:
639:
634:
629:
624:
618:
616:
612:
611:
609:
608:
603:
598:
593:
588:
583:
578:
572:
570:
563:
562:
557:
552:
547:
542:
537:
532:
527:
522:
517:
512:
506:
504:
500:
499:
497:
496:
491:
486:
481:
476:
471:
465:
463:
459:
458:
456:
455:
450:
445:
440:
435:
429:
427:
423:
422:
415:
413:
411:
410:
405:
400:
395:
390:
385:
380:
375:
370:
365:
363:Truth function
360:
355:
350:
345:
340:
334:
332:
328:
327:
322:
320:
319:
312:
305:
297:
291:
290:
283:
280:
268:
267:
253:
250:
247:
244:
241:
236:
233:
230:
227:
224:
221:
218:
197:
196:
178:
177:
122:
121:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
886:
875:
872:
870:
867:
865:
862:
861:
859:
848:
843:
841:
836:
834:
829:
828:
822:
820:
816:
812:
807:
804:
800:
795:
784:
781:
779:
776:
774:
771:
769:
766:
764:
761:
760:
758:
754:
748:
745:
743:
740:
738:
735:
733:
732:Alfred Tarski
730:
728:
725:
723:
720:
718:
715:
713:
710:
708:
705:
703:
700:
698:
695:
693:
692:Gottlob Frege
690:
688:
685:
683:
680:
678:
675:
673:
670:
668:
665:
664:
662:
658:
648:
645:
643:
640:
638:
637:Biconditional
635:
633:
630:
628:
625:
623:
620:
619:
617:
613:
607:
604:
602:
599:
597:
596:Biconditional
594:
592:
589:
587:
584:
582:
579:
577:
574:
573:
571:
567:
561:
558:
556:
553:
551:
548:
546:
543:
541:
538:
536:
533:
531:
530:modus tollens
528:
526:
523:
521:
520:Transposition
518:
516:
513:
511:
508:
507:
505:
501:
495:
492:
490:
487:
485:
482:
480:
477:
475:
472:
470:
467:
466:
464:
460:
454:
451:
449:
446:
444:
441:
439:
438:Propositional
436:
434:
431:
430:
428:
424:
419:
409:
406:
404:
401:
399:
396:
394:
393:Associativity
391:
389:
386:
384:
381:
379:
376:
374:
371:
369:
366:
364:
361:
359:
356:
354:
351:
349:
346:
344:
341:
339:
336:
335:
333:
329:
325:
318:
313:
311:
306:
304:
299:
298:
295:
289:
286:
285:
281:
279:
277:
273:
251:
248:
245:
242:
234:
231:
228:
225:
222:
219:
206:
205:
204:
202:
194:
190:
186:
183:
182:
181:
176:
172:
168:
164:
161:
160:
159:
156:
154:
150:
146:
142:
141:
136:
132:
128:
118:
115:
107:
104:December 2009
96:
93:
89:
86:
82:
79:
75:
72:
68:
65: â
64:
60:
59:Find sources:
53:
49:
45:
39:
38:
34:
29:This article
27:
23:
18:
17:
819:expanding it
808:
793:
702:Hugh MacColl
677:Georg Cantor
672:George Boole
569:Introduction
525:modus ponens
453:Higher-order
448:Second-order
398:Distribution
377:
358:Truth tables
276:affine logic
269:
198:
192:
188:
184:
179:
174:
170:
166:
162:
157:
138:
126:
125:
110:
101:
91:
84:
77:
70:
58:
42:Please help
30:
874:Logic stubs
647:Disjunction
642:Conjunction
627:Existential
615:Elimination
606:Disjunction
601:Conjunction
586:Existential
443:First-order
368:Truth value
338:Quantifiers
180:is derived
140:contraction
858:Categories
697:Kurt Gödel
560:Absorption
462:Principles
348:Connective
203:notation,
149:idempotent
145:entailment
74:newspapers
632:Universal
591:Universal
494:Explosion
479:Bivalence
408:Soundness
353:Tautology
343:Predicate
249:⊢
240:Γ
232:⊢
217:Γ
31:does not
576:Negation
403:Validity
383:Logicism
282:See also
331:General
137:called
88:scholar
52:removed
37:sources
660:People
272:linear
199:Or in
90:
83:
76:
69:
61:
811:logic
809:This
756:Works
503:Rules
95:JSTOR
81:books
815:stub
433:Term
274:and
67:news
35:any
33:cite
270:In
147:is
46:by
860::
191:â
173:â
155:.
846:e
839:t
832:v
821:.
316:e
309:t
302:v
252:B
246:C
243:,
235:B
229:C
226:,
223:C
220:,
195:.
193:B
189:C
187:,
185:A
175:B
171:C
169:,
167:C
165:,
163:A
117:)
111:(
106:)
102:(
92:·
85:·
78:·
71:·
54:.
40:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.