707:
1229:
1094:
175:) "necessary" and "sufficient" indicate relations between conditions or states of affairs, not statements. For example, being a male is a necessary condition for being a brother, but it is not sufficient—while being a male sibling is a necessary and sufficient condition for being a brother. Any conditional statement consists of at least one sufficient condition and at least one necessary condition.
2715:
1456:
Psychologically speaking, necessity and sufficiency are both key aspects of the classical view of concepts. Under the classical theory of concepts, how human minds represent a category X, gives rise to a set of individually necessary conditions that define X. Together, these individually necessary
1097:
That a train runs on schedule is a sufficient condition for arriving on time (if one boards the train and it departs on time, then one will arrive on time); but it is not a necessary condition, since there are other ways to travel (if the train does not run to time, one could still arrive on time
1214:
should be marked with a single large spade (♠) is sufficient for the card to be an ace. Three other sufficient conditions are that the center of the card be marked with a single diamond (♦), heart (♥), or club (♣). None of these conditions is necessary to the card's being an ace, but their
1378:". Another facet of this duality is that, as illustrated above, conjunctions (using "and") of necessary conditions may achieve sufficiency, while disjunctions (using "or") of sufficient conditions may achieve necessity. For a third facet, identify every mathematical
155:
In general, a necessary condition is one (possibly one of several conditions) that must be present in order for another condition to occur, while a sufficient condition is one that produces the said condition. The assertion that a statement is a "necessary
1743:. Thus, discovering whether a graph has any odd cycles tells one whether it is bipartite and conversely. A philosopher might characterize this state of affairs thus: "Although the concepts of bipartiteness and absence of odd cycles differ in
1232:
Being in the purple region is sufficient for being in A, but not necessary. Being in A is necessary for being in the purple region, but not sufficient. Being in A and being in B is necessary and sufficient for being in the purple
1161:" or several other variants. It may be the case that several sufficient conditions, when taken together, constitute a single necessary condition (i.e., individually sufficient and jointly necessary), as illustrated in example 5.
869:
Being at least 30 years old is necessary for serving in the U.S. Senate. If you are under 30 years old, then it is impossible for you to be a senator. That is, if you are a senator, it follows that you must be at least 30 years
815:". One often finds, in mathematical prose for instance, several necessary conditions that, taken together, constitute a sufficient condition (i.e., individually necessary and jointly sufficient), as shown in Example 5.
1457:
conditions are sufficient to be X. This contrasts with the probabilistic theory of concepts which states that no defining feature is necessary or sufficient, rather that categories resemble a family tree structure.
1184:
An occurrence of thunder is a sufficient condition for the occurrence of lightning in the sense that hearing thunder, and unambiguously recognizing it as such, justifies concluding that there has been a lightning
861:
the lightning (since lightning causes thunder), but because lightning always comes with thunder, we say that thunder is necessary for lightning. (That is, in its formal sense, necessity doesn't imply causality.)
1193:
If the U.S. Congress passes a bill, the president's signing of the bill is sufficient to make it law. Note that the case whereby the president did not sign the bill, e.g. through exercising a presidential
856:
Consider thunder, the sound caused by lightning. One says that thunder is necessary for lightning, since lightning never occurs without thunder. Whenever there is lightning, there is thunder. The thunder
1872:
1710:
1598:
710:
The sun being above the horizon is a necessary condition for direct sunlight; but it is not a sufficient condition, as something else may be casting a shadow, e.g., the moon in the case of an
1672:
1646:
626:
524:
1818:
1549:
572:
438:
412:
1789:
1515:
599:
464:
1071:
1045:
1003:
977:
934:
910:
1176:
A number's being divisible by 4 is sufficient (but not necessary) for it to be even, but being divisible by 2 is both sufficient and necessary for it to be even.
1301:
1274:
848:
For the whole numbers greater than two, being odd is necessary to being prime, since two is the only whole number that is both even and prime.
1908:
1739:
has one endpoint of each color. And for any graph to be bipartite, it is a necessary and sufficient condition that it contain no odd-length
1765:
Because, as explained in previous section, necessity of one for the other is equivalent to sufficiency of the other for the first one, e.g.
359:
must be true; whereas if the conditional statement is true and N is true, then S may be true or be false. In common terms, "the truth of
2134:"Necessary conditions in international business research–Advancing the field with a new perspective on causality and data analysis"
1839:
194:
can be used as analytical techniques for examining necessity and sufficiency of conditions for a particular outcome of interest.
2031:
2739:
301:. In common language, this is equivalent to saying that if the conditional statement is a true statement, then the consequent
2185:
2064:
2014:
1933:
42:
17:
1198:, does not mean that the bill has not become a law (for example, it could still have become a law through a congressional
2371:
1677:
1565:
2760:
2500:
1168:"John is a king" implies that John is male. So knowing that John is a king is sufficient to knowing that he is a male.
351:(refer again to the third column of the truth table immediately below). If the conditional statement is true, then if
2775:
2649:
2133:
2089:
2770:
2733:
1321:
191:
2325:
2654:
1938:
837:
164:
the latter is true. That is, the two statements must be either simultaneously true, or simultaneously false.
187:
2105:
Asnina, Erika; Osis, Janis & Jansone, Asnate (2013). "Formal
Specification of Topological Relations".
2729:
1651:
1625:
605:
503:
2765:
2680:
1219:
is, since no card can be an ace without fulfilling at least (in fact, exactly) one of these conditions.
367:". For example, carrying on from the previous example, one can say that knowing that someone is called
2659:
2366:
1797:
1528:
551:
417:
391:
2557:
1903:
1768:
1494:
578:
443:
2641:
1379:
1923:
2695:
1748:
1351:
822:
For it to be true that "John is a bachelor", it is necessary that it be also true that he is
30:
This article is about the formal terminology in logic. For causal meanings of the terms, see
1056:
1030:
988:
962:
919:
895:
2614:
2460:
1943:
1740:
1466:
1333:
73:
65:
35:
1237:
A condition can be either necessary or sufficient without being the other. For instance,
8:
2569:
2552:
2532:
2495:
2444:
2439:
2381:
2318:
1792:
1316:
A condition can be both necessary and sufficient. For example, at present, "today is the
1081:
913:
777:
336:
amed. Similarly, in order for human beings to live, it is necessary that they have air.
2505:
2434:
2391:
2273:
2244:
1286:
1259:
215:
2207:
41:"Necessary But Not Sufficient" redirects here. For the novel by Eliyahu Goldratt, see
2719:
2690:
2685:
2675:
2609:
2537:
2422:
2181:
2158:
2085:
2060:
2010:
883:
69:
2231:
836:
since to state "John is a bachelor" implies John has each of those three additional
2624:
2350:
2345:
2148:
2114:
890:
172:
168:
2118:
1981:
2470:
2412:
2290:
1724:
226:. This conditional statement may be written in several equivalent ways, such as "
2724:
2417:
2396:
2311:
1928:
1918:
1879:
1616:
1329:
1317:
735:
494:
161:
2232:"Classical Theory of Concepts, the | Internet Encyclopedia of Philosophy"
2153:
2754:
2574:
2515:
2298:
2162:
1956:
1325:
1199:
1080:. None of these three necessary conditions by itself is sufficient, but the
711:
2564:
2386:
1949:
1716:
1211:
2599:
2594:
2547:
2264:. Contexts in which extension is all that matters are, naturally, called
1344:
1305:
1216:
1195:
937:
313:
160:
sufficient" condition of another means that the former statement is true
97:
53:
2542:
2510:
2475:
2104:
706:
223:
1612:
One may summarize any, and thus all, of these cases by the statement "
2604:
2465:
2376:
1913:
1744:
183:
179:
31:
2525:
2178:
Sets, Functions and Logic / An
Introduction to Abstract Mathematics
1414:
1228:
1093:
27:
Terms to describe a conditional relationship between two statements
2589:
2520:
1223:
879:
2427:
2208:"The Concept of Necessary Conditions and Sufficient Conditions"
2007:
Proofs and
Fundamentals: A First Course in Abstract Mathematics
1442:
1240:
1727:
if it is possible to assign to each of its vertices the color
2619:
2334:
49:
2579:
1867:{\displaystyle P\Leftrightarrow Q\equiv Q\Leftrightarrow P}
324:
being true. For example, in order for someone to be called
2057:
Managing
Science: Methodology and Organization of Research
1122:
to be false does not meet a minimal need to conclude that
1460:
2303:
1328:". Similarly, a necessary and sufficient condition for
1320:" is a necessary and sufficient condition for "today is
1313:) (since there are real numbers that are not rational).
1754:
In mathematics, theorems are often stated in the form "
1350:
Mathematically speaking, necessity and sufficiency are
2268:, while contexts in which extension is not enough are
2029:
2132:
Richter, Nicole
Franziska; Hauff, Sven (2022-08-01).
1842:
1800:
1771:
1680:
1654:
1628:
1568:
1531:
1497:
1289:
1262:
1129:
The logical relation is, as before, expressed as "if
1059:
1033:
991:
965:
922:
898:
608:
581:
554:
506:
446:
420:
394:
316:" immediately below). In other words, the antecedent
2272:. Mathematics is typically extensional throughout."
2180:(3rd ed.), Chapman & Hall, pp. 22–23,
2032:"Confusion of Necessary with a Sufficient Condition"
182:, necessity and sufficiency can refer to different
1866:
1812:
1783:
1705:{\displaystyle P\Rightarrow Q\land Q\Rightarrow P}
1704:
1666:
1640:
1593:{\displaystyle P\Rightarrow Q\land Q\Rightarrow P}
1592:
1543:
1509:
1295:
1268:
1065:
1039:
997:
971:
928:
904:
620:
593:
566:
518:
458:
432:
406:
734:is true" or "if Q is false, then P is false". By
388:condition requires that both of the implications
373:ocrates is sufficient to know that someone has a
2752:
1114:to be true is adequate grounds to conclude that
330:ocrates, it is necessary for that someone to be
1554:equivalently, it may be understood to say that
2113:(Databases and Information Systems VII): 175.
1393:) of objects, events, or statements for which
1224:Relationship between necessity and sufficiency
2319:
1909:Biological tests of necessity and sufficiency
474:, while the second implication suggests that
2131:
1397:holds true; then asserting the necessity of
466:) hold. The first implication suggests that
440:(the latter of which can also be written as
2256:"Meanings, in this sense, are often called
2326:
2312:
289:In the above situation of "N whenever S,"
148:not being true does not always imply that
108:. (Equivalently, it is impossible to have
68:or implicational relationship between two
2152:
2079:
1982:"[M06] Necessity and sufficiency"
2073:
1227:
1092:
705:
1370:" is equivalent to the assertion that "
1012:. It is also necessary that for every
783:). It may also be expressed as any of "
14:
2753:
2175:
1461:Simultaneous necessity and sufficiency
1425:), while asserting the sufficiency of
738:, this is the same thing as "whenever
34:. For the concepts in statistics, see
2307:
2107:Databases and Information Systems VII
2098:
2084:. East Sussex, UK: Psychology Press.
2030:Confusion-of-Necessary (2019-05-15).
2004:
1934:Material implication (disambiguation)
1283:) is sufficient but not necessary to
1248:) is necessary but not sufficient to
2238:
2202:
2200:
2198:
2196:
2054:
1976:
1974:
1354:to one another. For any statements
1020:there exist a corresponding element
312:is to be true (see third column of "
218:, and the expression represented by
43:Necessary But Not Sufficient (novel)
2501:Analytic and synthetic propositions
2372:Formal semantics (natural language)
2292:Necessary and Sufficient Conditions
2059:. New York: Springer. p. 247.
2048:
1600:, which can also be stated as each
24:
1667:{\displaystyle P\Leftrightarrow Q}
1641:{\displaystyle P\Leftrightarrow Q}
1145:". This can also be expressed as "
1098:through other means of transport).
621:{\displaystyle S\Leftrightarrow N}
519:{\displaystyle S\Leftrightarrow N}
202:In the conditional statement, "if
25:
2787:
2283:
2193:
1971:
1735:in such a way that every edge of
210:", the expression represented by
2713:
2289:Critical thinking web tutorial:
2274:Stanford University primer, 2006
2245:Stanford University primer, 2006
1832:is necessary and sufficient for
1824:is necessary and sufficient for
1475:is necessary and sufficient for
486:is necessary and sufficient for
192:qualitative comparative analysis
2250:
2224:
1433:is equivalent to claiming that
1405:is equivalent to claiming that
726:is colloquially equivalent to "
140:being true always implies that
2169:
2125:
2023:
1998:
1939:Principle of sufficient reason
1858:
1846:
1813:{\displaystyle Q\Rightarrow P}
1804:
1775:
1696:
1684:
1658:
1632:
1584:
1572:
1544:{\displaystyle P\Rightarrow Q}
1535:
1501:
1088:
612:
585:
567:{\displaystyle S\Rightarrow N}
558:
510:
470:is a sufficient condition for
450:
433:{\displaystyle N\Rightarrow S}
424:
407:{\displaystyle S\Rightarrow N}
398:
197:
104:is guaranteed by the truth of
13:
1:
2119:10.3233/978-1-61499-161-8-175
1964:
1874:and say that the statements "
1784:{\displaystyle P\Leftarrow Q}
1648:, whereas cases tell us that
1510:{\displaystyle P\Leftarrow Q}
749:The logical relation between
594:{\displaystyle S\Leftarrow N}
478:is a necessary condition for
459:{\displaystyle S\Leftarrow N}
64:are terms used to describe a
1562:is necessary for the other,
940:. It is also necessary that
701:
188:necessary condition analysis
7:
1896:
10:
2792:
2009:. Springer. pp. 8–9.
1464:
1118:is true; however, knowing
1076:equal the special element
944:include a special element
40:
29:
2761:Necessity and sufficiency
2708:
2668:
2640:
2633:
2585:Necessity and sufficiency
2488:
2453:
2405:
2359:
2341:
2333:
2297:Simon Fraser University:
2260:, and things designated,
2154:10.1016/j.jwb.2022.101310
2141:Journal of World Business
2080:Manktelow, K. I. (1999).
1893:is true" are equivalent.
602:
575:
548:
541:
534:
2776:Mathematical terminology
2055:Betz, Frederick (2011).
2005:Bloch, Ethan D. (2011).
1904:Affirming the consequent
482:. This is expressed as "
385:necessary and sufficient
363:guarantees the truth of
2771:Metaphysical properties
1889:is true if and only if
1758:is true if and only if
1622:", which is denoted by
916:, it is necessary that
320:cannot be true without
120:ensures the falsity of
2299:Concepts with examples
2176:Devlin, Keith (2004),
2082:Reasoning and Thinking
1924:Denying the antecedent
1868:
1814:
1785:
1747:, they have identical
1706:
1668:
1642:
1594:
1545:
1511:
1479:is to say two things:
1362:, the assertion that "
1297:
1270:
1234:
1099:
1067:
1066:{\displaystyle \star }
1041:
1040:{\displaystyle \star }
999:
998:{\displaystyle \star }
973:
972:{\displaystyle \star }
956:, it is the case that
930:
929:{\displaystyle \star }
906:
905:{\displaystyle \star }
730:cannot be true unless
715:
622:
595:
568:
520:
460:
434:
408:
72:. For example, in the
2720:Philosophy portal
1869:
1815:
1786:
1707:
1669:
1643:
1595:
1546:
1512:
1298:
1271:
1256:), and that a number
1231:
1210:That the center of a
1096:
1068:
1042:
1000:
974:
931:
907:
709:
623:
596:
569:
521:
461:
435:
409:
74:conditional statement
1944:Wason selection task
1840:
1798:
1769:
1678:
1652:
1626:
1566:
1529:
1495:
1467:Material equivalence
1287:
1260:
1057:
1031:
989:
963:
948:such that for every
920:
896:
757:is expressed as "if
606:
579:
552:
504:
444:
418:
392:
116:, or the falsity of
36:Sufficient statistic
18:Sufficient condition
2382:Philosophy of logic
718:The assertion that
531:
2681:Rules of inference
2650:Mathematical logic
2392:Semantics of logic
1864:
1810:
1781:
1702:
1664:
1638:
1590:
1541:
1521:is sufficient for
1507:
1374:is sufficient for
1293:
1266:
1235:
1106:is sufficient for
1100:
1063:
1037:
995:
969:
926:
902:
716:
618:
591:
564:
529:
516:
456:
430:
404:
2766:Concepts in logic
2748:
2747:
2704:
2703:
2538:Deductive closure
2484:
2483:
2423:Critical thinking
2187:978-1-58488-449-1
2066:978-1-4419-7487-7
2016:978-1-4419-7126-5
1986:philosophy.hku.hk
1602:is sufficient for
1487:is necessary for
1366:is necessary for
1296:{\displaystyle x}
1269:{\displaystyle x}
1024:, such that both
889:together with an
722:is necessary for
699:
698:
339:One can also say
16:(Redirected from
2783:
2718:
2717:
2716:
2638:
2637:
2403:
2402:
2367:Computer science
2328:
2321:
2314:
2305:
2304:
2277:
2254:
2248:
2242:
2236:
2235:
2228:
2222:
2221:
2219:
2218:
2204:
2191:
2190:
2173:
2167:
2166:
2156:
2138:
2129:
2123:
2122:
2102:
2096:
2095:
2077:
2071:
2070:
2052:
2046:
2045:
2043:
2042:
2027:
2021:
2020:
2002:
1996:
1995:
1993:
1992:
1978:
1885:, is true" and "
1873:
1871:
1870:
1865:
1819:
1817:
1816:
1811:
1790:
1788:
1787:
1782:
1715:For example, in
1711:
1709:
1708:
1703:
1674:is identical to
1673:
1671:
1670:
1665:
1647:
1645:
1644:
1639:
1599:
1597:
1596:
1591:
1550:
1548:
1547:
1542:
1516:
1514:
1513:
1508:
1322:Independence Day
1302:
1300:
1299:
1294:
1275:
1273:
1272:
1267:
1084:of the three is.
1072:
1070:
1069:
1064:
1046:
1044:
1043:
1038:
1004:
1002:
1001:
996:
978:
976:
975:
970:
935:
933:
932:
927:
911:
909:
908:
903:
627:
625:
624:
619:
600:
598:
597:
592:
573:
571:
570:
565:
546:
545:
539:
538:
532:
528:
525:
523:
522:
517:
465:
463:
462:
457:
439:
437:
436:
431:
413:
411:
410:
405:
293:is said to be a
277:
267:
173:natural language
169:ordinary English
151:
147:
143:
139:
135:
127:
123:
119:
115:
111:
107:
103:
95:
87:
83:
79:
21:
2791:
2790:
2786:
2785:
2784:
2782:
2781:
2780:
2751:
2750:
2749:
2744:
2714:
2712:
2700:
2664:
2655:Boolean algebra
2629:
2480:
2471:Metamathematics
2449:
2401:
2355:
2337:
2332:
2286:
2281:
2280:
2255:
2251:
2243:
2239:
2230:
2229:
2225:
2216:
2214:
2206:
2205:
2194:
2188:
2174:
2170:
2136:
2130:
2126:
2103:
2099:
2092:
2078:
2074:
2067:
2053:
2049:
2040:
2038:
2036:www.txstate.edu
2028:
2024:
2017:
2003:
1999:
1990:
1988:
1980:
1979:
1972:
1967:
1962:
1899:
1841:
1838:
1837:
1836:. We can write
1799:
1796:
1795:
1770:
1767:
1766:
1679:
1676:
1675:
1653:
1650:
1649:
1627:
1624:
1623:
1567:
1564:
1563:
1530:
1527:
1526:
1496:
1493:
1492:
1469:
1463:
1288:
1285:
1284:
1261:
1258:
1257:
1226:
1110:, then knowing
1091:
1058:
1055:
1054:
1032:
1029:
1028:
990:
987:
986:
964:
961:
960:
921:
918:
917:
897:
894:
893:
765:" and denoted "
742:is true, so is
704:
607:
604:
603:
580:
577:
576:
553:
550:
549:
543:
542:
536:
535:
505:
502:
501:
445:
442:
441:
419:
416:
415:
393:
390:
389:
269:
259:
200:
149:
145:
141:
137:
133:
125:
121:
117:
113:
109:
105:
101:
93:
85:
81:
77:
46:
39:
28:
23:
22:
15:
12:
11:
5:
2789:
2779:
2778:
2773:
2768:
2763:
2746:
2745:
2743:
2742:
2737:
2727:
2722:
2709:
2706:
2705:
2702:
2701:
2699:
2698:
2693:
2688:
2683:
2678:
2672:
2670:
2666:
2665:
2663:
2662:
2657:
2652:
2646:
2644:
2635:
2631:
2630:
2628:
2627:
2622:
2617:
2612:
2607:
2602:
2597:
2592:
2587:
2582:
2577:
2572:
2567:
2562:
2561:
2560:
2550:
2545:
2540:
2535:
2530:
2529:
2528:
2523:
2513:
2508:
2503:
2498:
2492:
2490:
2486:
2485:
2482:
2481:
2479:
2478:
2473:
2468:
2463:
2457:
2455:
2451:
2450:
2448:
2447:
2442:
2437:
2432:
2431:
2430:
2425:
2415:
2409:
2407:
2400:
2399:
2394:
2389:
2384:
2379:
2374:
2369:
2363:
2361:
2357:
2356:
2354:
2353:
2348:
2342:
2339:
2338:
2331:
2330:
2323:
2316:
2308:
2302:
2301:
2295:
2285:
2284:External links
2282:
2279:
2278:
2249:
2237:
2223:
2192:
2186:
2168:
2124:
2097:
2090:
2072:
2065:
2047:
2022:
2015:
1997:
1969:
1968:
1966:
1963:
1961:
1960:
1953:
1946:
1941:
1936:
1931:
1929:If and only if
1926:
1921:
1919:Closed concept
1916:
1911:
1906:
1900:
1898:
1895:
1880:if and only if
1863:
1860:
1857:
1854:
1851:
1848:
1845:
1809:
1806:
1803:
1780:
1777:
1774:
1701:
1698:
1695:
1692:
1689:
1686:
1683:
1663:
1660:
1657:
1637:
1634:
1631:
1617:if and only if
1610:
1609:
1589:
1586:
1583:
1580:
1577:
1574:
1571:
1552:
1540:
1537:
1534:
1506:
1503:
1500:
1462:
1459:
1343:has a nonzero
1318:Fourth of July
1292:
1265:
1225:
1222:
1221:
1220:
1208:
1204:
1203:
1191:
1187:
1186:
1182:
1178:
1177:
1174:
1170:
1169:
1166:
1090:
1087:
1086:
1085:
1062:
1036:
994:
968:
925:
901:
876:
872:
871:
867:
863:
862:
859:does not cause
854:
850:
849:
846:
842:
841:
834:
833:
832:
829:
826:
820:
736:contraposition
703:
700:
697:
696:
693:
690:
687:
684:
680:
679:
676:
673:
670:
667:
663:
662:
659:
656:
653:
650:
646:
645:
642:
639:
636:
633:
629:
628:
617:
614:
611:
601:
590:
587:
584:
574:
563:
560:
557:
547:
540:
515:
512:
509:
495:if and only if
455:
452:
449:
429:
426:
423:
403:
400:
397:
347:condition for
297:condition for
254:is implied by
222:is called the
214:is called the
199:
196:
186:logics, where
180:data analytics
162:if and only if
124:.) Similarly,
96:, because the
26:
9:
6:
4:
3:
2:
2788:
2777:
2774:
2772:
2769:
2767:
2764:
2762:
2759:
2758:
2756:
2741:
2738:
2735:
2731:
2728:
2726:
2723:
2721:
2711:
2710:
2707:
2697:
2696:Logic symbols
2694:
2692:
2689:
2687:
2684:
2682:
2679:
2677:
2674:
2673:
2671:
2667:
2661:
2658:
2656:
2653:
2651:
2648:
2647:
2645:
2643:
2639:
2636:
2632:
2626:
2623:
2621:
2618:
2616:
2613:
2611:
2608:
2606:
2603:
2601:
2598:
2596:
2593:
2591:
2588:
2586:
2583:
2581:
2578:
2576:
2575:Logical truth
2573:
2571:
2568:
2566:
2563:
2559:
2556:
2555:
2554:
2551:
2549:
2546:
2544:
2541:
2539:
2536:
2534:
2531:
2527:
2524:
2522:
2519:
2518:
2517:
2516:Contradiction
2514:
2512:
2509:
2507:
2504:
2502:
2499:
2497:
2494:
2493:
2491:
2487:
2477:
2474:
2472:
2469:
2467:
2464:
2462:
2461:Argumentation
2459:
2458:
2456:
2452:
2446:
2445:Philosophical
2443:
2441:
2440:Non-classical
2438:
2436:
2433:
2429:
2426:
2424:
2421:
2420:
2419:
2416:
2414:
2411:
2410:
2408:
2404:
2398:
2395:
2393:
2390:
2388:
2385:
2383:
2380:
2378:
2375:
2373:
2370:
2368:
2365:
2364:
2362:
2358:
2352:
2349:
2347:
2344:
2343:
2340:
2336:
2329:
2324:
2322:
2317:
2315:
2310:
2309:
2306:
2300:
2296:
2294:
2293:
2288:
2287:
2275:
2271:
2267:
2263:
2259:
2253:
2246:
2241:
2233:
2227:
2213:
2209:
2203:
2201:
2199:
2197:
2189:
2183:
2179:
2172:
2164:
2160:
2155:
2150:
2147:(5): 101310.
2146:
2142:
2135:
2128:
2120:
2116:
2112:
2108:
2101:
2093:
2091:0-86377-708-2
2087:
2083:
2076:
2068:
2062:
2058:
2051:
2037:
2033:
2026:
2018:
2012:
2008:
2001:
1987:
1983:
1977:
1975:
1970:
1959:
1958:
1957:Modus tollens
1954:
1952:
1951:
1947:
1945:
1942:
1940:
1937:
1935:
1932:
1930:
1927:
1925:
1922:
1920:
1917:
1915:
1912:
1910:
1907:
1905:
1902:
1901:
1894:
1892:
1888:
1884:
1881:
1877:
1861:
1855:
1852:
1849:
1843:
1835:
1831:
1827:
1823:
1807:
1801:
1794:
1793:equivalent to
1778:
1772:
1763:
1761:
1757:
1752:
1750:
1746:
1742:
1738:
1734:
1730:
1726:
1722:
1718:
1713:
1699:
1693:
1690:
1687:
1681:
1661:
1655:
1635:
1629:
1621:
1618:
1615:
1607:
1603:
1587:
1581:
1578:
1575:
1569:
1561:
1557:
1553:
1538:
1532:
1524:
1520:
1504:
1498:
1490:
1486:
1482:
1481:
1480:
1478:
1474:
1468:
1458:
1454:
1452:
1448:
1444:
1440:
1436:
1432:
1428:
1424:
1420:
1416:
1412:
1408:
1404:
1400:
1396:
1392:
1388:
1385:with the set
1384:
1381:
1377:
1373:
1369:
1365:
1361:
1357:
1353:
1348:
1346:
1342:
1338:
1335:
1331:
1330:invertibility
1327:
1326:United States
1323:
1319:
1314:
1312:
1308:
1307:
1290:
1282:
1278:
1263:
1255:
1251:
1247:
1243:
1242:
1230:
1218:
1213:
1209:
1206:
1205:
1201:
1197:
1192:
1189:
1188:
1183:
1180:
1179:
1175:
1172:
1171:
1167:
1164:
1163:
1162:
1160:
1156:
1152:
1148:
1144:
1140:
1136:
1132:
1127:
1125:
1121:
1117:
1113:
1109:
1105:
1095:
1083:
1079:
1075:
1060:
1053:
1049:
1034:
1027:
1023:
1019:
1015:
1011:
1007:
992:
985:
981:
966:
959:
955:
951:
947:
943:
939:
923:
915:
899:
892:
888:
885:
881:
877:
874:
873:
868:
865:
864:
860:
855:
852:
851:
847:
844:
843:
839:
835:
830:
827:
824:
823:
821:
818:
817:
816:
814:
810:
806:
802:
798:
794:
790:
786:
782:
779:
776:
772:
768:
764:
760:
756:
752:
747:
745:
741:
737:
733:
729:
725:
721:
713:
708:
694:
691:
688:
685:
682:
681:
677:
674:
671:
668:
665:
664:
660:
657:
654:
651:
648:
647:
643:
640:
637:
634:
631:
630:
615:
609:
588:
582:
561:
555:
533:
527:
513:
507:
499:
496:
493:
489:
485:
481:
477:
473:
469:
453:
447:
427:
421:
401:
395:
387:
386:
380:
378:
377:
372:
371:
366:
362:
358:
354:
350:
346:
342:
337:
335:
334:
329:
328:
323:
319:
315:
311:
307:
304:
300:
296:
292:
287:
285:
281:
276:
272:
266:
262:
257:
253:
249:
245:
241:
237:
233:
229:
225:
221:
217:
213:
209:
205:
195:
193:
189:
185:
181:
176:
174:
170:
165:
163:
159:
153:
152:is not true.
144:is true, but
131:
99:
91:
75:
71:
67:
63:
59:
55:
51:
44:
37:
33:
19:
2615:Substitution
2584:
2435:Mathematical
2360:Major fields
2291:
2269:
2265:
2261:
2257:
2252:
2240:
2226:
2215:. Retrieved
2211:
2177:
2171:
2144:
2140:
2127:
2110:
2106:
2100:
2081:
2075:
2056:
2050:
2039:. Retrieved
2035:
2025:
2006:
2000:
1989:. Retrieved
1985:
1955:
1950:Modus ponens
1948:
1890:
1886:
1882:
1875:
1833:
1829:
1825:
1821:
1764:
1759:
1755:
1753:
1736:
1732:
1728:
1720:
1717:graph theory
1714:
1619:
1613:
1611:
1605:
1601:
1559:
1555:
1522:
1518:
1488:
1484:
1476:
1472:
1471:To say that
1470:
1455:
1450:
1446:
1438:
1434:
1430:
1426:
1422:
1418:
1410:
1406:
1402:
1398:
1394:
1390:
1386:
1382:
1375:
1371:
1367:
1363:
1359:
1355:
1349:
1340:
1336:
1315:
1310:
1303:
1280:
1276:
1253:
1249:
1245:
1238:
1236:
1212:playing card
1158:
1154:
1150:
1146:
1142:
1138:
1134:
1130:
1128:
1123:
1119:
1115:
1111:
1107:
1103:
1101:
1077:
1073:
1051:
1047:
1025:
1021:
1017:
1013:
1009:
1005:
983:
979:
957:
953:
949:
945:
941:
886:
858:
812:
808:
804:
800:
796:
792:
788:
784:
780:
774:
770:
766:
762:
758:
754:
750:
748:
743:
739:
731:
727:
723:
719:
717:
530:Truth table
497:
491:
487:
483:
479:
475:
471:
467:
384:
383:
381:
375:
374:
369:
368:
364:
360:
356:
352:
348:
344:
340:
338:
332:
331:
326:
325:
321:
317:
309:
305:
302:
298:
294:
290:
288:
283:
279:
274:
270:
264:
260:
255:
251:
247:
243:
239:
235:
231:
227:
219:
211:
207:
203:
201:
177:
166:
157:
154:
129:
89:
61:
57:
47:
2730:WikiProject
2600:Proposition
2595:Probability
2548:Description
2489:Foundations
2270:intensional
2266:extensional
1762:is true".
1517:, and that
1345:determinant
1306:real number
1277:is rational
1250:being human
1217:disjunction
1089:Sufficiency
1082:conjunction
1008:both equal
938:associative
882:, for some
314:truth table
308:be true—if
198:Definitions
66:conditional
62:sufficiency
54:mathematics
2755:Categories
2660:Set theory
2558:Linguistic
2553:Entailment
2543:Definition
2511:Consequent
2506:Antecedent
2262:extensions
2258:intensions
2217:2019-12-02
2212:www.sfu.ca
2041:2019-12-02
1991:2019-12-02
1965:References
1723:is called
1608:the other.
1465:See also:
1126:is false.
912:to form a
838:predicates
825:unmarried,
345:sufficient
224:consequent
216:antecedent
136:, because
130:sufficient
70:statements
2691:Fallacies
2686:Paradoxes
2676:Logicians
2610:Statement
2605:Reference
2570:Induction
2533:Deduction
2496:Abduction
2466:Metalogic
2413:Classical
2377:Inference
2163:1090-9516
1914:Causality
1859:⇔
1853:≡
1847:⇔
1805:⇒
1776:⇐
1749:extension
1745:intension
1725:bipartite
1697:⇒
1691:∧
1685:⇒
1659:⇔
1633:⇔
1585:⇒
1579:∧
1573:⇒
1536:⇒
1502:⇐
1380:predicate
1207:Example 5
1190:Example 4
1181:Example 3
1173:Example 2
1165:Example 1
1061:⋆
1035:⋆
993:⋆
967:⋆
924:⋆
900:⋆
891:operation
875:Example 5
866:Example 4
853:Example 3
845:Example 2
819:Example 1
803:whenever
702:Necessity
613:⇔
586:⇐
559:⇒
511:⇔
451:⇐
425:⇒
399:⇒
355:is true,
295:necessary
282:whenever
90:necessary
58:necessity
32:Causality
2725:Category
2625:Validity
2526:Antinomy
2454:Theories
2418:Informal
1897:See also
1878:is true
1719:a graph
1415:superset
1339:is that
1304:being a
1239:being a
1200:override
1157:implies
1149:only if
1052:x″
1048:x″
1022:x″
807:", and "
787:only if
246:implies
238:only if
112:without
2740:changes
2732: (
2590:Premise
2521:Paradox
2351:History
2346:Outline
1828:, then
1606:implies
1441:) is a
1413:) is a
1324:in the
1233:region.
1133:, then
880:algebra
778:implies
761:, then
712:eclipse
206:, then
2642:topics
2428:Reason
2406:Logics
2397:Syntax
2184:
2161:
2088:
2063:
2013:
1741:cycles
1443:subset
1334:matrix
1241:mammal
1137:" or "
831:adult,
500:", or
184:causal
171:(also
76:: "If
2669:other
2634:Lists
2620:Truth
2387:Proof
2335:Logic
2137:(PDF)
1820:, if
1733:white
1729:black
1483:that
1332:of a
1185:bolt.
914:group
828:male,
811:when
795:, if
379:ame.
343:is a
278:and "
98:truth
80:then
50:logic
2734:talk
2580:Name
2565:Form
2182:ISBN
2159:ISSN
2086:ISBN
2061:ISBN
2011:ISBN
1558:and
1429:for
1401:for
1358:and
1352:dual
1196:veto
1153:", "
1050:and
982:and
870:old.
799:", "
791:", "
753:and
490:", "
414:and
306:must
250:", "
242:", "
234:", "
190:and
132:for
92:for
60:and
52:and
2476:Set
2149:doi
2115:doi
2111:249
1791:is
1731:or
1604:or
1491:,
1453:).
1445:of
1417:of
1102:If
1016:in
952:in
936:be
884:set
878:In
773:" (
746:".
286:".
258:",
230:if
178:In
167:In
158:and
128:is
100:of
88:is
84:",
48:In
2757::
2210:.
2195:^
2157:.
2145:57
2143:.
2139:.
2109:.
2034:.
1984:.
1973:^
1751:.
1712:.
1525:,
1347:.
1202:).
1141:⇒
769:⇒
695:T
678:F
661:F
644:T
526:.
382:A
273:⇒
268:,
263:→
56:,
2736:)
2327:e
2320:t
2313:v
2276:.
2247:.
2234:.
2220:.
2165:.
2151::
2121:.
2117::
2094:.
2069:.
2044:.
2019:.
1994:.
1891:P
1887:Q
1883:Q
1876:P
1862:P
1856:Q
1850:Q
1844:P
1834:P
1830:Q
1826:Q
1822:P
1808:P
1802:Q
1779:Q
1773:P
1760:Q
1756:P
1737:G
1721:G
1700:P
1694:Q
1688:Q
1682:P
1662:Q
1656:P
1636:Q
1630:P
1620:Q
1614:P
1588:P
1582:Q
1576:Q
1570:P
1560:Q
1556:P
1551:.
1539:Q
1533:P
1523:Q
1519:P
1505:Q
1499:P
1489:Q
1485:P
1477:Q
1473:P
1451:N
1449:(
1447:T
1439:S
1437:(
1435:T
1431:N
1427:S
1423:S
1421:(
1419:T
1411:N
1409:(
1407:T
1403:S
1399:N
1395:N
1391:N
1389:(
1387:T
1383:N
1376:N
1372:S
1368:S
1364:N
1360:N
1356:S
1341:M
1337:M
1311:N
1309:(
1291:x
1281:S
1279:(
1264:x
1254:S
1252:(
1246:N
1244:(
1159:Q
1155:P
1151:Q
1147:P
1143:Q
1139:P
1135:Q
1131:P
1124:Q
1120:P
1116:Q
1112:P
1108:Q
1104:P
1078:e
1074:x
1026:x
1018:S
1014:x
1010:x
1006:e
984:x
980:x
958:e
954:S
950:x
946:e
942:S
887:S
840:.
813:P
809:Q
805:P
801:Q
797:P
793:Q
789:Q
785:P
781:Q
775:P
771:Q
767:P
763:Q
759:P
755:Q
751:P
744:Q
740:P
732:Q
728:P
724:P
720:Q
714:.
692:T
689:T
686:F
683:F
675:F
672:T
669:T
666:F
658:T
655:F
652:F
649:T
641:T
638:T
635:T
632:T
616:N
610:S
589:N
583:S
562:N
556:S
544:N
537:S
514:N
508:S
498:N
492:S
488:N
484:S
480:N
476:S
472:N
468:S
454:N
448:S
428:S
422:N
402:N
396:S
376:N
370:S
365:N
361:S
357:N
353:S
349:N
341:S
333:N
327:S
322:N
318:S
310:S
303:N
299:S
291:N
284:S
280:N
275:N
271:S
265:N
261:S
256:S
252:N
248:N
244:S
240:N
236:S
232:S
228:N
220:N
212:S
208:N
204:S
150:Q
146:P
142:Q
138:P
134:Q
126:P
122:P
118:Q
114:Q
110:P
106:P
102:Q
94:P
86:Q
82:Q
78:P
45:.
38:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.