446:
436:
418:
390:
523:
663:
a rule of inference in its own right. Conversely no rule of inference that has its own name gives rise to a logical equivalence. You will not find any reputable source that refers to this particular logical equivalence as a rule of inference. Furthermore material implication is neither a logical equivalence nor a rule of inference, it is an operation and it is simply wrong to call it anything else.
234:
203:
618:. (Actually it should be the other way round: logicians usually refer to this logical operation as material implication.) Then some creative editor dreamed up the idea that material implication must be a rule of inference. This is simply false. Material implication, also known as classical implication, is a logical connective that is distinguished from other implications (such as
292:
265:
630:. When interpreted in two-valued logic material implication P → Q is false when P is true and Q is false and otherwise is true; as such it is equivalent to not-P or Q when negation and disjunction are present. Knowledge should not be promoting the misleading idea that material implication is a rule of inference, which has no basis in logic.
302:
662:
On the contrary what you're referring to is a logical equivalence. Every logical equivalence vacuously gives rise to a derived rule of inference in which either side of the equivalence can be substituted for the other. Because it is vacuous one never dignifies any particular logical equivalence as
153:
44:
797:, can this "definition" not somehow be justified by means of a formal derivation using a combination of more self-evident properties of implication, e.g. conditional proof, and the rule detachment?
147:
498:
754:
539:
190:
795:
978:
843:
194:
887:
865:
932:
323:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
955:
909:
1036:
492:
812:
For what it's worth, I have found it is possible to derive (in 25 lines) this "definition" using only the following rules of inference for natural deduction:
1011:
360:
350:
79:
1031:
168:
1006:
24:
135:
1021:
468:
325:
85:
1016:
129:
1026:
596:
459:
423:
125:
315:
270:
99:
30:
175:
104:
20:
74:
245:
572:
397:
275:
65:
141:
202:
185:
710:
551:
213:
988:
802:
233:
668:
635:
600:
109:
992:
806:
759:
692:
672:
656:
653:
639:
604:
592:
251:
445:
963:
619:
615:
555:
217:
984:
798:
688:
161:
55:
467:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
677:
664:
631:
588:
557:
451:
218:
70:
435:
417:
825:
650:
307:
51:
553:
522:
215:
872:
850:
649:
a rule of inference, although (I believe) rarely under the name "material implication". —
917:
623:
940:
894:
681:
684:
389:
1000:
627:
464:
441:
320:
297:
680:
is correct. This article is completely broken. For correct usage see
319:, a collaborative effort to improve the coverage of content related to
291:
264:
558:
516:
227:
219:
15:
388:
682:
https://www.britannica.com/topic/implication#ref289368
160:
966:
943:
920:
897:
875:
853:
828:
762:
713:
591:
referred to this as the
Switcheroo rule in his book
463:, a collaborative effort to improve the coverage of
371:
972:
949:
926:
903:
881:
859:
837:
789:
748:
497:This article has not yet received a rating on the
614:Prior to 2012 this article was merely a link to
33:for general discussion of the article's subject.
566:This page has archives. Sections older than
174:
8:
749:{\displaystyle A\implies B\iff \neg A\lor B}
231:
703:Can we not somehow justify the definition?
412:
368:
259:
965:
942:
919:
896:
874:
852:
827:
761:
712:
732:
727:
722:
717:
25:Material implication (rule of inference)
414:
261:
576:when more than 3 sections are present.
329:about philosophy content on Knowledge.
1037:Unknown-priority mathematics articles
790:{\displaystyle \neg (A\land \neg B))}
7:
610:Article should be restored to a link
457:This article is within the scope of
313:This article is within the scope of
250:It is of interest to the following
23:for discussing improvements to the
1012:Mid-importance Philosophy articles
921:
832:
829:
775:
763:
734:
14:
570:may be automatically archived by
477:Knowledge:WikiProject Mathematics
1032:Start-Class mathematics articles
973:{\displaystyle \leftrightarrow }
521:
480:Template:WikiProject Mathematics
444:
434:
416:
335:Knowledge:WikiProject Philosophy
300:
290:
263:
232:
201:
45:Click here to start a new topic.
1007:Start-Class Philosophy articles
355:This article has been rated as
338:Template:WikiProject Philosophy
967:
944:
898:
784:
781:
766:
729:
719:
605:08:51, 12 September 2012 (UTC)
1:
1022:Mid-importance logic articles
693:00:38, 29 February 2020 (UTC)
471:and see a list of open tasks.
42:Put new text under old text.
707:Rather than simply defining
673:20:56, 28 October 2013 (UTC)
657:10:46, 23 October 2013 (UTC)
640:20:35, 21 October 2013 (UTC)
50:New to Knowledge? Welcome!
1053:
1017:Start-Class logic articles
993:16:00, 4 August 2021 (UTC)
911:(Detachment, Modus Ponens)
838:{\displaystyle \neg \neg }
807:22:01, 16 April 2018 (UTC)
626:) by virtue of satisfying
620:intuitionistic implication
361:project's importance scale
1027:Logic task force articles
496:
429:
396:
367:
354:
285:
258:
80:Be welcoming to newcomers
934:(Proof by contradiction)
499:project's priority scale
460:WikiProject Mathematics
372:Associated task forces:
974:
951:
928:
905:
883:
882:{\displaystyle \land }
861:
860:{\displaystyle \land }
839:
791:
750:
573:Lowercase sigmabot III
393:
316:WikiProject Philosophy
240:This article is rated
75:avoid personal attacks
975:
952:
929:
927:{\displaystyle \neg }
906:
884:
862:
840:
792:
751:
392:
195:Auto-archiving period
100:Neutral point of view
964:
950:{\displaystyle \to }
941:
918:
904:{\displaystyle \to }
895:
873:
851:
826:
760:
711:
624:relevant implication
616:Material conditional
483:mathematics articles
105:No original research
957:(Conditional proof)
593:Gödel, Escher, Bach
341:Philosophy articles
970:
947:
924:
901:
879:
857:
835:
787:
756:(or equivalently
746:
733:
728:
723:
718:
589:Douglas Hofstadter
452:Mathematics portal
394:
326:general discussion
246:content assessment
86:dispute resolution
47:
580:
579:
545:
544:
513:
512:
509:
508:
505:
504:
411:
410:
407:
406:
403:
402:
308:Philosophy portal
226:
225:
66:Assume good faith
43:
1044:
979:
977:
976:
971:
956:
954:
953:
948:
933:
931:
930:
925:
910:
908:
907:
902:
888:
886:
885:
880:
866:
864:
863:
858:
844:
842:
841:
836:
796:
794:
793:
788:
755:
753:
752:
747:
645:I'm afraid this
575:
559:
536:
535:
525:
517:
485:
484:
481:
478:
475:
454:
449:
448:
438:
431:
430:
420:
413:
379:
369:
343:
342:
339:
336:
333:
310:
305:
304:
303:
294:
287:
286:
281:
278:
267:
260:
243:
237:
236:
228:
220:
206:
205:
196:
179:
178:
164:
95:Article policies
16:
1052:
1051:
1047:
1046:
1045:
1043:
1042:
1041:
997:
996:
962:
961:
939:
938:
916:
915:
893:
892:
871:
870:
849:
848:
824:
823:
758:
757:
709:
708:
705:
612:
585:
571:
560:
554:
530:
482:
479:
476:
473:
472:
450:
443:
377:
340:
337:
334:
331:
330:
306:
301:
299:
279:
273:
244:on Knowledge's
241:
222:
221:
216:
193:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1050:
1048:
1040:
1039:
1034:
1029:
1024:
1019:
1014:
1009:
999:
998:
985:Danchristensen
981:
980:
969:
958:
946:
935:
923:
912:
900:
889:
878:
867:
856:
845:
834:
831:
820:
817:
810:
799:Danchristensen
786:
783:
780:
777:
774:
771:
768:
765:
745:
742:
739:
736:
731:
726:
721:
716:
704:
701:
700:
699:
698:
697:
696:
695:
611:
608:
584:
581:
578:
577:
565:
562:
561:
556:
552:
550:
547:
546:
543:
542:
532:
531:
526:
520:
511:
510:
507:
506:
503:
502:
495:
489:
488:
486:
469:the discussion
456:
455:
439:
427:
426:
421:
409:
408:
405:
404:
401:
400:
395:
385:
384:
382:
380:
374:
373:
365:
364:
357:Mid-importance
353:
347:
346:
344:
312:
311:
295:
283:
282:
280:Mid‑importance
268:
256:
255:
249:
238:
224:
223:
214:
212:
211:
208:
207:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1049:
1038:
1035:
1033:
1030:
1028:
1025:
1023:
1020:
1018:
1015:
1013:
1010:
1008:
1005:
1004:
1002:
995:
994:
990:
986:
959:
936:
913:
890:
876:
868:
854:
846:
821:
818:
815:
814:
813:
809:
808:
804:
800:
778:
772:
769:
743:
740:
737:
724:
714:
702:
694:
690:
686:
683:
679:
678:Vaughan Pratt
676:
675:
674:
670:
666:
665:Vaughan Pratt
661:
660:
658:
655:
652:
648:
644:
643:
642:
641:
637:
633:
632:Vaughan Pratt
629:
625:
621:
617:
609:
607:
606:
602:
598:
594:
590:
587:As I recall,
582:
574:
569:
564:
563:
549:
548:
541:
538:
537:
534:
533:
529:
524:
519:
518:
515:
500:
494:
491:
490:
487:
470:
466:
462:
461:
453:
447:
442:
440:
437:
433:
432:
428:
425:
422:
419:
415:
399:
391:
387:
386:
383:
381:
376:
375:
370:
366:
362:
358:
352:
349:
348:
345:
328:
327:
322:
318:
317:
309:
298:
296:
293:
289:
288:
284:
277:
272:
269:
266:
262:
257:
253:
247:
239:
235:
230:
229:
210:
209:
204:
200:
192:
189:
187:
183:
182:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
982:
811:
706:
651:Arthur Rubin
646:
628:Peirce's Law
613:
597:81.138.95.57
586:
567:
527:
514:
458:
356:
324:
314:
252:WikiProjects
198:
184:
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
474:Mathematics
465:mathematics
424:Mathematics
242:Start-class
148:free images
31:not a forum
1001:Categories
960:Introduce
937:Introduce
914:Introduce
891:Eliminate
869:Eliminate
847:Introduce
822:Eliminate
816:Assumption
583:Switcheroo
332:Philosophy
321:philosophy
271:Philosophy
819:De Morgan
540:Archive 1
88:if needed
71:Be polite
21:talk page
685:Cerberus
528:Archives
186:Archives
56:get help
29:This is
27:article.
568:30 days
359:on the
199:30 days
154:WP refs
142:scholar
654:(talk)
248:scale.
126:Google
398:Logic
276:Logic
169:JSTOR
130:books
84:Seek
989:talk
803:talk
689:talk
669:talk
636:talk
622:and
601:talk
595:. --
162:FENS
136:news
73:and
493:???
351:Mid
176:TWL
1003::
991:)
983:--
968:↔
945:→
922:¬
899:→
877:∧
855:∧
833:¬
830:¬
805:)
776:¬
773:∧
764:¬
741:∨
735:¬
730:⟺
720:⟹
691:)
671:)
659:i
647:is
638:)
603:)
378:/
274::
197::
156:)
54:;
987:(
801:(
785:)
782:)
779:B
770:A
767:(
744:B
738:A
725:B
715:A
687:(
667:(
634:(
599:(
501:.
363:.
254::
191:1
188::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.