8849:
6394:
5683:
1460:
45:
124:
6383:
6077:
5093:
to a canonical
Boolean, ie. an integer with a value of either 0 or 1 and no other. Although any integer other than 0 is logically true in C and 1 is not special in this regard, it is sometimes important to ensure that a canonical value is used, for example for printing or if the number is
4912:" or the negative sign since this is equivalent to taking the arithmetic negative value of the number) as it basically creates the opposite (negative value equivalent) or mathematical complement of the value (where both values are added together they create a whole).
5081:
Inverting the condition and reversing the outcomes produces code that is logically equivalent to the original code, i.e. will have identical results for any input (depending on the compiler used, the actual instructions performed by the computer may differ).
3736:
3939:
4588:
is false (classically) or refutable (intuitionistically) or etc.). Negation elimination states that anything follows from an absurdity. Sometimes negation elimination is formulated using a primitive absurdity sign
4284:
4179:
4117:
3468:
3407:
2886:
3129:, a proposition implies its double negation, but not conversely. This marks one important difference between classical and intuitionistic negation. Algebraically, classical negation is called an
3813:
3585:
2824:
5458:
Tettamanti, Marco; Manenti, Rosa; Della Rosa, Pasquale A.; Falini, Andrea; Perani, Daniela; Cappa, Stefano F.; Moro, Andrea (2008). "Negation in the brain: Modulating action representation".
4003:
3176:
3289:
3257:
4747:
3590:
823:
1250:
765:
678:
5868:
890:
551:
3123:
2393:
1631:
1487:
1209:
849:
4722:
3315:
3225:
2066:
525:
951:
306:
5897:
3025:
7228:
2556:
1658:
1032:
2225:
797:
637:
585:
465:
5973:
4222:
2163:
1744:
1362:
1310:
916:
5998:
5773:
2713:
2254:
2086:
1167:
5944:
5744:
4503:
704:
2687:
1336:
611:
5719:
1276:
499:
230:
196:
163:
77:
7903:
6112:
4055:
4035:
436:
387:
361:
3497:
2503:
1141:
1089:
730:
6027:
4676:
4650:
4449:
4396:
4373:
3199:
2947:
2751:
2348:
2187:
2040:
1994:
1943:
1893:
1870:
1604:
1055:
982:
6064:
5839:
5802:
5673:
4607:
2973:
2921:
2274:
2134:
2110:
2999:
111:
1115:
2656:
2605:
2467:
2430:
1005:
410:
5627:
4696:
4627:
4586:
4566:
4546:
4523:
4469:
4426:
4350:
4330:
3091:
3067:
1970:
1913:
1847:
1785:
1765:
1698:
1678:
1581:
1561:
1541:
4652:
follows an absurdity. Together with double negation elimination one may infer our originally formulated rule, namely that anything follows from an absurdity.
8888:
7986:
7127:
3320:
As a result, in the propositional case, a sentence is classically provable if its double negation is intuitionistically provable. This result is known as
6429:
6903:
2296:
299:
8300:
2311:
is notated in different ways, in various contexts of discussion and fields of application. The following table documents some of these variants:
3839:
8458:
5286:
7246:
8313:
7636:
6105:
1473:
6771:
6438:
5512:
292:
7898:
8318:
8308:
8045:
7251:
5598:
7796:
7242:
8454:
5620:
5341:
5574:
5562:
8551:
8295:
7120:
5586:
4227:
4122:
4060:
7856:
7549:
7290:
6858:
6098:
3414:
3353:
1480:
6512:
2829:
8812:
8514:
8277:
8272:
8097:
7518:
7202:
6979:
6853:
6422:
8807:
8590:
8507:
8220:
8151:
8028:
7270:
6631:
6452:
5531:
4897:
4854:
4304:
There are a number of equivalent ways to formulate rules for negation. One usual way to formulate classical negation in a
7878:
3741:
3513:
2786:
8878:
8732:
8558:
8244:
7477:
5613:
1463:
7883:
8215:
7954:
7212:
7113:
6517:
5526:
5430:
4846:
4818:
3321:
2288:
8610:
8605:
2783:: ¬ has higher precedence than ∧, ∧ higher than ∨, and ∨ higher than →. So for example,
6605:
8539:
8129:
7523:
7491:
7182:
6999:
6661:
6482:
6363:
6358:
3944:
3143:
7256:
3262:
8883:
8829:
8778:
8675:
8173:
8134:
7611:
7004:
6954:
6716:
6415:
5358:
5249:
2284:
1521:
24:
8670:
7285:
4525:). One obtains the rules for intuitionistic negation the same way but by excluding double negation elimination.
3731:{\displaystyle f(b_{1},b_{2},\dots ,b_{n})=a_{0}\oplus (a_{1}\land b_{1})\oplus \dots \oplus (a_{n}\land b_{n})}
8600:
8139:
7991:
7974:
7697:
7177:
7059:
6923:
6502:
6347:
5151:
5138:
5134:
4850:
4806:
3130:
20:
3230:
802:
8502:
8479:
8440:
8326:
8267:
7913:
7833:
7677:
7621:
7234:
7054:
6600:
5977:
5948:
5392:
1517:
1410:
1222:
735:
650:
169:
136:
5853:
862:
530:
8792:
8519:
8497:
8464:
8357:
8203:
8188:
8161:
8112:
7996:
7931:
7756:
7722:
7717:
7591:
7422:
7399:
7084:
6756:
6726:
6701:
6641:
6540:
6472:
5379:
4810:
1720:
1380:
3096:
2371:
1609:
1180:
828:
8722:
8575:
8367:
8085:
7821:
7727:
7586:
7571:
7452:
7427:
6984:
6878:
6843:
6731:
6706:
6550:
6467:
6122:
5872:
5818:
4889:
4701:
3336:
3294:
3204:
2727:
2045:
504:
471:
271:
8848:
6393:
921:
5882:
5682:
3010:
2201:, where contradictions are not necessarily false. In classical logic, we also get a further identity,
8695:
8657:
8534:
8338:
8178:
8102:
8080:
7908:
7866:
7765:
7732:
7596:
7384:
7295:
6969:
6776:
6555:
6295:
6283:
5748:
5202:
4881:, which allows sometimes, when the compiler/interpreter is not able to optimize it, faster programs.
4861:. Some languages (C++, Perl, etc.) provide more than one operator for negation. A few languages like
4400:
3137:
3126:
3070:
2534:
2198:
2197:
is false, and while these ideas work in both classical and intuitionistic logic, they do not work in
1740:
1636:
1438:
1010:
557:
202:
4915:
To get the absolute (positive equivalent) value of a given integer the following would work as the "
2204:
776:
616:
564:
441:
8824:
8715:
8700:
8680:
8637:
8524:
8474:
8400:
8345:
8282:
8075:
8070:
8018:
7786:
7775:
7447:
7347:
7275:
7266:
7262:
7197:
7192:
7049:
6964:
6908:
6811:
6796:
6766:
6746:
6721:
6590:
6575:
6249:
6225:
6151:
6002:
5958:
5777:
5187:
4905:
4192:
3344:
3332:
2277:
2190:
2139:
2089:
1708:
1448:
1341:
1289:
1061:
895:
333:
44:
5983:
5758:
2692:
2230:
2071:
1146:
8873:
8853:
8622:
8585:
8570:
8563:
8546:
8332:
8198:
8124:
8107:
8060:
7873:
7782:
7616:
7601:
7561:
7513:
7498:
7486:
7442:
7417:
7187:
7136:
7094:
7019:
6994:
6959:
6939:
6868:
6848:
6786:
6781:
6691:
6681:
6666:
6610:
6398:
6291:
6197:
6193:
5929:
5729:
5637:
5483:
4724:. Then negation introduction and elimination are just special cases of implication introduction (
4482:
2774:
1704:
1443:
683:
322:
261:
8350:
7806:
2672:
1315:
590:
5704:
1255:
478:
209:
176:
143:
57:
8788:
8595:
8405:
8395:
8287:
8168:
8003:
7979:
7760:
7744:
7649:
7626:
7503:
7472:
7437:
7332:
7167:
7074:
7029:
7014:
6974:
6913:
6883:
6863:
6656:
6585:
6387:
6168:
6081:
5901:
5648:
5521:
5475:
5337:
5331:
5282:
5167:
4893:
4725:
4305:
4040:
4020:
4014:
1810:
1385:
415:
366:
340:
236:
4224:
means "a person x in all humans is mortal" or "all humans are mortal". The negation of it is
3482:
1120:
1068:
709:
8802:
8797:
8690:
8647:
8469:
8430:
8425:
8410:
8236:
8193:
8090:
7888:
7838:
7412:
7374:
7079:
7009:
6898:
6676:
6211:
6207:
6012:
5723:
5467:
5436:
5422:
5312:
5197:
5126:
4798:
4754:
4658:
4632:
4431:
4378:
4355:
3181:
2932:
2733:
2330:
2172:
2022:
1976:
1925:
1875:
1852:
1586:
1405:
1282:
1037:
964:
6049:
5824:
5787:
5658:
5303:
Richard E. Ladner (January 1975). "The circuit value problem is log space complete for P".
4592:
2958:
2906:
2259:
2119:
2095:
8783:
8773:
8727:
8710:
8665:
8627:
8529:
8449:
8256:
8183:
8156:
8144:
8050:
7964:
7938:
7893:
7861:
7662:
7464:
7407:
7357:
7322:
7280:
6888:
6791:
6686:
6651:
5594:
5507:
5451:
5375:
5182:
5101:
to signify negation occasionally surfaces in ordinary written speech, as computer-related
4299:
3831:
3504:
3046:
2984:
2780:
2659:
2292:
1724:
1701:
1390:
90:
3822:
of the operation, or it never makes a difference. Negation is a linear logical operator.
1094:
2638:
2587:
2483:
2449:
2412:
987:
392:
8768:
8747:
8705:
8685:
8580:
8435:
8033:
8023:
8013:
8008:
7942:
7816:
7692:
7581:
7576:
7554:
7155:
7069:
7064:
6989:
6873:
6751:
6646:
6487:
6334:
6330:
6322:
6308:
6279:
6237:
6233:
6221:
6137:
5905:
5694:
5570:
5558:
5177:
5130:
4681:
4612:
4571:
4551:
4531:
4508:
4454:
4411:
4335:
4315:
3076:
3052:
1955:
1898:
1832:
1770:
1750:
1728:
1683:
1663:
1566:
1546:
1526:
1400:
643:
6407:
5582:
8867:
8742:
8420:
7927:
7712:
7702:
7672:
7657:
7327:
6761:
6736:
6570:
6185:
6180:
6043:
6039:
5652:
5471:
2194:
2113:
1814:
1415:
5487:
8642:
8489:
8390:
8382:
8262:
8210:
8119:
8055:
8038:
7969:
7828:
7687:
7389:
7172:
7024:
6949:
6816:
6696:
6580:
6560:
6245:
6163:
6159:
5843:
4873:
for negation. Most modern languages allow the above statement to be shortened from
4730:
3818:
Another way to express this is that each variable always makes a difference in the
1215:
4528:
Negation introduction states that if an absurdity can be drawn as conclusion from
8752:
8632:
7811:
7801:
7748:
7432:
7352:
7337:
7217:
7162:
6944:
6918:
6801:
6565:
6492:
5952:
5919:
5549:
5172:
4057:(means "there exists"). The negation of one quantifier is the other quantifier (
3819:
3340:
1919:
1818:
1716:
1712:
1395:
855:
83:
5503:
4290:
in all humans who is not mortal", or "there exists someone who lives forever".
7682:
7537:
7508:
7314:
7089:
6741:
6507:
6462:
6457:
6318:
5752:
5408:
5224:
4822:
4746:"!vote" redirects here. For use of !votes in Knowledge (XXG) discussions, see
2666:
1433:
117:
5605:
8834:
8737:
7790:
7707:
7667:
7631:
7567:
7379:
7369:
7342:
6893:
6711:
6636:
6615:
6545:
6497:
6477:
6147:
5876:
5698:
5542:
5162:
2890:
Here is a table that shows a commonly used precedence of logical operators.
2779:
As a way of reducing the number of necessary parentheses, one may introduce
1173:
5479:
4748:
Knowledge (XXG):Polling is not a substitute for discussion § Not-votes
2019:
Negation can be defined in terms of other logical operations. For example,
5316:
3934:{\displaystyle f(a_{1},\dots ,a_{n})=\neg f(\neg a_{1},\dots ,\neg a_{n})}
3049:, double negation, that is, the negation of the negation of a proposition
8819:
8617:
7770:
7364:
6806:
6342:
6090:
6006:
5923:
5847:
5192:
4838:
5538:
8415:
7207:
6176:
5781:
5157:
7105:
6300:
5416:
4866:
123:
5085:
In C (and some other languages descended from C), double negation (
4814:
7959:
7305:
7150:
6671:
6267:
5102:
4858:
4842:
1501:
5281:. The basics (1. publ ed.). London: Routledge. p. 57.
4919:" changes it from negative to positive (it is negative because "
4862:
4845:, and languages with an ALGOL- or BASIC-inspired syntax such as
4826:
4189:
is mortal" and the domain of x as the collection of all humans,
7109:
6411:
6094:
5609:
4830:
4037:(means "for all") and the other is the existential quantifier
3500:
4017:, there are two quantifiers, one is the universal quantifier
1872:(pronounced "not P") would then be false; and conversely, if
5559:"Table of truth for a NOT clause applied to an END sentence"
2291:, and intuitionistic negation to pseudocomplementation in a
4279:{\displaystyle \neg \forall xP(x)\equiv \exists x\neg P(x)}
4174:{\displaystyle \neg \exists xP(x)\equiv \forall x\neg P(x)}
4112:{\displaystyle \neg \forall xP(x)\equiv \exists x\neg P(x)}
5446:
Wansing, Heinrich, 2001, "Negation", in Goble, Lou, ed.,
5301:
Used as makeshift in early typewriter publications, e.g.
3463:{\displaystyle \neg (P\land Q)\equiv (\neg P\lor \neg Q)}
3402:{\displaystyle \neg (P\lor Q)\equiv (\neg P\land \neg Q)}
5117:
which is used as a synonym for "no-clue" or "clueless".
2881:{\displaystyle (P\vee (Q\wedge (\neg R)))\rightarrow S.}
3259:. Composing that last implication with triple negation
1767:
is the proposition whose proofs are the refutations of
4734:). In this case one must also add as a primitive rule
6052:
6015:
5986:
5961:
5932:
5885:
5856:
5827:
5790:
5761:
5732:
5707:
5661:
5250:"Logic and Mathematical Statements - Worked Examples"
4789:/*...statements executed when r does NOT equal t...*/
4704:
4684:
4661:
4635:
4615:
4595:
4574:
4554:
4534:
4511:
4485:
4457:
4434:
4414:
4381:
4358:
4338:
4318:
4230:
4195:
4125:
4063:
4043:
4023:
3947:
3842:
3744:
3593:
3516:
3485:
3417:
3356:
3297:
3265:
3233:
3207:
3184:
3146:
3099:
3079:
3055:
3013:
2987:
2961:
2935:
2909:
2832:
2789:
2736:
2695:
2675:
2641:
2590:
2537:
2486:
2452:
2415:
2374:
2333:
2262:
2233:
2207:
2175:
2142:
2122:
2098:
2074:
2048:
2025:
1979:
1958:
1928:
1901:
1878:
1855:
1835:
1773:
1753:
1686:
1666:
1639:
1612:
1589:
1569:
1549:
1529:
1344:
1318:
1292:
1258:
1225:
1183:
1149:
1123:
1097:
1071:
1040:
1013:
990:
967:
924:
898:
865:
831:
805:
779:
738:
712:
686:
653:
619:
593:
567:
533:
507:
481:
444:
418:
395:
369:
343:
212:
179:
146:
93:
60:
3178:
does hold. This is because in intuitionistic logic,
8761:
8656:
8488:
8381:
8233:
7926:
7849:
7743:
7647:
7536:
7463:
7398:
7313:
7304:
7226:
7143:
7042:
6932:
6836:
6829:
6624:
6533:
6526:
6445:
5330:O'Donnell, John; Hall, Cordelia; Page, Rex (2007),
5113:means "not voting". Another example is the phrase
4308:setting is to take as primitive rules of inference
3808:{\displaystyle b_{1},b_{2},\dots ,b_{n}\in \{0,1\}}
3580:{\displaystyle a_{0},a_{1},\dots ,a_{n}\in \{0,1\}}
2819:{\displaystyle P\vee Q\wedge {\neg R}\rightarrow S}
1660:. It is interpreted intuitively as being true when
280:
270:
260:
252:
244:
235:
201:
168:
135:
130:
116:
82:
51:
37:
6058:
6021:
5992:
5967:
5938:
5891:
5862:
5833:
5796:
5767:
5738:
5713:
5667:
5359:"Double Negation Operator Convert to Boolean in C"
5129:where the semantic values of formulae are sets of
4888:. This takes the value given and switches all the
4716:
4690:
4670:
4644:
4621:
4601:
4580:
4560:
4540:
4517:
4497:
4463:
4443:
4420:
4390:
4367:
4344:
4324:
4278:
4216:
4173:
4111:
4049:
4029:
3997:
3933:
3807:
3730:
3579:
3491:
3462:
3401:
3309:
3283:
3251:
3219:
3193:
3170:
3117:
3085:
3061:
3019:
2993:
2967:
2941:
2915:
2880:
2818:
2745:
2707:
2681:
2650:
2599:
2550:
2497:
2461:
2424:
2387:
2342:
2268:
2248:
2219:
2181:
2157:
2128:
2104:
2080:
2060:
2034:
1988:
1964:
1937:
1907:
1887:
1864:
1841:
1779:
1759:
1692:
1672:
1652:
1625:
1598:
1575:
1555:
1535:
1356:
1330:
1304:
1270:
1244:
1203:
1161:
1135:
1109:
1083:
1049:
1026:
999:
976:
945:
910:
884:
843:
817:
791:
759:
724:
698:
672:
631:
605:
579:
545:
519:
493:
459:
430:
404:
381:
355:
224:
190:
157:
105:
71:
4813:, and languages with a C-inspired syntax such as
2283:Algebraically, classical negation corresponds to
6904:Segmented discourse representation theory (SDRT)
3834:, a self dual function is a function such that:
2689:is also used to indicate 'not in the set of':
7121:
6423:
6106:
5621:
5094:subsequently used for arithmetic operations.
3998:{\displaystyle a_{1},\dots ,a_{n}\in \{0,1\}}
3171:{\displaystyle \neg \neg \neg P\equiv \neg P}
2775:Logical connective § Order of precedence
1829:when its operand is true. Thus if statement
1481:
300:
8:
4005:. Negation is a self dual logical operator.
3992:
3980:
3802:
3790:
3574:
3562:
3284:{\displaystyle \neg \neg P\rightarrow \bot }
32:
5395:, p. 148 (John Benjamins Publishing, 2007).
1727:, negation is normally identified with the
7947:
7542:
7310:
7128:
7114:
7106:
6833:
6530:
6430:
6416:
6408:
6131:
6113:
6099:
6091:
5628:
5614:
5606:
5448:The Blackwell Guide to Philosophical Logic
4742:Programming language and ordinary language
1825:when its operand is false, and a value of
1488:
1474:
318:
307:
293:
6051:
6014:
5985:
5960:
5931:
5884:
5855:
5826:
5789:
5760:
5731:
5706:
5660:
4703:
4683:
4660:
4634:
4614:
4594:
4573:
4553:
4533:
4510:
4484:
4456:
4433:
4413:
4380:
4357:
4337:
4317:
4229:
4194:
4124:
4062:
4042:
4022:
3971:
3952:
3946:
3922:
3900:
3872:
3853:
3841:
3781:
3762:
3749:
3743:
3719:
3706:
3681:
3668:
3652:
3636:
3617:
3604:
3592:
3553:
3534:
3521:
3515:
3484:
3416:
3355:
3296:
3264:
3232:
3206:
3183:
3145:
3098:
3078:
3054:
3012:
2986:
2960:
2934:
2908:
2831:
2802:
2788:
2735:
2694:
2674:
2640:
2589:
2538:
2536:
2485:
2451:
2414:
2376:
2375:
2373:
2332:
2261:
2232:
2206:
2174:
2141:
2121:
2097:
2073:
2047:
2024:
1978:
1957:
1927:
1900:
1877:
1854:
1834:
1772:
1752:
1745:Brouwer–Heyting–Kolmogorov interpretation
1685:
1665:
1640:
1638:
1614:
1613:
1611:
1588:
1568:
1548:
1528:
1343:
1317:
1291:
1257:
1229:
1224:
1190:
1182:
1148:
1122:
1096:
1070:
1039:
1014:
1012:
989:
966:
925:
923:
897:
869:
864:
830:
804:
778:
739:
737:
711:
685:
657:
652:
618:
592:
566:
532:
506:
480:
443:
417:
394:
368:
342:
211:
183:
178:
150:
145:
92:
64:
59:
3252:{\displaystyle P\rightarrow \neg \neg P}
2892:
2753:can be read as "it is not the case that
2313:
2299:for classical and intuitionistic logic.
1949:
5439:, 1953–59, "On the Logic of Negation",
5215:
4753:As in mathematics, negation is used in
4609:. In this case the rule says that from
2699:
2676:
1707:. It may be applied as an operation on
1424:
1371:
818:{\displaystyle A\not \Leftrightarrow B}
321:
5502:Horn, Laurence R.; Wansing, Heinrich.
5441:Commentationes Physico-Mathematicae 22
4655:Typically the intuitionistic negation
3507:, a linear function is one such that:
1245:{\displaystyle A{\underline {\lor }}B}
760:{\displaystyle {\overline {A\cdot B}}}
673:{\displaystyle A{\overline {\land }}B}
31:
6859:Discourse representation theory (DRT)
5863:{\displaystyle \not \leftrightarrow }
5589:from the original on 17 January 2000.
5411:, and Wansing, Heinrich, eds., 1999.
5393:Lexical Creativity, Texts and Context
5333:Discrete Mathematics Using a Computer
5272:
5270:
885:{\displaystyle A{\overline {\lor }}B}
546:{\displaystyle A\leftrightharpoons B}
7:
8889:Formal semantics (natural language)
6772:Quantificational variability effect
6439:Formal semantics (natural language)
5595:"NOT clause of an IF...THEN period"
5513:Stanford Encyclopedia of Philosophy
4181:). For example, with the predicate
3118:{\displaystyle \neg \neg P\equiv P}
2388:{\displaystyle {\mathord {\sim }}p}
1626:{\displaystyle {\mathord {\sim }}P}
1204:{\displaystyle A\ {\text{XNOR}}\ B}
844:{\displaystyle A\nleftrightarrow B}
6053:
5828:
5662:
5601:from the original on 1 March 2000.
5577:from the original on 1 March 2000.
5565:from the original on 1 March 2000.
4884:In computer science there is also
4717:{\displaystyle P\rightarrow \bot }
4711:
4662:
4636:
4596:
4489:
4486:
4435:
4382:
4359:
4261:
4255:
4234:
4231:
4196:
4156:
4150:
4129:
4126:
4094:
4088:
4067:
4064:
4044:
4024:
3915:
3893:
3884:
3451:
3442:
3418:
3390:
3381:
3357:
3310:{\displaystyle P\rightarrow \bot }
3304:
3278:
3269:
3266:
3243:
3240:
3220:{\displaystyle P\rightarrow \bot }
3214:
3185:
3162:
3153:
3150:
3147:
3103:
3100:
2910:
2854:
2803:
2761:", or usually more simply as "not
2737:
2334:
2234:
2149:
2123:
2099:
2061:{\displaystyle P\rightarrow \bot }
2055:
2026:
1980:
1929:
1879:
1856:
1590:
968:
520:{\displaystyle A\Leftrightarrow B}
451:
448:
422:
180:
147:
61:
14:
5089:) is used as an idiom to convert
4999:To demonstrate logical negation:
4757:to construct logical statements.
4286:, meaning "there exists a person
946:{\displaystyle {\overline {A+B}}}
19:For negation in linguistics, see
8847:
6392:
6381:
6075:
5892:{\displaystyle \leftrightarrow }
5681:
5472:10.1016/j.neuroimage.2008.08.004
5133:, negation can be taken to mean
4896:. This is often used to create
3093:. Expressed in symbolic terms,
3020:{\displaystyle \leftrightarrow }
2726:Regardless how it is notated or
1747:, the negation of a proposition
1459:
1458:
122:
43:
5571:"NOT clause of an END sentence"
2551:{\displaystyle {\overline {p}}}
1951:
1653:{\displaystyle {\overline {P}}}
1027:{\displaystyle {\overline {A}}}
6854:Combinatory categorial grammar
5933:
5886:
5762:
5733:
5708:
5583:"NOT clause of an OR sentence"
4708:
4471:; this rule also being called
4398:; this rule also being called
4273:
4267:
4249:
4243:
4211:
4205:
4168:
4162:
4144:
4138:
4106:
4100:
4082:
4076:
3928:
3890:
3878:
3846:
3725:
3699:
3687:
3661:
3642:
3597:
3457:
3439:
3433:
3421:
3396:
3378:
3372:
3360:
3301:
3275:
3237:
3211:
3014:
2988:
2869:
2866:
2863:
2860:
2851:
2842:
2833:
2810:
2307:The negation of a proposition
2220:{\displaystyle P\rightarrow Q}
2211:
2116:). Conversely, one can define
2075:
2052:
1790:An operand of a negation is a
1348:
1296:
902:
792:{\displaystyle A\not \equiv B}
690:
632:{\displaystyle A\rightarrow B}
623:
580:{\displaystyle A\Rightarrow B}
571:
537:
511:
460:{\displaystyle A\&\&B}
100:
94:
1:
8808:History of mathematical logic
6632:Antecedent-contained deletion
5968:{\displaystyle \nrightarrow }
5427:A Natural History of Negation
5135:set-theoretic complementation
4217:{\displaystyle \forall xP(x)}
2715:is the set of all members of
2193:). The idea here is that any
2158:{\displaystyle Q\land \neg Q}
1357:{\displaystyle A\leftarrow B}
1305:{\displaystyle A\Leftarrow B}
911:{\displaystyle A\downarrow B}
8733:Primitive recursive function
5993:{\displaystyle \nleftarrow }
5768:{\displaystyle \rightarrow }
4892:1s to 0s and 0s to 1s. See
2708:{\displaystyle U\setminus A}
2543:
2249:{\displaystyle \neg P\lor Q}
2081:{\displaystyle \rightarrow }
1700:is true. Negation is thus a
1645:
1543:to another proposition "not
1162:{\displaystyle A\parallel B}
1019:
938:
874:
752:
662:
5939:{\displaystyle \downarrow }
5739:{\displaystyle \leftarrow }
5527:Encyclopedia of Mathematics
5431:University of Chicago Press
5380:The New Hacker's Dictionary
5109:. For example, the phrase
4805:" signifies logical NOT in
4568:must not be the case (i.e.
4498:{\displaystyle \neg \neg P}
4477:double negation elimination
2295:. These algebras provide a
1821:, that produces a value of
1817:, typically the value of a
699:{\displaystyle A\uparrow B}
8905:
7797:Schröder–Bernstein theorem
7524:Monadic predicate calculus
7183:Foundations of mathematics
6513:Syntax–semantics interface
5277:Beall, Jeffrey C. (2010).
4837:" is the operator used in
4745:
4297:
2772:
2682:{\displaystyle \setminus }
1331:{\displaystyle A\subset B}
606:{\displaystyle A\supset B}
18:
8843:
8830:Philosophy of mathematics
8779:Automated theorem proving
7950:
7904:Von Neumann–Bernays–Gödel
7545:
7005:Question under discussion
6955:Conversational scoreboard
6732:Intersective modification
6717:Homogeneity (linguistics)
6378:
6129:
6072:
6035:
5915:
5810:
5714:{\displaystyle \uparrow }
5690:
5679:
5644:
5382:, p. 18 (MIT Press 1996).
5336:, Springer, p. 120,
3201:is just a shorthand for
3140:, the weaker equivalence
1680:is false, and false when
1271:{\displaystyle A\oplus B}
494:{\displaystyle A\equiv B}
288:
225:{\displaystyle 1\oplus x}
191:{\displaystyle \lnot {x}}
158:{\displaystyle \lnot {x}}
72:{\displaystyle \lnot {x}}
42:
25:Negation (disambiguation)
7060:Distributional semantics
5152:Affirmation and negation
5139:possible world semantics
5097:The convention of using
5001:
4925:
4759:
4050:{\displaystyle \exists }
4030:{\displaystyle \forall }
4009:Negations of quantifiers
2719:that are not members of
431:{\displaystyle A\&B}
382:{\displaystyle A\cdot B}
356:{\displaystyle A\land B}
21:Affirmation and negation
8480:Self-verifying theories
8301:Tarski's axiomatization
7252:Tarski's undefinability
7247:incompleteness theorems
7055:Computational semantics
6797:Subsective modification
6601:Propositional attitudes
5978:Converse nonimplication
3492:{\displaystyle \oplus }
1411:Functional completeness
1136:{\displaystyle A\mid B}
1084:{\displaystyle A\lor B}
725:{\displaystyle A\mid B}
8854:Mathematics portal
8465:Proof of impossibility
8113:propositional variable
7423:Propositional calculus
7085:Philosophy of language
6727:Inalienable possession
6707:Free choice inferences
6702:Faultless disagreement
6473:Generalized quantifier
6399:Mathematics portal
6060:
6023:
6022:{\displaystyle \land }
5994:
5969:
5940:
5893:
5864:
5835:
5798:
5769:
5740:
5715:
5669:
5154:(grammatical polarity)
4718:
4692:
4672:
4671:{\displaystyle \neg P}
4646:
4645:{\displaystyle \neg P}
4623:
4603:
4582:
4562:
4542:
4519:
4499:
4465:
4445:
4444:{\displaystyle \neg P}
4422:
4392:
4391:{\displaystyle \neg P}
4369:
4368:{\displaystyle \neg Q}
4346:
4326:
4312:(from a derivation of
4280:
4218:
4175:
4113:
4051:
4031:
3999:
3935:
3809:
3732:
3581:
3493:
3464:
3403:
3311:
3285:
3253:
3221:
3195:
3194:{\displaystyle \neg P}
3172:
3119:
3087:
3063:
3021:
2995:
2969:
2943:
2942:{\displaystyle \land }
2917:
2882:
2820:
2747:
2746:{\displaystyle \neg P}
2709:
2683:
2652:
2601:
2552:
2499:
2463:
2426:
2389:
2344:
2343:{\displaystyle \neg p}
2270:
2250:
2221:
2183:
2182:{\displaystyle \land }
2159:
2130:
2106:
2082:
2062:
2036:
2035:{\displaystyle \neg P}
1990:
1989:{\displaystyle \neg P}
1966:
1939:
1938:{\displaystyle \neg P}
1909:
1889:
1888:{\displaystyle \neg P}
1866:
1865:{\displaystyle \neg P}
1843:
1781:
1761:
1694:
1674:
1654:
1627:
1600:
1599:{\displaystyle \neg P}
1583:is not true", written
1577:
1557:
1537:
1381:Propositional calculus
1358:
1332:
1306:
1272:
1246:
1205:
1163:
1137:
1111:
1085:
1051:
1050:{\displaystyle \sim A}
1028:
1001:
978:
977:{\displaystyle \neg A}
947:
912:
886:
845:
819:
793:
761:
726:
700:
674:
633:
607:
581:
547:
521:
495:
461:
432:
406:
383:
357:
226:
192:
159:
107:
73:
23:. For other uses, see
8723:Kolmogorov complexity
8676:Computably enumerable
8576:Model complete theory
8368:Principia Mathematica
7428:Propositional formula
7257:Banach–Tarski paradox
6985:Plural quantification
6879:Inquisitive semantics
6844:Alternative semantics
6388:Philosophy portal
6082:Philosophy portal
6061:
6059:{\displaystyle \bot }
6024:
5995:
5970:
5941:
5894:
5865:
5836:
5834:{\displaystyle \neg }
5799:
5797:{\displaystyle \lor }
5770:
5741:
5716:
5670:
5668:{\displaystyle \top }
5317:10.1145/990518.990519
5229:mathworld.wolfram.com
4908:(just simplified to "
4719:
4693:
4673:
4647:
4624:
4604:
4602:{\displaystyle \bot }
4583:
4563:
4543:
4520:
4500:
4466:
4446:
4423:
4393:
4370:
4347:
4327:
4310:negation introduction
4281:
4219:
4176:
4114:
4052:
4032:
4000:
3936:
3810:
3733:
3582:
3494:
3465:
3404:
3312:
3286:
3254:
3222:
3196:
3173:
3120:
3088:
3064:
3022:
2996:
2970:
2968:{\displaystyle \lor }
2944:
2918:
2916:{\displaystyle \neg }
2883:
2821:
2748:
2710:
2684:
2653:
2602:
2553:
2500:
2464:
2427:
2390:
2345:
2271:
2269:{\displaystyle \lor }
2251:
2222:
2184:
2160:
2131:
2129:{\displaystyle \bot }
2107:
2105:{\displaystyle \bot }
2083:
2063:
2037:
1991:
1967:
1940:
1910:
1890:
1867:
1844:
1782:
1762:
1739:(and vice versa). In
1695:
1675:
1655:
1628:
1601:
1578:
1558:
1538:
1439:Programming languages
1359:
1333:
1307:
1273:
1247:
1206:
1164:
1138:
1112:
1086:
1052:
1029:
1002:
979:
948:
913:
887:
846:
820:
794:
762:
727:
701:
675:
634:
608:
582:
548:
522:
496:
462:
433:
407:
384:
358:
227:
193:
160:
108:
74:
8671:Church–Turing thesis
8658:Computability theory
7867:continuum hypothesis
7385:Square of opposition
7243:Gödel's completeness
6970:Function application
6777:Responsive predicate
6767:Privative adjectives
6050:
6013:
5984:
5959:
5930:
5883:
5854:
5825:
5788:
5759:
5730:
5724:Converse implication
5705:
5659:
5552:of composite clauses
5254:www.math.toronto.edu
5203:Square of opposition
4702:
4682:
4659:
4633:
4613:
4593:
4572:
4552:
4532:
4509:
4483:
4455:
4432:
4412:
4406:negation elimination
4401:reductio ad absurdum
4379:
4356:
4336:
4316:
4228:
4193:
4123:
4061:
4041:
4021:
3945:
3840:
3742:
3591:
3514:
3483:
3415:
3354:
3295:
3263:
3231:
3205:
3182:
3144:
3138:intuitionistic logic
3127:intuitionistic logic
3097:
3077:
3071:logically equivalent
3053:
3011:
2994:{\displaystyle \to }
2985:
2959:
2933:
2907:
2830:
2787:
2734:
2693:
2673:
2639:
2588:
2535:
2484:
2450:
2413:
2372:
2331:
2260:
2231:
2205:
2199:paraconsistent logic
2173:
2165:for any proposition
2140:
2120:
2096:
2072:
2046:
2023:
1977:
1956:
1926:
1899:
1876:
1853:
1833:
1771:
1751:
1741:intuitionistic logic
1684:
1664:
1637:
1610:
1587:
1567:
1547:
1527:
1342:
1316:
1290:
1256:
1223:
1181:
1147:
1121:
1095:
1069:
1038:
1011:
988:
965:
922:
896:
863:
829:
803:
777:
736:
710:
684:
651:
617:
591:
565:
531:
505:
479:
442:
416:
393:
367:
341:
210:
203:Zhegalkin polynomial
177:
144:
106:{\displaystyle (01)}
91:
58:
8879:Logical connectives
8825:Mathematical object
8716:P versus NP problem
8681:Computable function
8475:Reverse mathematics
8401:Logical consequence
8278:primitive recursive
8273:elementary function
8046:Free/bound variable
7899:Tarski–Grothendieck
7418:Logical connectives
7348:Logical equivalence
7198:Logical consequence
7050:Cognitive semantics
6965:Existential closure
6909:Situation semantics
6812:Temperature paradox
6782:Rising declaratives
6747:Modal subordination
6722:Hurford disjunction
6682:Discourse relations
5638:logical connectives
5223:Weisstein, Eric W.
5188:Negation as failure
4728:) and elimination (
3499:denote the logical
3227:, and we also have
3045:Within a system of
2278:logical disjunction
2191:logical conjunction
2090:logical consequence
1743:, according to the
1723:more generally. In
1449:Philosophy of logic
1110:{\displaystyle A+B}
323:Logical connectives
34:
8623:Transfer principle
8586:Semantics of logic
8571:Categorical theory
8547:Non-standard model
8061:Logical connective
7188:Information theory
7137:Mathematical logic
7095:Semantics of logic
7020:Strict conditional
6995:Quantifier raising
6960:Downward entailing
6940:Autonomy of syntax
6869:Generative grammar
6849:Categorial grammar
6787:Scalar implicature
6692:Epistemic modality
6667:De dicto and de re
6056:
6019:
5990:
5965:
5936:
5889:
5860:
5831:
5794:
5765:
5736:
5711:
5695:Alternative denial
5665:
5378:and Steele, Guy.
4904:" in C or C++ and
4736:ex falso quodlibet
4714:
4688:
4668:
4642:
4619:
4599:
4578:
4558:
4538:
4515:
4495:
4473:ex falso quodlibet
4461:
4441:
4418:
4388:
4365:
4342:
4322:
4294:Rules of inference
4276:
4214:
4171:
4109:
4047:
4027:
3995:
3931:
3805:
3728:
3577:
3489:
3460:
3399:
3322:Glivenko's theorem
3307:
3281:
3249:
3217:
3191:
3168:
3115:
3083:
3059:
3017:
2991:
2965:
2939:
2913:
2878:
2816:
2743:
2705:
2679:
2651:{\displaystyle Np}
2648:
2600:{\displaystyle !p}
2597:
2548:
2498:{\displaystyle p'}
2495:
2462:{\displaystyle Np}
2459:
2425:{\displaystyle -p}
2422:
2385:
2340:
2266:
2246:
2227:can be defined as
2217:
2179:
2155:
2126:
2114:absolute falsehood
2102:
2078:
2058:
2042:can be defined as
2032:
1986:
1962:
1935:
1905:
1885:
1862:
1839:
1807:Classical negation
1777:
1757:
1705:logical connective
1690:
1670:
1650:
1623:
1596:
1573:
1553:
1533:
1514:logical complement
1508:, also called the
1444:Mathematical logic
1354:
1328:
1302:
1268:
1242:
1237:
1201:
1159:
1133:
1107:
1081:
1047:
1024:
1000:{\displaystyle -A}
997:
974:
943:
908:
882:
841:
815:
789:
757:
722:
696:
670:
629:
603:
577:
543:
517:
491:
457:
428:
405:{\displaystyle AB}
402:
379:
353:
222:
188:
155:
103:
69:
8861:
8860:
8793:Abstract category
8596:Theories of truth
8406:Rule of inference
8396:Natural deduction
8377:
8376:
7922:
7921:
7627:Cartesian product
7532:
7531:
7438:Many-valued logic
7413:Boolean functions
7296:Russell's paradox
7271:diagonal argument
7168:First-order logic
7103:
7102:
7075:Logic translation
7038:
7037:
7030:Universal grinder
7015:Squiggle operator
6975:Meaning postulate
6914:Supervaluationism
6884:Intensional logic
6864:Dynamic semantics
6825:
6824:
6657:Crossover effects
6606:Tense–aspect–mood
6586:Lexical semantics
6405:
6404:
6373:
6372:
6088:
6087:
5413:What is Negation?
5288:978-0-203-85155-5
5279:Logic: the basics
5168:Binary opposition
4894:bitwise operation
4726:conditional proof
4691:{\displaystyle P}
4622:{\displaystyle P}
4581:{\displaystyle P}
4561:{\displaystyle P}
4541:{\displaystyle P}
4518:{\displaystyle P}
4464:{\displaystyle Q}
4421:{\displaystyle P}
4345:{\displaystyle Q}
4325:{\displaystyle P}
4306:natural deduction
4015:first-order logic
3335:provide a way of
3086:{\displaystyle P}
3062:{\displaystyle P}
3033:
3032:
2633:
2632:
2546:
2015:
2014:
1965:{\displaystyle P}
1908:{\displaystyle P}
1842:{\displaystyle P}
1780:{\displaystyle P}
1760:{\displaystyle P}
1693:{\displaystyle P}
1673:{\displaystyle P}
1648:
1576:{\displaystyle P}
1563:", standing for "
1556:{\displaystyle P}
1536:{\displaystyle P}
1498:
1497:
1367:
1366:
1230:
1197:
1193:
1189:
1022:
941:
877:
755:
665:
317:
316:
16:Logical operation
8896:
8884:Unary operations
8852:
8851:
8803:History of logic
8798:Category of sets
8691:Decision problem
8470:Ordinal analysis
8411:Sequent calculus
8309:Boolean algebras
8249:
8248:
8223:
8194:logical/constant
7948:
7934:
7857:Zermelo–Fraenkel
7608:Set operations:
7543:
7480:
7311:
7291:Löwenheim–Skolem
7178:Formal semantics
7130:
7123:
7116:
7107:
7080:Linguistics wars
7010:Semantic parsing
6899:Montague grammar
6834:
6677:Deontic modality
6531:
6518:Truth conditions
6453:Compositionality
6446:Central concepts
6432:
6425:
6418:
6409:
6397:
6396:
6386:
6385:
6384:
6316:
6265:
6145:
6132:
6115:
6108:
6101:
6092:
6080:
6079:
6078:
6065:
6063:
6062:
6057:
6028:
6026:
6025:
6020:
5999:
5997:
5996:
5991:
5974:
5972:
5971:
5966:
5945:
5943:
5942:
5937:
5898:
5896:
5895:
5890:
5869:
5867:
5866:
5861:
5840:
5838:
5837:
5832:
5803:
5801:
5800:
5795:
5774:
5772:
5771:
5766:
5745:
5743:
5742:
5737:
5720:
5718:
5717:
5712:
5685:
5674:
5672:
5671:
5666:
5630:
5623:
5616:
5607:
5602:
5590:
5578:
5566:
5535:
5517:
5508:Zalta, Edward N.
5491:
5437:G. H. von Wright
5396:
5391:Munat, Judith.
5389:
5383:
5373:
5367:
5366:
5354:
5348:
5346:
5327:
5321:
5320:
5299:
5293:
5292:
5274:
5265:
5264:
5262:
5260:
5246:
5240:
5239:
5237:
5235:
5220:
5127:Kripke semantics
5121:Kripke semantics
5116:
5112:
5100:
5092:
5088:
5077:
5074:
5071:
5068:
5065:
5062:
5059:
5056:
5053:
5050:
5047:
5044:
5041:
5038:
5035:
5032:
5029:
5026:
5023:
5020:
5017:
5014:
5011:
5008:
5005:
4995:
4992:
4989:
4986:
4983:
4980:
4977:
4974:
4971:
4968:
4965:
4962:
4959:
4956:
4953:
4950:
4947:
4944:
4941:
4938:
4935:
4932:
4929:
4922:
4918:
4911:
4906:two's complement
4903:
4898:ones' complement
4886:bitwise negation
4880:
4879:if (r != t)
4876:
4872:
4836:
4804:
4799:exclamation mark
4793:
4790:
4787:
4784:
4781:
4778:
4775:
4772:
4769:
4766:
4763:
4755:computer science
4723:
4721:
4720:
4715:
4697:
4695:
4694:
4689:
4677:
4675:
4674:
4669:
4651:
4649:
4648:
4643:
4628:
4626:
4625:
4620:
4608:
4606:
4605:
4600:
4587:
4585:
4584:
4579:
4567:
4565:
4564:
4559:
4547:
4545:
4544:
4539:
4524:
4522:
4521:
4516:
4504:
4502:
4501:
4496:
4470:
4468:
4467:
4462:
4450:
4448:
4447:
4442:
4427:
4425:
4424:
4419:
4397:
4395:
4394:
4389:
4374:
4372:
4371:
4366:
4351:
4349:
4348:
4343:
4331:
4329:
4328:
4323:
4285:
4283:
4282:
4277:
4223:
4221:
4220:
4215:
4180:
4178:
4177:
4172:
4118:
4116:
4115:
4110:
4056:
4054:
4053:
4048:
4036:
4034:
4033:
4028:
4004:
4002:
4001:
3996:
3976:
3975:
3957:
3956:
3940:
3938:
3937:
3932:
3927:
3926:
3905:
3904:
3877:
3876:
3858:
3857:
3814:
3812:
3811:
3806:
3786:
3785:
3767:
3766:
3754:
3753:
3737:
3735:
3734:
3729:
3724:
3723:
3711:
3710:
3686:
3685:
3673:
3672:
3657:
3656:
3641:
3640:
3622:
3621:
3609:
3608:
3586:
3584:
3583:
3578:
3558:
3557:
3539:
3538:
3526:
3525:
3510:If there exists
3498:
3496:
3495:
3490:
3469:
3467:
3466:
3461:
3408:
3406:
3405:
3400:
3333:De Morgan's laws
3316:
3314:
3313:
3308:
3290:
3288:
3287:
3282:
3258:
3256:
3255:
3250:
3226:
3224:
3223:
3218:
3200:
3198:
3197:
3192:
3177:
3175:
3174:
3169:
3124:
3122:
3121:
3116:
3092:
3090:
3089:
3084:
3068:
3066:
3065:
3060:
3026:
3024:
3023:
3018:
3000:
2998:
2997:
2992:
2974:
2972:
2971:
2966:
2948:
2946:
2945:
2940:
2922:
2920:
2919:
2914:
2893:
2887:
2885:
2884:
2879:
2825:
2823:
2822:
2817:
2809:
2781:precedence rules
2764:
2760:
2756:
2752:
2750:
2749:
2744:
2722:
2718:
2714:
2712:
2711:
2706:
2688:
2686:
2685:
2680:
2657:
2655:
2654:
2649:
2611:
2606:
2604:
2603:
2598:
2562:
2557:
2555:
2554:
2549:
2547:
2539:
2509:
2504:
2502:
2501:
2496:
2494:
2468:
2466:
2465:
2460:
2436:
2431:
2429:
2428:
2423:
2399:
2394:
2392:
2391:
2386:
2381:
2380:
2358:
2354:
2349:
2347:
2346:
2341:
2314:
2310:
2275:
2273:
2272:
2267:
2255:
2253:
2252:
2247:
2226:
2224:
2223:
2218:
2188:
2186:
2185:
2180:
2168:
2164:
2162:
2161:
2156:
2135:
2133:
2132:
2127:
2111:
2109:
2108:
2103:
2087:
2085:
2084:
2079:
2067:
2065:
2064:
2059:
2041:
2039:
2038:
2033:
1995:
1993:
1992:
1987:
1971:
1969:
1968:
1963:
1950:
1944:
1942:
1941:
1936:
1915:would be false.
1914:
1912:
1911:
1906:
1894:
1892:
1891:
1886:
1871:
1869:
1868:
1863:
1848:
1846:
1845:
1840:
1786:
1784:
1783:
1778:
1766:
1764:
1763:
1758:
1699:
1697:
1696:
1691:
1679:
1677:
1676:
1671:
1659:
1657:
1656:
1651:
1649:
1641:
1632:
1630:
1629:
1624:
1619:
1618:
1605:
1603:
1602:
1597:
1582:
1580:
1579:
1574:
1562:
1560:
1559:
1554:
1542:
1540:
1539:
1534:
1490:
1483:
1476:
1462:
1461:
1406:Boolean function
1372:Related concepts
1363:
1361:
1360:
1355:
1337:
1335:
1334:
1329:
1311:
1309:
1308:
1303:
1277:
1275:
1274:
1269:
1251:
1249:
1248:
1243:
1238:
1210:
1208:
1207:
1202:
1195:
1194:
1191:
1187:
1168:
1166:
1165:
1160:
1142:
1140:
1139:
1134:
1116:
1114:
1113:
1108:
1090:
1088:
1087:
1082:
1056:
1054:
1053:
1048:
1033:
1031:
1030:
1025:
1023:
1015:
1006:
1004:
1003:
998:
983:
981:
980:
975:
952:
950:
949:
944:
942:
937:
926:
917:
915:
914:
909:
891:
889:
888:
883:
878:
870:
850:
848:
847:
842:
824:
822:
821:
816:
798:
796:
795:
790:
766:
764:
763:
758:
756:
751:
740:
731:
729:
728:
723:
705:
703:
702:
697:
679:
677:
676:
671:
666:
658:
638:
636:
635:
630:
612:
610:
609:
604:
586:
584:
583:
578:
552:
550:
549:
544:
526:
524:
523:
518:
500:
498:
497:
492:
466:
464:
463:
458:
437:
435:
434:
429:
411:
409:
408:
403:
388:
386:
385:
380:
362:
360:
359:
354:
330:
329:
319:
309:
302:
295:
239:
231:
229:
228:
223:
197:
195:
194:
189:
187:
164:
162:
161:
156:
154:
126:
112:
110:
109:
104:
78:
76:
75:
70:
68:
47:
35:
8904:
8903:
8899:
8898:
8897:
8895:
8894:
8893:
8864:
8863:
8862:
8857:
8846:
8839:
8784:Category theory
8774:Algebraic logic
8757:
8728:Lambda calculus
8666:Church encoding
8652:
8628:Truth predicate
8484:
8450:Complete theory
8373:
8242:
8238:
8234:
8229:
8221:
7941: and
7937:
7932:
7918:
7894:New Foundations
7862:axiom of choice
7845:
7807:Gödel numbering
7747: and
7739:
7643:
7528:
7478:
7459:
7408:Boolean algebra
7394:
7358:Equiconsistency
7323:Classical logic
7300:
7281:Halting problem
7269: and
7245: and
7233: and
7232:
7227:Theorems (
7222:
7139:
7134:
7104:
7099:
7034:
6928:
6889:Lambda calculus
6821:
6792:Sloppy identity
6752:Opaque contexts
6687:Donkey anaphora
6652:Counterfactuals
6620:
6522:
6441:
6436:
6406:
6401:
6391:
6390:
6382:
6380:
6374:
6369:
6368:
6365:
6361:
6353:
6352:
6349:
6345:
6337:
6333:
6325:
6321:
6312:
6303:
6299:
6294:
6286:
6282:
6274:
6270:
6261:
6252:
6248:
6240:
6236:
6228:
6224:
6216:
6213:
6210:
6202:
6199:
6196:
6188:
6184:
6179:
6171:
6167:
6162:
6154:
6150:
6141:
6125:
6123:logical symbols
6119:
6089:
6084:
6076:
6074:
6068:
6048:
6047:
6031:
6011:
6010:
5982:
5981:
5957:
5956:
5928:
5927:
5911:
5881:
5880:
5852:
5851:
5823:
5822:
5806:
5786:
5785:
5757:
5756:
5728:
5727:
5703:
5702:
5686:
5677:
5657:
5656:
5640:
5634:
5593:
5581:
5569:
5557:
5550:Tables of Truth
5520:
5501:
5498:
5457:
5405:
5403:Further reading
5400:
5399:
5390:
5386:
5374:
5370:
5356:
5355:
5351:
5344:
5329:
5328:
5324:
5305:ACM SIGACT News
5302:
5300:
5296:
5289:
5276:
5275:
5268:
5258:
5256:
5248:
5247:
5243:
5233:
5231:
5222:
5221:
5217:
5212:
5207:
5183:Cyclic negation
5147:
5131:possible worlds
5123:
5114:
5110:
5098:
5090:
5086:
5079:
5078:
5075:
5072:
5069:
5066:
5063:
5060:
5057:
5054:
5051:
5048:
5045:
5042:
5039:
5036:
5033:
5030:
5027:
5024:
5021:
5018:
5015:
5012:
5009:
5006:
5003:
4997:
4996:
4993:
4990:
4987:
4984:
4981:
4978:
4975:
4972:
4969:
4966:
4963:
4960:
4957:
4954:
4951:
4948:
4945:
4942:
4939:
4936:
4933:
4930:
4927:
4923:" yields true)
4920:
4916:
4909:
4901:
4878:
4874:
4870:
4834:
4802:
4795:
4794:
4791:
4788:
4785:
4782:
4779:
4776:
4773:
4770:
4767:
4764:
4761:
4751:
4744:
4700:
4699:
4680:
4679:
4657:
4656:
4631:
4630:
4611:
4610:
4591:
4590:
4570:
4569:
4550:
4549:
4530:
4529:
4507:
4506:
4481:
4480:
4453:
4452:
4430:
4429:
4410:
4409:
4377:
4376:
4354:
4353:
4334:
4333:
4314:
4313:
4302:
4300:Double negation
4296:
4226:
4225:
4191:
4190:
4121:
4120:
4059:
4058:
4039:
4038:
4019:
4018:
4011:
3967:
3948:
3943:
3942:
3918:
3896:
3868:
3849:
3838:
3837:
3832:Boolean algebra
3828:
3777:
3758:
3745:
3740:
3739:
3715:
3702:
3677:
3664:
3648:
3632:
3613:
3600:
3589:
3588:
3549:
3530:
3517:
3512:
3511:
3505:Boolean algebra
3481:
3480:
3477:
3413:
3412:
3352:
3351:
3330:
3293:
3292:
3261:
3260:
3229:
3228:
3203:
3202:
3180:
3179:
3142:
3141:
3133:of period two.
3095:
3094:
3075:
3074:
3051:
3050:
3047:classical logic
3043:
3041:Double negation
3038:
3009:
3008:
2983:
2982:
2957:
2956:
2931:
2930:
2905:
2904:
2828:
2827:
2785:
2784:
2777:
2771:
2762:
2758:
2754:
2732:
2731:
2730:, the negation
2720:
2716:
2691:
2690:
2671:
2670:
2660:Polish notation
2637:
2636:
2629:
2609:
2586:
2585:
2580:
2560:
2533:
2532:
2527:
2507:
2487:
2482:
2481:
2448:
2447:
2434:
2411:
2410:
2397:
2370:
2369:
2356:
2352:
2329:
2328:
2308:
2305:
2293:Heyting algebra
2289:Boolean algebra
2285:complementation
2258:
2257:
2229:
2228:
2203:
2202:
2171:
2170:
2166:
2138:
2137:
2118:
2117:
2094:
2093:
2070:
2069:
2044:
2043:
2021:
2020:
1975:
1974:
1954:
1953:
1945:is as follows:
1924:
1923:
1897:
1896:
1874:
1873:
1851:
1850:
1831:
1830:
1804:
1769:
1768:
1749:
1748:
1725:classical logic
1721:semantic values
1682:
1681:
1662:
1661:
1635:
1634:
1608:
1607:
1585:
1584:
1565:
1564:
1545:
1544:
1525:
1524:
1494:
1453:
1420:
1391:Boolean algebra
1386:Predicate logic
1340:
1339:
1314:
1313:
1288:
1287:
1254:
1253:
1221:
1220:
1179:
1178:
1145:
1144:
1119:
1118:
1093:
1092:
1067:
1066:
1036:
1035:
1009:
1008:
986:
985:
963:
962:
927:
920:
919:
894:
893:
861:
860:
827:
826:
801:
800:
775:
774:
741:
734:
733:
708:
707:
682:
681:
649:
648:
615:
614:
589:
588:
563:
562:
529:
528:
503:
502:
477:
476:
440:
439:
414:
413:
391:
390:
365:
364:
339:
338:
313:
238:Post's lattices
237:
208:
207:
175:
174:
142:
141:
89:
88:
56:
55:
28:
17:
12:
11:
5:
8902:
8900:
8892:
8891:
8886:
8881:
8876:
8866:
8865:
8859:
8858:
8844:
8841:
8840:
8838:
8837:
8832:
8827:
8822:
8817:
8816:
8815:
8805:
8800:
8795:
8786:
8781:
8776:
8771:
8769:Abstract logic
8765:
8763:
8759:
8758:
8756:
8755:
8750:
8748:Turing machine
8745:
8740:
8735:
8730:
8725:
8720:
8719:
8718:
8713:
8708:
8703:
8698:
8688:
8686:Computable set
8683:
8678:
8673:
8668:
8662:
8660:
8654:
8653:
8651:
8650:
8645:
8640:
8635:
8630:
8625:
8620:
8615:
8614:
8613:
8608:
8603:
8593:
8588:
8583:
8581:Satisfiability
8578:
8573:
8568:
8567:
8566:
8556:
8555:
8554:
8544:
8543:
8542:
8537:
8532:
8527:
8522:
8512:
8511:
8510:
8505:
8498:Interpretation
8494:
8492:
8486:
8485:
8483:
8482:
8477:
8472:
8467:
8462:
8452:
8447:
8446:
8445:
8444:
8443:
8433:
8428:
8418:
8413:
8408:
8403:
8398:
8393:
8387:
8385:
8379:
8378:
8375:
8374:
8372:
8371:
8363:
8362:
8361:
8360:
8355:
8354:
8353:
8348:
8343:
8323:
8322:
8321:
8319:minimal axioms
8316:
8305:
8304:
8303:
8292:
8291:
8290:
8285:
8280:
8275:
8270:
8265:
8252:
8250:
8231:
8230:
8228:
8227:
8226:
8225:
8213:
8208:
8207:
8206:
8201:
8196:
8191:
8181:
8176:
8171:
8166:
8165:
8164:
8159:
8149:
8148:
8147:
8142:
8137:
8132:
8122:
8117:
8116:
8115:
8110:
8105:
8095:
8094:
8093:
8088:
8083:
8078:
8073:
8068:
8058:
8053:
8048:
8043:
8042:
8041:
8036:
8031:
8026:
8016:
8011:
8009:Formation rule
8006:
8001:
8000:
7999:
7994:
7984:
7983:
7982:
7972:
7967:
7962:
7957:
7951:
7945:
7928:Formal systems
7924:
7923:
7920:
7919:
7917:
7916:
7911:
7906:
7901:
7896:
7891:
7886:
7881:
7876:
7871:
7870:
7869:
7864:
7853:
7851:
7847:
7846:
7844:
7843:
7842:
7841:
7831:
7826:
7825:
7824:
7817:Large cardinal
7814:
7809:
7804:
7799:
7794:
7780:
7779:
7778:
7773:
7768:
7753:
7751:
7741:
7740:
7738:
7737:
7736:
7735:
7730:
7725:
7715:
7710:
7705:
7700:
7695:
7690:
7685:
7680:
7675:
7670:
7665:
7660:
7654:
7652:
7645:
7644:
7642:
7641:
7640:
7639:
7634:
7629:
7624:
7619:
7614:
7606:
7605:
7604:
7599:
7589:
7584:
7582:Extensionality
7579:
7577:Ordinal number
7574:
7564:
7559:
7558:
7557:
7546:
7540:
7534:
7533:
7530:
7529:
7527:
7526:
7521:
7516:
7511:
7506:
7501:
7496:
7495:
7494:
7484:
7483:
7482:
7469:
7467:
7461:
7460:
7458:
7457:
7456:
7455:
7450:
7445:
7435:
7430:
7425:
7420:
7415:
7410:
7404:
7402:
7396:
7395:
7393:
7392:
7387:
7382:
7377:
7372:
7367:
7362:
7361:
7360:
7350:
7345:
7340:
7335:
7330:
7325:
7319:
7317:
7308:
7302:
7301:
7299:
7298:
7293:
7288:
7283:
7278:
7273:
7261:Cantor's
7259:
7254:
7249:
7239:
7237:
7224:
7223:
7221:
7220:
7215:
7210:
7205:
7200:
7195:
7190:
7185:
7180:
7175:
7170:
7165:
7160:
7159:
7158:
7147:
7145:
7141:
7140:
7135:
7133:
7132:
7125:
7118:
7110:
7101:
7100:
7098:
7097:
7092:
7087:
7082:
7077:
7072:
7070:Inferentialism
7067:
7065:Formal grammar
7062:
7057:
7052:
7046:
7044:
7040:
7039:
7036:
7035:
7033:
7032:
7027:
7022:
7017:
7012:
7007:
7002:
6997:
6992:
6990:Possible world
6987:
6982:
6977:
6972:
6967:
6962:
6957:
6952:
6947:
6942:
6936:
6934:
6930:
6929:
6927:
6926:
6921:
6916:
6911:
6906:
6901:
6896:
6891:
6886:
6881:
6876:
6874:Glue semantics
6871:
6866:
6861:
6856:
6851:
6846:
6840:
6838:
6837:Formal systems
6831:
6827:
6826:
6823:
6822:
6820:
6819:
6814:
6809:
6804:
6799:
6794:
6789:
6784:
6779:
6774:
6769:
6764:
6762:Polarity items
6759:
6754:
6749:
6744:
6739:
6734:
6729:
6724:
6719:
6714:
6709:
6704:
6699:
6694:
6689:
6684:
6679:
6674:
6669:
6664:
6659:
6654:
6649:
6647:Conservativity
6644:
6639:
6634:
6628:
6626:
6622:
6621:
6619:
6618:
6613:
6611:Quantification
6608:
6603:
6598:
6593:
6588:
6583:
6578:
6573:
6568:
6563:
6558:
6553:
6548:
6543:
6537:
6535:
6528:
6524:
6523:
6521:
6520:
6515:
6510:
6505:
6500:
6495:
6490:
6488:Presupposition
6485:
6480:
6475:
6470:
6465:
6460:
6455:
6449:
6447:
6443:
6442:
6437:
6435:
6434:
6427:
6420:
6412:
6403:
6402:
6379:
6376:
6375:
6371:
6370:
6366:quantification
6362:
6357:
6356:
6354:
6350:quantification
6346:
6341:
6340:
6338:
6329:
6328:
6326:
6307:
6306:
6304:
6290:
6289:
6287:
6278:
6277:
6275:
6256:
6255:
6253:
6244:
6243:
6241:
6232:
6231:
6229:
6220:
6219:
6217:
6206:
6205:
6203:
6192:
6191:
6189:
6175:
6174:
6172:
6158:
6157:
6155:
6136:
6135:
6130:
6127:
6126:
6120:
6118:
6117:
6110:
6103:
6095:
6086:
6085:
6073:
6070:
6069:
6067:
6066:
6055:
6036:
6033:
6032:
6030:
6029:
6018:
6000:
5989:
5975:
5964:
5949:Nonimplication
5946:
5935:
5916:
5913:
5912:
5910:
5909:
5906:Digital buffer
5899:
5888:
5870:
5859:
5841:
5830:
5811:
5808:
5807:
5805:
5804:
5793:
5775:
5764:
5746:
5735:
5721:
5710:
5691:
5688:
5687:
5680:
5678:
5676:
5675:
5664:
5645:
5642:
5641:
5635:
5633:
5632:
5625:
5618:
5610:
5604:
5603:
5591:
5579:
5567:
5554:
5553:
5546:
5545:
5536:
5518:
5497:
5496:External links
5494:
5493:
5492:
5466:(2): 358–367.
5455:
5444:
5434:
5420:
5404:
5401:
5398:
5397:
5384:
5368:
5349:
5342:
5322:
5311:(101): 18–20.
5294:
5287:
5266:
5241:
5214:
5213:
5211:
5208:
5206:
5205:
5200:
5195:
5190:
5185:
5180:
5178:Contraposition
5175:
5170:
5165:
5160:
5155:
5148:
5146:
5143:
5122:
5119:
5002:
4926:
4875:if (!(r == t))
4760:
4743:
4740:
4713:
4710:
4707:
4698:is defined as
4687:
4667:
4664:
4641:
4638:
4618:
4598:
4577:
4557:
4537:
4514:
4494:
4491:
4488:
4460:
4440:
4437:
4417:
4387:
4384:
4364:
4361:
4341:
4321:
4295:
4292:
4275:
4272:
4269:
4266:
4263:
4260:
4257:
4254:
4251:
4248:
4245:
4242:
4239:
4236:
4233:
4213:
4210:
4207:
4204:
4201:
4198:
4170:
4167:
4164:
4161:
4158:
4155:
4152:
4149:
4146:
4143:
4140:
4137:
4134:
4131:
4128:
4108:
4105:
4102:
4099:
4096:
4093:
4090:
4087:
4084:
4081:
4078:
4075:
4072:
4069:
4066:
4046:
4026:
4010:
4007:
3994:
3991:
3988:
3985:
3982:
3979:
3974:
3970:
3966:
3963:
3960:
3955:
3951:
3930:
3925:
3921:
3917:
3914:
3911:
3908:
3903:
3899:
3895:
3892:
3889:
3886:
3883:
3880:
3875:
3871:
3867:
3864:
3861:
3856:
3852:
3848:
3845:
3827:
3824:
3804:
3801:
3798:
3795:
3792:
3789:
3784:
3780:
3776:
3773:
3770:
3765:
3761:
3757:
3752:
3748:
3727:
3722:
3718:
3714:
3709:
3705:
3701:
3698:
3695:
3692:
3689:
3684:
3680:
3676:
3671:
3667:
3663:
3660:
3655:
3651:
3647:
3644:
3639:
3635:
3631:
3628:
3625:
3620:
3616:
3612:
3607:
3603:
3599:
3596:
3576:
3573:
3570:
3567:
3564:
3561:
3556:
3552:
3548:
3545:
3542:
3537:
3533:
3529:
3524:
3520:
3503:operation. In
3488:
3476:
3473:
3472:
3471:
3459:
3456:
3453:
3450:
3447:
3444:
3441:
3438:
3435:
3432:
3429:
3426:
3423:
3420:
3410:
3398:
3395:
3392:
3389:
3386:
3383:
3380:
3377:
3374:
3371:
3368:
3365:
3362:
3359:
3339:negation over
3329:
3328:Distributivity
3326:
3306:
3303:
3300:
3280:
3277:
3274:
3271:
3268:
3248:
3245:
3242:
3239:
3236:
3216:
3213:
3210:
3190:
3187:
3167:
3164:
3161:
3158:
3155:
3152:
3149:
3114:
3111:
3108:
3105:
3102:
3082:
3058:
3042:
3039:
3037:
3034:
3031:
3030:
3027:
3016:
3005:
3004:
3001:
2990:
2979:
2978:
2975:
2964:
2953:
2952:
2949:
2938:
2927:
2926:
2923:
2912:
2901:
2900:
2897:
2877:
2874:
2871:
2868:
2865:
2862:
2859:
2856:
2853:
2850:
2847:
2844:
2841:
2838:
2835:
2815:
2812:
2808:
2805:
2801:
2798:
2795:
2792:
2770:
2767:
2742:
2739:
2704:
2701:
2698:
2678:
2647:
2644:
2631:
2630:
2628:
2627:
2621:
2614:
2612:
2607:
2596:
2593:
2582:
2581:
2579:
2578:
2572:
2565:
2563:
2558:
2545:
2542:
2529:
2528:
2526:
2525:
2519:
2512:
2510:
2505:
2493:
2490:
2478:
2477:
2471:
2469:
2458:
2455:
2444:
2443:
2437:
2432:
2421:
2418:
2407:
2406:
2400:
2395:
2384:
2379:
2366:
2365:
2359:
2350:
2339:
2336:
2325:
2324:
2321:
2318:
2304:
2301:
2265:
2245:
2242:
2239:
2236:
2216:
2213:
2210:
2178:
2154:
2151:
2148:
2145:
2125:
2101:
2077:
2057:
2054:
2051:
2031:
2028:
2017:
2016:
2013:
2012:
2009:
2005:
2004:
2001:
1997:
1996:
1985:
1982:
1972:
1961:
1934:
1931:
1904:
1895:is true, then
1884:
1881:
1861:
1858:
1849:is true, then
1838:
1803:
1800:
1776:
1756:
1729:truth function
1689:
1669:
1647:
1644:
1622:
1617:
1595:
1592:
1572:
1552:
1532:
1496:
1495:
1493:
1492:
1485:
1478:
1470:
1467:
1466:
1455:
1454:
1452:
1451:
1446:
1441:
1436:
1430:
1427:
1426:
1422:
1421:
1419:
1418:
1413:
1408:
1403:
1401:Truth function
1398:
1393:
1388:
1383:
1377:
1374:
1373:
1369:
1368:
1365:
1364:
1353:
1350:
1347:
1327:
1324:
1321:
1301:
1298:
1295:
1285:
1279:
1278:
1267:
1264:
1261:
1241:
1236:
1233:
1228:
1218:
1212:
1211:
1200:
1186:
1176:
1170:
1169:
1158:
1155:
1152:
1132:
1129:
1126:
1106:
1103:
1100:
1080:
1077:
1074:
1064:
1058:
1057:
1046:
1043:
1021:
1018:
996:
993:
973:
970:
960:
954:
953:
940:
936:
933:
930:
907:
904:
901:
881:
876:
873:
868:
858:
852:
851:
840:
837:
834:
814:
811:
808:
788:
785:
782:
772:
768:
767:
754:
750:
747:
744:
721:
718:
715:
695:
692:
689:
669:
664:
661:
656:
646:
640:
639:
628:
625:
622:
602:
599:
596:
576:
573:
570:
560:
554:
553:
542:
539:
536:
516:
513:
510:
490:
487:
484:
474:
468:
467:
456:
453:
450:
447:
427:
424:
421:
401:
398:
378:
375:
372:
352:
349:
346:
336:
326:
325:
315:
314:
312:
311:
304:
297:
289:
286:
285:
282:
278:
277:
274:
268:
267:
264:
258:
257:
254:
250:
249:
246:
242:
241:
233:
232:
221:
218:
215:
205:
199:
198:
186:
182:
172:
166:
165:
153:
149:
139:
133:
132:
128:
127:
120:
114:
113:
102:
99:
96:
86:
80:
79:
67:
63:
53:
49:
48:
40:
39:
15:
13:
10:
9:
6:
4:
3:
2:
8901:
8890:
8887:
8885:
8882:
8880:
8877:
8875:
8872:
8871:
8869:
8856:
8855:
8850:
8842:
8836:
8833:
8831:
8828:
8826:
8823:
8821:
8818:
8814:
8811:
8810:
8809:
8806:
8804:
8801:
8799:
8796:
8794:
8790:
8787:
8785:
8782:
8780:
8777:
8775:
8772:
8770:
8767:
8766:
8764:
8760:
8754:
8751:
8749:
8746:
8744:
8743:Recursive set
8741:
8739:
8736:
8734:
8731:
8729:
8726:
8724:
8721:
8717:
8714:
8712:
8709:
8707:
8704:
8702:
8699:
8697:
8694:
8693:
8692:
8689:
8687:
8684:
8682:
8679:
8677:
8674:
8672:
8669:
8667:
8664:
8663:
8661:
8659:
8655:
8649:
8646:
8644:
8641:
8639:
8636:
8634:
8631:
8629:
8626:
8624:
8621:
8619:
8616:
8612:
8609:
8607:
8604:
8602:
8599:
8598:
8597:
8594:
8592:
8589:
8587:
8584:
8582:
8579:
8577:
8574:
8572:
8569:
8565:
8562:
8561:
8560:
8557:
8553:
8552:of arithmetic
8550:
8549:
8548:
8545:
8541:
8538:
8536:
8533:
8531:
8528:
8526:
8523:
8521:
8518:
8517:
8516:
8513:
8509:
8506:
8504:
8501:
8500:
8499:
8496:
8495:
8493:
8491:
8487:
8481:
8478:
8476:
8473:
8471:
8468:
8466:
8463:
8460:
8459:from ZFC
8456:
8453:
8451:
8448:
8442:
8439:
8438:
8437:
8434:
8432:
8429:
8427:
8424:
8423:
8422:
8419:
8417:
8414:
8412:
8409:
8407:
8404:
8402:
8399:
8397:
8394:
8392:
8389:
8388:
8386:
8384:
8380:
8370:
8369:
8365:
8364:
8359:
8358:non-Euclidean
8356:
8352:
8349:
8347:
8344:
8342:
8341:
8337:
8336:
8334:
8331:
8330:
8328:
8324:
8320:
8317:
8315:
8312:
8311:
8310:
8306:
8302:
8299:
8298:
8297:
8293:
8289:
8286:
8284:
8281:
8279:
8276:
8274:
8271:
8269:
8266:
8264:
8261:
8260:
8258:
8254:
8253:
8251:
8246:
8240:
8235:Example
8232:
8224:
8219:
8218:
8217:
8214:
8212:
8209:
8205:
8202:
8200:
8197:
8195:
8192:
8190:
8187:
8186:
8185:
8182:
8180:
8177:
8175:
8172:
8170:
8167:
8163:
8160:
8158:
8155:
8154:
8153:
8150:
8146:
8143:
8141:
8138:
8136:
8133:
8131:
8128:
8127:
8126:
8123:
8121:
8118:
8114:
8111:
8109:
8106:
8104:
8101:
8100:
8099:
8096:
8092:
8089:
8087:
8084:
8082:
8079:
8077:
8074:
8072:
8069:
8067:
8064:
8063:
8062:
8059:
8057:
8054:
8052:
8049:
8047:
8044:
8040:
8037:
8035:
8032:
8030:
8027:
8025:
8022:
8021:
8020:
8017:
8015:
8012:
8010:
8007:
8005:
8002:
7998:
7995:
7993:
7992:by definition
7990:
7989:
7988:
7985:
7981:
7978:
7977:
7976:
7973:
7971:
7968:
7966:
7963:
7961:
7958:
7956:
7953:
7952:
7949:
7946:
7944:
7940:
7935:
7929:
7925:
7915:
7912:
7910:
7907:
7905:
7902:
7900:
7897:
7895:
7892:
7890:
7887:
7885:
7882:
7880:
7879:Kripke–Platek
7877:
7875:
7872:
7868:
7865:
7863:
7860:
7859:
7858:
7855:
7854:
7852:
7848:
7840:
7837:
7836:
7835:
7832:
7830:
7827:
7823:
7820:
7819:
7818:
7815:
7813:
7810:
7808:
7805:
7803:
7800:
7798:
7795:
7792:
7788:
7784:
7781:
7777:
7774:
7772:
7769:
7767:
7764:
7763:
7762:
7758:
7755:
7754:
7752:
7750:
7746:
7742:
7734:
7731:
7729:
7726:
7724:
7723:constructible
7721:
7720:
7719:
7716:
7714:
7711:
7709:
7706:
7704:
7701:
7699:
7696:
7694:
7691:
7689:
7686:
7684:
7681:
7679:
7676:
7674:
7671:
7669:
7666:
7664:
7661:
7659:
7656:
7655:
7653:
7651:
7646:
7638:
7635:
7633:
7630:
7628:
7625:
7623:
7620:
7618:
7615:
7613:
7610:
7609:
7607:
7603:
7600:
7598:
7595:
7594:
7593:
7590:
7588:
7585:
7583:
7580:
7578:
7575:
7573:
7569:
7565:
7563:
7560:
7556:
7553:
7552:
7551:
7548:
7547:
7544:
7541:
7539:
7535:
7525:
7522:
7520:
7517:
7515:
7512:
7510:
7507:
7505:
7502:
7500:
7497:
7493:
7490:
7489:
7488:
7485:
7481:
7476:
7475:
7474:
7471:
7470:
7468:
7466:
7462:
7454:
7451:
7449:
7446:
7444:
7441:
7440:
7439:
7436:
7434:
7431:
7429:
7426:
7424:
7421:
7419:
7416:
7414:
7411:
7409:
7406:
7405:
7403:
7401:
7400:Propositional
7397:
7391:
7388:
7386:
7383:
7381:
7378:
7376:
7373:
7371:
7368:
7366:
7363:
7359:
7356:
7355:
7354:
7351:
7349:
7346:
7344:
7341:
7339:
7336:
7334:
7331:
7329:
7328:Logical truth
7326:
7324:
7321:
7320:
7318:
7316:
7312:
7309:
7307:
7303:
7297:
7294:
7292:
7289:
7287:
7284:
7282:
7279:
7277:
7274:
7272:
7268:
7264:
7260:
7258:
7255:
7253:
7250:
7248:
7244:
7241:
7240:
7238:
7236:
7230:
7225:
7219:
7216:
7214:
7211:
7209:
7206:
7204:
7201:
7199:
7196:
7194:
7191:
7189:
7186:
7184:
7181:
7179:
7176:
7174:
7171:
7169:
7166:
7164:
7161:
7157:
7154:
7153:
7152:
7149:
7148:
7146:
7142:
7138:
7131:
7126:
7124:
7119:
7117:
7112:
7111:
7108:
7096:
7093:
7091:
7088:
7086:
7083:
7081:
7078:
7076:
7073:
7071:
7068:
7066:
7063:
7061:
7058:
7056:
7053:
7051:
7048:
7047:
7045:
7041:
7031:
7028:
7026:
7023:
7021:
7018:
7016:
7013:
7011:
7008:
7006:
7003:
7001:
6998:
6996:
6993:
6991:
6988:
6986:
6983:
6981:
6978:
6976:
6973:
6971:
6968:
6966:
6963:
6961:
6958:
6956:
6953:
6951:
6948:
6946:
6943:
6941:
6938:
6937:
6935:
6931:
6925:
6922:
6920:
6917:
6915:
6912:
6910:
6907:
6905:
6902:
6900:
6897:
6895:
6892:
6890:
6887:
6885:
6882:
6880:
6877:
6875:
6872:
6870:
6867:
6865:
6862:
6860:
6857:
6855:
6852:
6850:
6847:
6845:
6842:
6841:
6839:
6835:
6832:
6828:
6818:
6815:
6813:
6810:
6808:
6805:
6803:
6800:
6798:
6795:
6793:
6790:
6788:
6785:
6783:
6780:
6778:
6775:
6773:
6770:
6768:
6765:
6763:
6760:
6758:
6757:Performatives
6755:
6753:
6750:
6748:
6745:
6743:
6740:
6738:
6737:Logophoricity
6735:
6733:
6730:
6728:
6725:
6723:
6720:
6718:
6715:
6713:
6710:
6708:
6705:
6703:
6700:
6698:
6695:
6693:
6690:
6688:
6685:
6683:
6680:
6678:
6675:
6673:
6670:
6668:
6665:
6663:
6660:
6658:
6655:
6653:
6650:
6648:
6645:
6643:
6640:
6638:
6635:
6633:
6630:
6629:
6627:
6623:
6617:
6614:
6612:
6609:
6607:
6604:
6602:
6599:
6597:
6594:
6592:
6589:
6587:
6584:
6582:
6579:
6577:
6574:
6572:
6571:Evidentiality
6569:
6567:
6564:
6562:
6559:
6557:
6554:
6552:
6549:
6547:
6544:
6542:
6539:
6538:
6536:
6532:
6529:
6525:
6519:
6516:
6514:
6511:
6509:
6506:
6504:
6501:
6499:
6496:
6494:
6491:
6489:
6486:
6484:
6481:
6479:
6476:
6474:
6471:
6469:
6466:
6464:
6461:
6459:
6456:
6454:
6451:
6450:
6448:
6444:
6440:
6433:
6428:
6426:
6421:
6419:
6414:
6413:
6410:
6400:
6395:
6389:
6377:
6367:
6360:
6355:
6351:
6344:
6339:
6336:
6332:
6327:
6324:
6320:
6315:
6310:
6305:
6302:
6297:
6293:
6288:
6285:
6281:
6276:
6273:
6269:
6264:
6259:
6254:
6251:
6247:
6242:
6239:
6235:
6230:
6227:
6223:
6218:
6215:
6209:
6204:
6201:
6195:
6190:
6187:
6186:contradiction
6182:
6178:
6173:
6170:
6165:
6161:
6156:
6153:
6149:
6144:
6139:
6134:
6133:
6128:
6124:
6116:
6111:
6109:
6104:
6102:
6097:
6096:
6093:
6083:
6071:
6045:
6041:
6040:Contradiction
6038:
6037:
6034:
6016:
6008:
6004:
6001:
5987:
5979:
5976:
5962:
5954:
5950:
5947:
5925:
5921:
5918:
5917:
5914:
5907:
5903:
5900:
5878:
5874:
5873:Biconditional
5871:
5857:
5849:
5845:
5842:
5820:
5816:
5813:
5812:
5809:
5791:
5783:
5779:
5776:
5754:
5750:
5747:
5725:
5722:
5700:
5696:
5693:
5692:
5689:
5684:
5654:
5650:
5647:
5646:
5643:
5639:
5631:
5626:
5624:
5619:
5617:
5612:
5611:
5608:
5600:
5596:
5592:
5588:
5584:
5580:
5576:
5572:
5568:
5564:
5560:
5556:
5555:
5551:
5548:
5547:
5544:
5540:
5537:
5533:
5529:
5528:
5523:
5519:
5515:
5514:
5509:
5505:
5500:
5499:
5495:
5489:
5485:
5481:
5477:
5473:
5469:
5465:
5461:
5456:
5453:
5449:
5445:
5442:
5438:
5435:
5432:
5428:
5424:
5421:
5418:
5414:
5410:
5407:
5406:
5402:
5394:
5388:
5385:
5381:
5377:
5376:Raymond, Eric
5372:
5369:
5364:
5360:
5357:Egan, David.
5353:
5350:
5345:
5343:9781846285981
5339:
5335:
5334:
5326:
5323:
5318:
5314:
5310:
5306:
5298:
5295:
5290:
5284:
5280:
5273:
5271:
5267:
5255:
5251:
5245:
5242:
5230:
5226:
5219:
5216:
5209:
5204:
5201:
5199:
5198:Plato's beard
5196:
5194:
5191:
5189:
5186:
5184:
5181:
5179:
5176:
5174:
5171:
5169:
5166:
5164:
5161:
5159:
5156:
5153:
5150:
5149:
5144:
5142:
5140:
5136:
5132:
5128:
5120:
5118:
5108:
5104:
5095:
5083:
5000:
4924:
4913:
4907:
4899:
4895:
4891:
4887:
4882:
4868:
4864:
4860:
4856:
4852:
4848:
4844:
4840:
4832:
4828:
4824:
4820:
4816:
4812:
4808:
4800:
4758:
4756:
4749:
4741:
4739:
4737:
4733:
4732:
4727:
4705:
4685:
4665:
4653:
4639:
4616:
4575:
4555:
4535:
4526:
4512:
4492:
4478:
4474:
4458:
4438:
4415:
4407:
4403:
4402:
4385:
4362:
4339:
4319:
4311:
4307:
4301:
4293:
4291:
4289:
4270:
4264:
4258:
4252:
4246:
4240:
4237:
4208:
4202:
4199:
4188:
4184:
4165:
4159:
4153:
4147:
4141:
4135:
4132:
4103:
4097:
4091:
4085:
4079:
4073:
4070:
4016:
4008:
4006:
3989:
3986:
3983:
3977:
3972:
3968:
3964:
3961:
3958:
3953:
3949:
3923:
3919:
3912:
3909:
3906:
3901:
3897:
3887:
3881:
3873:
3869:
3865:
3862:
3859:
3854:
3850:
3843:
3835:
3833:
3825:
3823:
3821:
3816:
3799:
3796:
3793:
3787:
3782:
3778:
3774:
3771:
3768:
3763:
3759:
3755:
3750:
3746:
3720:
3716:
3712:
3707:
3703:
3696:
3693:
3690:
3682:
3678:
3674:
3669:
3665:
3658:
3653:
3649:
3645:
3637:
3633:
3629:
3626:
3623:
3618:
3614:
3610:
3605:
3601:
3594:
3571:
3568:
3565:
3559:
3554:
3550:
3546:
3543:
3540:
3535:
3531:
3527:
3522:
3518:
3508:
3506:
3502:
3486:
3474:
3454:
3448:
3445:
3436:
3430:
3427:
3424:
3411:
3393:
3387:
3384:
3375:
3369:
3366:
3363:
3350:
3349:
3348:
3346:
3342:
3338:
3334:
3327:
3325:
3323:
3318:
3298:
3291:implies that
3272:
3246:
3234:
3208:
3188:
3165:
3159:
3156:
3139:
3134:
3132:
3128:
3112:
3109:
3106:
3080:
3072:
3056:
3048:
3040:
3035:
3028:
3007:
3006:
3002:
2981:
2980:
2976:
2962:
2955:
2954:
2950:
2936:
2929:
2928:
2924:
2903:
2902:
2898:
2895:
2894:
2891:
2888:
2875:
2872:
2857:
2848:
2845:
2839:
2836:
2826:is short for
2813:
2806:
2799:
2796:
2793:
2790:
2782:
2776:
2768:
2766:
2757:", "not that
2740:
2729:
2724:
2702:
2696:
2668:
2663:
2661:
2645:
2642:
2635:The notation
2626:
2622:
2620:
2616:
2615:
2613:
2608:
2594:
2591:
2584:
2583:
2577:
2573:
2570:
2567:
2566:
2564:
2559:
2540:
2531:
2530:
2523:
2520:
2517:
2514:
2513:
2511:
2506:
2491:
2488:
2480:
2479:
2476:
2472:
2470:
2456:
2453:
2446:
2445:
2442:
2438:
2433:
2419:
2416:
2409:
2408:
2405:
2401:
2396:
2382:
2377:
2368:
2367:
2364:
2360:
2351:
2337:
2327:
2326:
2323:Vocalization
2322:
2319:
2316:
2315:
2312:
2302:
2300:
2298:
2294:
2290:
2286:
2281:
2279:
2263:
2243:
2240:
2237:
2214:
2208:
2200:
2196:
2195:contradiction
2192:
2176:
2152:
2146:
2143:
2115:
2091:
2049:
2029:
2010:
2007:
2006:
2002:
1999:
1998:
1983:
1973:
1959:
1952:
1948:
1947:
1946:
1932:
1921:
1916:
1902:
1882:
1859:
1836:
1828:
1824:
1820:
1816:
1815:logical value
1812:
1808:
1801:
1799:
1797:
1793:
1788:
1774:
1754:
1746:
1742:
1738:
1734:
1730:
1726:
1722:
1718:
1714:
1710:
1706:
1703:
1687:
1667:
1642:
1620:
1615:
1593:
1570:
1550:
1530:
1523:
1520:that takes a
1519:
1515:
1511:
1507:
1503:
1491:
1486:
1484:
1479:
1477:
1472:
1471:
1469:
1468:
1465:
1457:
1456:
1450:
1447:
1445:
1442:
1440:
1437:
1435:
1434:Digital logic
1432:
1431:
1429:
1428:
1423:
1417:
1416:Scope (logic)
1414:
1412:
1409:
1407:
1404:
1402:
1399:
1397:
1394:
1392:
1389:
1387:
1384:
1382:
1379:
1378:
1376:
1375:
1370:
1351:
1345:
1325:
1322:
1319:
1299:
1293:
1286:
1284:
1281:
1280:
1265:
1262:
1259:
1239:
1234:
1231:
1226:
1219:
1217:
1214:
1213:
1198:
1184:
1177:
1175:
1172:
1171:
1156:
1153:
1150:
1130:
1127:
1124:
1104:
1101:
1098:
1078:
1075:
1072:
1065:
1063:
1060:
1059:
1044:
1041:
1016:
994:
991:
971:
961:
959:
956:
955:
934:
931:
928:
905:
899:
879:
871:
866:
859:
857:
854:
853:
838:
835:
832:
812:
809:
806:
786:
783:
780:
773:
771:nonequivalent
770:
769:
748:
745:
742:
719:
716:
713:
693:
687:
667:
659:
654:
647:
645:
642:
641:
626:
620:
600:
597:
594:
574:
568:
561:
559:
556:
555:
540:
534:
514:
508:
488:
485:
482:
475:
473:
470:
469:
454:
445:
425:
419:
399:
396:
376:
373:
370:
350:
347:
344:
337:
335:
332:
331:
328:
327:
324:
320:
310:
305:
303:
298:
296:
291:
290:
287:
283:
279:
275:
273:
269:
265:
263:
259:
255:
251:
247:
243:
240:
234:
219:
216:
213:
206:
204:
200:
184:
173:
171:
167:
151:
140:
138:
134:
129:
125:
121:
119:
115:
97:
87:
85:
81:
65:
54:
50:
46:
41:
36:
30:
26:
22:
8845:
8643:Ultraproduct
8490:Model theory
8455:Independence
8391:Formal proof
8383:Proof theory
8366:
8339:
8296:real numbers
8268:second-order
8179:Substitution
8065:
8056:Metalanguage
7997:conservative
7970:Axiom schema
7914:Constructive
7884:Morse–Kelley
7850:Set theories
7829:Aleph number
7822:inaccessible
7728:Grothendieck
7612:intersection
7499:Higher-order
7487:Second-order
7433:Truth tables
7390:Venn diagram
7173:Formal proof
7025:Type shifter
7000:Quantization
6950:Continuation
6817:Veridicality
6697:Exhaustivity
6662:Cumulativity
6595:
6581:Indexicality
6561:Definiteness
6556:Conditionals
6483:Logical form
6313:
6271:
6262:
6257:
6142:
5920:Joint denial
5844:Exclusive or
5814:
5525:
5511:
5463:
5459:
5447:
5440:
5426:
5412:
5387:
5371:
5362:
5352:
5332:
5325:
5308:
5304:
5297:
5278:
5257:. Retrieved
5253:
5244:
5232:. Retrieved
5228:
5218:
5124:
5106:
5096:
5084:
5080:
4998:
4914:
4885:
4883:
4796:
4752:
4735:
4731:modus ponens
4729:
4654:
4527:
4476:
4472:
4405:
4399:
4309:
4303:
4287:
4186:
4182:
4012:
3836:
3829:
3817:
3509:
3478:
3337:distributing
3331:
3319:
3136:However, in
3135:
3044:
2889:
2778:
2725:
2664:
2634:
2624:
2618:
2575:
2568:
2521:
2515:
2474:
2440:
2403:
2362:
2306:
2282:
2018:
1917:
1826:
1822:
1806:
1805:
1795:
1791:
1789:
1736:
1732:
1717:truth values
1713:propositions
1513:
1509:
1505:
1499:
1425:Applications
957:
253:1-preserving
245:0-preserving
131:Normal forms
29:
8753:Type theory
8701:undecidable
8633:Truth value
8520:equivalence
8199:non-logical
7812:Enumeration
7802:Isomorphism
7749:cardinality
7733:Von Neumann
7698:Ultrafilter
7663:Uncountable
7597:equivalence
7514:Quantifiers
7504:Fixed-point
7473:First-order
7353:Consistency
7338:Proposition
7315:Traditional
7286:Lindström's
7276:Compactness
7218:Type theory
7163:Cardinality
6945:Context set
6919:Type theory
6802:Subtrigging
6566:Disjunction
6493:Proposition
6364:existential
6003:Conjunction
5953:NIMPLY gate
5778:Disjunction
5749:Implication
5409:Gabbay, Dov
5259:2 September
5234:2 September
5173:Bitwise NOT
5141:for more).
3820:truth-value
3409:, and
3345:conjunction
3341:disjunction
2899:Precedence
2320:Plain text
1920:truth table
1819:proposition
1731:that takes
1522:proposition
1510:logical not
1396:Truth table
170:Conjunctive
137:Disjunctive
84:Truth table
8868:Categories
8564:elementary
8257:arithmetic
8125:Quantifier
8103:functional
7975:Expression
7693:Transitive
7637:identities
7622:complement
7555:hereditary
7538:Set theory
7090:Pragmatics
6742:Mirativity
6508:Speech act
6463:Entailment
6458:Denotation
5753:IMPLY gate
5522:"Negation"
5504:"Negation"
5460:NeuroImage
5225:"Negation"
5210:References
5137:(see also
4823:JavaScript
4298:See also:
3738:, for all
3131:involution
3036:Properties
2773:See also:
2769:Precedence
2728:symbolized
2667:set theory
2524:complement
1802:Definition
472:equivalent
118:Logic gate
52:Definition
8874:Semantics
8835:Supertask
8738:Recursion
8696:decidable
8530:saturated
8508:of models
8431:deductive
8426:axiomatic
8346:Hilbert's
8333:Euclidean
8314:canonical
8237:axiomatic
8169:Signature
8098:Predicate
7987:Extension
7909:Ackermann
7834:Operation
7713:Universal
7703:Recursive
7678:Singleton
7673:Inhabited
7658:Countable
7648:Types of
7632:power set
7602:partition
7519:Predicate
7465:Predicate
7380:Syllogism
7370:Soundness
7343:Inference
7333:Tautology
7235:paradoxes
6894:Mereology
6830:Formalism
6712:Givenness
6637:Cataphora
6625:Phenomena
6616:Vagueness
6546:Ambiguity
6498:Reference
6478:Intension
6468:Extension
6348:universal
6226:therefore
6214:therefore
6169:tautology
6054:⊥
6017:∧
5988:↚
5963:↛
5934:↓
5902:Statement
5887:↔
5877:XNOR gate
5829:¬
5792:∨
5763:→
5734:←
5709:↑
5699:NAND gate
5663:⊤
5649:Tautology
5543:MathWorld
5532:EMS Press
5452:Blackwell
5363:Dev Notes
5163:Apophasis
4712:⊥
4709:→
4663:¬
4637:¬
4597:⊥
4490:¬
4487:¬
4436:¬
4383:¬
4360:¬
4262:¬
4256:∃
4253:≡
4235:∀
4232:¬
4197:∀
4157:¬
4151:∀
4148:≡
4130:∃
4127:¬
4095:¬
4089:∃
4086:≡
4068:∀
4065:¬
4045:∃
4025:∀
3978:∈
3962:…
3916:¬
3910:…
3894:¬
3885:¬
3863:…
3826:Self dual
3788:∈
3772:…
3713:∧
3697:⊕
3694:⋯
3691:⊕
3675:∧
3659:⊕
3627:…
3560:∈
3544:…
3487:⊕
3475:Linearity
3452:¬
3449:∨
3443:¬
3437:≡
3428:∧
3419:¬
3391:¬
3388:∧
3382:¬
3376:≡
3367:∨
3358:¬
3305:⊥
3302:→
3279:⊥
3276:→
3270:¬
3267:¬
3244:¬
3241:¬
3238:→
3215:⊥
3212:→
3186:¬
3163:¬
3160:≡
3154:¬
3151:¬
3148:¬
3110:≡
3104:¬
3101:¬
3015:↔
2989:→
2963:∨
2937:∧
2911:¬
2870:→
2855:¬
2849:∧
2840:∨
2811:→
2804:¬
2800:∧
2794:∨
2738:¬
2700:∖
2677:∖
2544:¯
2417:−
2378:∼
2335:¬
2317:Notation
2297:semantics
2264:∨
2241:∨
2235:¬
2212:→
2177:∧
2150:¬
2147:∧
2124:⊥
2100:⊥
2076:→
2056:⊥
2053:→
2027:¬
1981:¬
1930:¬
1880:¬
1857:¬
1811:operation
1646:¯
1616:∼
1591:¬
1518:operation
1349:←
1323:⊂
1297:⇐
1263:⊕
1235:_
1232:∨
1154:∥
1128:∣
1076:∨
1042:∼
1020:¯
992:−
969:¬
939:¯
903:↓
875:¯
872:∨
836:↮
753:¯
746:⋅
717:∣
691:↑
663:¯
660:∧
624:→
598:⊃
572:⇒
538:⇋
512:⇔
486:≡
452:&
449:&
423:&
374:⋅
348:∧
281:Self-dual
217:⊕
181:¬
148:¬
62:¬
8820:Logicism
8813:timeline
8789:Concrete
8648:Validity
8618:T-schema
8611:Kripke's
8606:Tarski's
8601:semantic
8591:Strength
8540:submodel
8535:spectrum
8503:function
8351:Tarski's
8340:Elements
8327:geometry
8283:Robinson
8204:variable
8189:function
8162:spectrum
8152:Sentence
8108:variable
8051:Language
8004:Relation
7965:Automata
7955:Alphabet
7939:language
7793:-jection
7771:codomain
7757:Function
7718:Universe
7688:Infinite
7592:Relation
7375:Validity
7365:Argument
7263:theorem,
7043:See also
6933:Concepts
6807:Telicity
6642:Coercion
6596:Negation
6591:Modality
6541:Anaphora
6301:superset
6212:entails,
6198:entails,
6007:AND gate
5924:NOR gate
5858:↮
5848:XOR gate
5819:NOT gate
5815:Negation
5599:Archived
5587:Archived
5575:Archived
5563:Archived
5488:17658822
5480:18771737
5425:, 2001.
5423:Horn, L.
5193:NOT gate
5145:See also
5004:unsigned
4928:unsigned
4921:x < 0
4839:ALGOL 60
4375:, infer
4332:to both
3941:for all
2896:Operator
2492:′
2303:Notation
2256:, where
1516:, is an
1506:negation
1464:Category
1283:converse
810:⇎
784:≢
262:Monotone
33:Negation
8762:Related
8559:Diagram
8457: (
8436:Hilbert
8421:Systems
8416:Theorem
8294:of the
8239:systems
8019:Formula
8014:Grammar
7930: (
7874:General
7587:Forcing
7572:Element
7492:Monadic
7267:paradox
7208:Theorem
7144:General
6551:Binding
6317:
6296:implies
6284:implies
6266:
6238:because
6146:
6121:Common
6009:)
6005: (
5955:)
5951: (
5926:)
5922: (
5904: (
5879:)
5875: (
5850:)
5846: (
5821:)
5817: (
5784:)
5782:OR gate
5780: (
5755:)
5751: (
5701:)
5697: (
5636:Common
5534:, 2001
5510:(ed.).
5158:Ampheck
5111:!voting
4475:), and
2169:(where
2068:(where
1813:on one
1796:negatum
1737:falsity
1709:notions
558:implies
8525:finite
8288:Skolem
8241:
8216:Theory
8184:Symbol
8174:String
8157:atomic
8034:ground
8029:closed
8024:atomic
7980:ground
7943:syntax
7839:binary
7766:domain
7683:Finite
7448:finite
7306:Logics
7265:
7213:Theory
6980:Monads
6527:Topics
6311:
6260:
6200:proves
6140:
6046:
5980:
5726:
5655:
5486:
5478:
5417:Kluwer
5340:
5285:
5064:return
5052:return
4985:return
4970:return
4890:binary
4867:Ratfor
4855:Eiffel
4847:Pascal
4829:, and
4505:infer
4479:(from
4451:infer
4408:(from
2518:prime,
2003:False
1809:is an
1792:negand
1196:
1188:
272:Affine
8515:Model
8263:Peano
8120:Proof
7960:Arity
7889:Naive
7776:image
7708:Fuzzy
7668:Empty
7617:union
7562:Class
7203:Model
7193:Lemma
7151:Axiom
6672:De se
6576:Focus
6534:Areas
6503:Scope
6181:false
6148:&
6044:False
5541:, on
5506:. In
5484:S2CID
5115:!clue
5103:slang
4859:Seed7
4843:BASIC
4548:then
3125:. In
3069:, is
2617:Bang
2287:in a
2011:True
2008:False
1827:false
1794:, or
1733:truth
1719:, or
1702:unary
1502:logic
8638:Type
8441:list
8245:list
8222:list
8211:Term
8145:rank
8039:open
7933:list
7745:Maps
7650:sets
7509:Free
7479:list
7229:list
7156:list
6335:nand
6164:true
5653:True
5476:PMID
5338:ISBN
5283:ISBN
5261:2020
5236:2020
5105:for
5061:else
5043:<
4982:else
4961:<
4900:or "
4869:use
4865:and
4863:PL/I
4857:and
4827:Perl
4819:Java
4797:The
4629:and
4428:and
4352:and
4185:as "
4119:and
3479:Let
3343:and
2623:Not
2574:Bar
2571:bar,
2439:Not
2402:Not
2361:Not
2092:and
2000:True
1918:The
1823:true
1192:XNOR
1174:XNOR
644:NAND
8325:of
8307:of
8255:of
7787:Sur
7761:Map
7568:Ur-
7550:Set
6924:TTR
6323:iff
6272:not
6152:and
5539:NOT
5468:doi
5313:doi
5125:In
5107:not
5087:!!x
5016:int
5010:abs
5007:int
4940:int
4934:abs
4931:int
4877:to
4851:Ada
4835:NOT
4833:. "
4831:PHP
4815:C++
4678:of
4404:),
4013:In
3830:In
3501:xor
3073:to
2765:".
2665:In
2658:is
2473:En
2276:is
2189:is
2136:as
2112:is
2088:is
1922:of
1735:to
1633:or
1512:or
1500:In
1216:XOR
958:NOT
856:NOR
334:AND
284:yes
276:yes
38:NOT
8870::
8711:NP
8335::
8329::
8259::
7936:),
7791:Bi
7783:In
6314:or
6263:or
6250:or
6143:or
5597:.
5585:.
5573:.
5561:.
5530:,
5524:,
5482:.
5474:.
5464:43
5462:.
5450:,
5429:,
5415:,
5361:.
5307:.
5269:^
5252:.
5227:.
5049:))
5028:if
4952:if
4853:,
4849:,
4841:,
4825:,
4821:,
4817:,
4809:,
4783:))
4777:==
4762:if
4738:.
3815:.
3587:,
3347::
3324:.
3317:.
3029:5
3003:4
2977:3
2951:2
2925:1
2723:.
2669:,
2662:.
2610:!p
2561:̅p
2508:p'
2435:-p
2398:~p
2357:7p
2355:,
2353:¬p
2280:.
1798:.
1787:.
1715:,
1711:,
1606:,
1504:,
1338:,
1312:,
1252:,
1143:,
1117:,
1091:,
1062:OR
1034:,
1007:,
984:,
918:,
892:,
825:,
799:,
732:,
706:,
680:,
613:,
587:,
527:,
501:,
438:,
412:,
389:,
363:,
266:no
256:no
248:no
98:01
8791:/
8706:P
8461:)
8247:)
8243:(
8140:∀
8135:!
8130:∃
8091:=
8086:↔
8081:→
8076:∧
8071:∨
8066:¬
7789:/
7785:/
7759:/
7570:)
7566:(
7453:∞
7443:3
7231:)
7129:e
7122:t
7115:v
6431:e
6424:t
6417:v
6359:∃
6343:∀
6331:|
6319:≡
6309:↔
6298:,
6292:⊃
6280:→
6268:~
6258:¬
6246:∨
6234:∵
6222:∴
6208:⊨
6194:⊢
6183:,
6177:⊥
6166:,
6160:⊤
6138:∧
6114:e
6107:t
6100:v
6042:/
5908:)
5651:/
5629:e
5622:t
5615:v
5516:.
5490:.
5470::
5454:.
5443:.
5433:.
5419:.
5365:.
5347:.
5319:.
5315::
5309:7
5291:.
5263:.
5238:.
5099:!
5091:x
5076:}
5073:;
5070:x
5067:-
5058:;
5055:x
5046:0
5040:x
5037:(
5034:!
5031:(
5025:{
5022:)
5019:x
5013:(
4994:}
4991:;
4988:x
4979:;
4976:x
4973:-
4967:)
4964:0
4958:x
4955:(
4949:{
4946:)
4943:x
4937:(
4917:-
4910:-
4902:~
4871:¬
4811:C
4807:B
4803:!
4801:"
4792:}
4786:{
4780:t
4774:r
4771:(
4768:!
4765:(
4750:.
4706:P
4686:P
4666:P
4640:P
4617:P
4576:P
4556:P
4536:P
4513:P
4493:P
4459:Q
4439:P
4416:P
4386:P
4363:Q
4340:Q
4320:P
4288:x
4274:)
4271:x
4268:(
4265:P
4259:x
4250:)
4247:x
4244:(
4241:P
4238:x
4212:)
4209:x
4206:(
4203:P
4200:x
4187:x
4183:P
4169:)
4166:x
4163:(
4160:P
4154:x
4145:)
4142:x
4139:(
4136:P
4133:x
4107:)
4104:x
4101:(
4098:P
4092:x
4083:)
4080:x
4077:(
4074:P
4071:x
3993:}
3990:1
3987:,
3984:0
3981:{
3973:n
3969:a
3965:,
3959:,
3954:1
3950:a
3929:)
3924:n
3920:a
3913:,
3907:,
3902:1
3898:a
3891:(
3888:f
3882:=
3879:)
3874:n
3870:a
3866:,
3860:,
3855:1
3851:a
3847:(
3844:f
3803:}
3800:1
3797:,
3794:0
3791:{
3783:n
3779:b
3775:,
3769:,
3764:2
3760:b
3756:,
3751:1
3747:b
3726:)
3721:n
3717:b
3708:n
3704:a
3700:(
3688:)
3683:1
3679:b
3670:1
3666:a
3662:(
3654:0
3650:a
3646:=
3643:)
3638:n
3634:b
3630:,
3624:,
3619:2
3615:b
3611:,
3606:1
3602:b
3598:(
3595:f
3575:}
3572:1
3569:,
3566:0
3563:{
3555:n
3551:a
3547:,
3541:,
3536:1
3532:a
3528:,
3523:0
3519:a
3470:.
3458:)
3455:Q
3446:P
3440:(
3434:)
3431:Q
3425:P
3422:(
3397:)
3394:Q
3385:P
3379:(
3373:)
3370:Q
3364:P
3361:(
3299:P
3273:P
3247:P
3235:P
3209:P
3189:P
3166:P
3157:P
3113:P
3107:P
3081:P
3057:P
2876:.
2873:S
2867:)
2864:)
2861:)
2858:R
2852:(
2846:Q
2843:(
2837:P
2834:(
2814:S
2807:R
2797:Q
2791:P
2763:P
2759:P
2755:P
2741:P
2721:A
2717:U
2703:A
2697:U
2646:p
2643:N
2625:p
2619:p
2595:p
2592:!
2576:p
2569:p
2541:p
2522:p
2516:p
2489:p
2475:p
2457:p
2454:N
2441:p
2420:p
2404:p
2383:p
2363:p
2338:p
2309:p
2244:Q
2238:P
2215:Q
2209:P
2167:Q
2153:Q
2144:Q
2050:P
2030:P
1984:P
1960:P
1933:P
1903:P
1883:P
1860:P
1837:P
1775:P
1755:P
1688:P
1668:P
1643:P
1621:P
1594:P
1571:P
1551:P
1531:P
1489:e
1482:t
1475:v
1352:B
1346:A
1326:B
1320:A
1300:B
1294:A
1266:B
1260:A
1240:B
1227:A
1199:B
1185:A
1157:B
1151:A
1131:B
1125:A
1105:B
1102:+
1099:A
1079:B
1073:A
1045:A
1017:A
995:A
972:A
935:B
932:+
929:A
906:B
900:A
880:B
867:A
839:B
833:A
813:B
807:A
787:B
781:A
749:B
743:A
720:B
714:A
694:B
688:A
668:B
655:A
627:B
621:A
601:B
595:A
575:B
569:A
541:B
535:A
515:B
509:A
489:B
483:A
455:B
446:A
426:B
420:A
400:B
397:A
377:B
371:A
351:B
345:A
308:e
301:t
294:v
220:x
214:1
185:x
152:x
101:)
95:(
66:x
27:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.