8854:
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:
1480:
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:
3590:
823:
1250:
765:
678:
5868:
890:
551:
3123:
2393:
1631:
1209:
849:
4722:
3315:
3225:
2066:
525:
951:
5897:
3025:
2556:
1658:
1032:
2225:
797:
637:
585:
465:
5973:
4222:
2163:
1362:
1310:
916:
5998:
5773:
2713:
2254:
2086:
1167:
5944:
5744:
4503:
704:
2687:
1336:
611:
5719:
1276:
499:
230:
196:
163:
77:
4055:
4035:
436:
387:
361:
3497:
2503:
1141:
1089:
730:
6027:
4747:
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:
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.
1487:
306:
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
7233:
1744:
6112:
2311:
is notated in different ways, in various contexts of discussion and fields of application. The following table documents some of these variants:
7908:
3839:
5627:
8893:
7991:
7132:
6429:
5598:
6903:
2296:
299:
5574:
5562:
8305:
5586:
4227:
4122:
4060:
3414:
3353:
2829:
8463:
5286:
7251:
8318:
7641:
6105:
1473:
4304:
There are a number of equivalent ways to formulate rules for negation. One usual way to formulate classical negation in a
6771:
6438:
5512:
3741:
3513:
2786:
292:
8323:
8313:
8050:
7903:
7256:
7247:
8459:
5620:
5341:
2783:: ¬ has higher precedence than ∧, ∧ higher than ∨, and ∨ higher than →. So for example,
7801:
8556:
8300:
7125:
3944:
3143:
3262:
7861:
7554:
6858:
6098:
5358:
5249:
7295:
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})}
8817:
8519:
8282:
8277:
8102:
7523:
7207:
6979:
6853:
6512:
6422:
3230:
8812:
8595:
8512:
8225:
8156:
8033:
7275:
6631:
6452:
5531:
4897:
4854:
802:
5392:
1222:
735:
650:
8883:
8737:
8563:
8249:
7883:
7482:
5853:
5613:
2774:
2659:
1463:
862:
530:
5379:
8615:
8610:
8220:
7959:
7888:
7217:
7118:
6517:
5526:
5430:
4846:
4818:
3321:
3096:
2371:
2288:
1609:
1180:
828:
4701:
3294:
3204:
2045:
504:
8544:
8134:
7528:
7496:
7187:
6999:
6661:
6482:
6277:
6272:
921:
5882:
3010:
2201:, where contradictions are not necessarily false. In classical logic, we also get a further identity,
8888:
8834:
8783:
8680:
8178:
8139:
7616:
7261:
7004:
6954:
6716:
6605:
6415:
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
2534:
2284:
2197:
is false, and while these ideas work in both classical and intuitionistic logic, they do not work in
1636:
1521:
1010:
24:
7290:
4915:
To get the absolute (positive equivalent) value of a given integer the following would work as the "
2204:
776:
616:
564:
441:
8675:
8605:
8144:
7996:
7979:
7702:
7182:
7064:
6923:
6502:
6261:
5958:
5151:
5138:
5134:
4850:
4806:
4192:
3130:
2666:
2139:
1341:
1289:
895:
20:
5983:
5758:
2692:
2230:
2071:
1146:
8507:
8484:
8445:
8331:
8272:
7918:
7838:
7682:
7626:
7239:
7059:
6600:
5977:
5948:
5929:
5729:
4724:. Then negation introduction and elimination are just special cases of implication introduction (
4482:
1517:
1410:
683:
169:
136:
2672:
1315:
590:
8797:
8524:
8502:
8469:
8362:
8208:
8193:
8166:
8117:
8001:
7936:
7761:
7727:
7722:
7596:
7427:
7404:
7089:
6756:
6726:
6701:
6641:
6540:
6472:
5704:
4810:
1720:
1380:
1255:
478:
209:
176:
143:
57:
5521:
5331:
4040:
4020:
415:
366:
340:
8727:
8580:
8372:
8090:
7826:
7732:
7591:
7576:
7457:
7432:
6984:
6878:
6843:
6731:
6706:
6550:
6467:
6366:
6362:
6122:
5872:
5818:
4889:
4224:
means "a person x in all humans is mortal" or "all humans are mortal". The negation of it is
3482:
3336:
2727:
1120:
1068:
709:
471:
271:
6012:
4658:
4632:
4431:
4378:
4355:
3181:
2932:
2733:
2330:
2172:
2022:
1976:
1925:
1875:
1852:
1586:
1037:
964:
8700:
8662:
8539:
8343:
8183:
8107:
8085:
7913:
7871:
7770:
7737:
7601:
7389:
7300:
6969:
6776:
6555:
6209:
6197:
6049:
5824:
5787:
5748:
5658:
5303:
Richard E. Ladner (January 1975). "The circuit value problem is log space complete for P".
5202:
4592:
4400:
3137:
3126:
3070:
2958:
2906:
2259:
2198:
2119:
2095:
1740:
1438:
557:
202:
5594:
5101:
to signify negation occasionally surfaces in ordinary written speech, as computer-related
2984:
90:
44:
8:
8829:
8720:
8705:
8685:
8642:
8529:
8479:
8405:
8350:
8287:
8080:
8075:
8023:
7791:
7780:
7452:
7352:
7280:
7271:
7267:
7202:
7197:
7054:
7019:
6964:
6908:
6811:
6796:
6766:
6746:
6721:
6590:
6575:
6354:
6163:
6151:
6002:
5777:
5187:
4905:
3822:
of the operation, or it never makes a difference. Negation is a linear logical operator.
3344:
3332:
2277:
2190:
2089:
1708:
1448:
1094:
1061:
333:
2638:
2587:
2483:
2449:
2412:
987:
392:
8878:
8858:
8627:
8590:
8575:
8568:
8551:
8355:
8337:
8203:
8129:
8112:
8065:
7878:
7787:
7621:
7606:
7566:
7518:
7503:
7491:
7447:
7422:
7192:
7141:
7099:
7024:
6994:
6959:
6939:
6868:
6848:
6786:
6781:
6691:
6681:
6666:
6610:
6398:
6326:
6322:
6205:
5637:
5570:
5558:
5483:
4681:
4612:
4571:
4551:
4531:
4508:
4454:
4411:
4335:
4315:
3076:
3052:
1955:
1898:
1832:
1770:
1750:
1704:
1683:
1663:
1566:
1546:
1526:
1443:
322:
261:
7811:
6407:
5582:
8853:
8793:
8600:
8410:
8400:
8292:
8173:
8008:
7984:
7765:
7749:
7654:
7631:
7508:
7477:
7442:
7337:
7172:
7079:
7034:
7014:
6974:
6913:
6883:
6863:
6656:
6585:
6393:
6387:
6297:
6081:
5901:
5648:
5475:
5471:
5337:
5282:
5167:
4893:
4725:
4305:
4014:
1810:
1385:
236:
5682:
5487:
8807:
8802:
8695:
8652:
8474:
8435:
8430:
8415:
8241:
8198:
8095:
7893:
7843:
7417:
7379:
7084:
7009:
6898:
6676:
6340:
6336:
5723:
5467:
5436:
5422:
5312:
5197:
5126:
4873:
for negation. Most modern languages allow the above statement to be shortened from
4798:
4754:
3818:
Another way to express this is that each variable always makes a difference in the
1405:
1282:
4528:
Negation introduction states that if an absurdity can be drawn as conclusion from
8788:
8778:
8732:
8715:
8670:
8632:
8534:
8454:
8261:
8188:
8161:
8149:
8055:
7969:
7943:
7898:
7866:
7667:
7469:
7412:
7362:
7327:
7285:
6888:
6791:
6686:
6651:
5507:
5451:
5375:
5182:
4299:
3831:
3504:
3046:
2780:
2292:
1724:
1701:
1390:
4057:(means "there exists"). The negation of one quantifier is the other quantifier (
8773:
8752:
8710:
8690:
8585:
8440:
8038:
8028:
8018:
8013:
7947:
7821:
7697:
7586:
7581:
7559:
7160:
7074:
7069:
6989:
6873:
6751:
6646:
6487:
6350:
6248:
6244:
6236:
6222:
6193:
6137:
5905:
5694:
5503:
5177:
5130:
4290:
in all humans who is not mortal", or "there exists someone who lives forever".
1728:
1400:
643:
5224:
8872:
8747:
8425:
7932:
7717:
7707:
7677:
7662:
7332:
6761:
6736:
6570:
6314:
6309:
6043:
6039:
5652:
5605:
2194:
2113:
1814:
1415:
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
8647:
8494:
8395:
8387:
8267:
8215:
8124:
8060:
8043:
7974:
7833:
7692:
7394:
7177:
7029:
6949:
6816:
6696:
6580:
6560:
6292:
6288:
6159:
5843:
5479:
4730:
2019:
Negation can be defined in terms of other logical operations. For example,
1215:
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
8757:
8637:
7816:
7806:
7753:
7437:
7357:
7342:
7222:
7167:
6944:
6918:
6801:
6565:
6492:
6090:
5952:
5919:
5549:
5172:
3819:
3340:
1919:
1818:
1716:
1712:
1395:
855:
83:
5538:
4746:"!vote" redirects here. For use of !votes in Knowledge discussions, see
7687:
7542:
7513:
7319:
7094:
6741:
6507:
6462:
6457:
6232:
5752:
5408:
4822:
1433:
117:
8839:
8742:
7795:
7712:
7672:
7636:
7572:
7384:
7374:
7347:
7110:
6893:
6711:
6636:
6615:
6545:
6497:
6477:
6147:
5876:
5698:
5542:
5162:
4748:
Knowledge:Polling is not a substitute for discussion § Not-votes
1173:
8824:
8622:
7775:
7369:
6806:
6256:
6006:
5923:
5847:
5192:
5085:
In C (and some other languages descended from C), double negation (
4838:
8420:
7212:
6305:
5781:
5457:
5157:
5281:. The basics (1. publ ed.). London: Routledge. p. 57.
4919:" changes it from negative to positive (it is negative because "
4845:, and languages with an ALGOL- or BASIC-inspired syntax such as
4189:
is mortal" and the domain of x as the collection of all humans,
6214:
5416:
4866:
4037:(means "for all") and the other is the existential quantifier
7964:
7310:
7155:
6671:
6181:
5102:
4858:
4842:
4814:
4741:
4017:, there are two quantifiers, one is the universal quantifier
1872:(pronounced "not P") would then be false; and conversely, if
1501:
5559:"Table of truth for a NOT clause applied to an END sentence"
2291:, and intuitionistic negation to pseudocomplementation in a
4862:
4826:
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)}
123:
5446:
Wansing, Heinrich, 2001, "Negation", in Goble, Lou, ed.,
5301:
Used as makeshift in early typewriter publications, e.g.
4830:
3500:
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.}
6437:
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:
5329:
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,
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
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:
5302:
4813:, and languages with a C-inspired syntax such as
2283:Algebraically, classical negation corresponds to
8870:
6904:Segmented discourse representation theory (SDRT)
3834:, a self dual function is a function such that:
5635:
2689:is also used to indicate 'not in the set of':
7126:
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:
4005:. Negation is a self dual logical operator.
3992:
3980:
3802:
3790:
3574:
3562:
3284:{\displaystyle \neg \neg P\rightarrow \bot }
5395:, p. 148 (John Benjamins Publishing, 2007).
4008:
1727:, negation is normally identified with the
7318:
7133:
7119:
6430:
6416:
6120:
6113:
6099:
5628:
5614:
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:
307:
293:
1745:Brouwer–Heyting–Kolmogorov interpretation
3252:{\displaystyle P\rightarrow \neg \neg P}
2753:can be read as "it is not the case that
2299:for classical and intuitionistic logic.
5501:
5439:, 1953–59, "On the Logic of Negation",
4753:As in mathematics, negation is used in
4609:. In this case the rule says that from
1707:. It may be applied as an operation on
818:{\displaystyle A\not \Leftrightarrow B}
8871:
7140:
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}
7114:
6859:Discourse representation theory (DRT)
6411:
6094:
5863:{\displaystyle \not \leftrightarrow }
5609:
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
5276:
5272:
5270:
5222:
4293:
885:{\displaystyle A{\overline {\lor }}B}
546:{\displaystyle A\leftrightharpoons B}
8894: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
5120:
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}
13:
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.
5402:
5267:
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:
3040:
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:
8905:
5495:
5089:) is used as an idiom to convert
4999:To demonstrate logical negation:
4757:to construct logical statements.
4286:, meaning "there exists a person
3327:
2699:
946:{\displaystyle {\overline {A+B}}}
19:For negation in linguistics, see
8852:
6392:
6381:
6075:
5892:{\displaystyle \leftrightarrow }
5681:
5472:10.1016/j.neuroimage.2008.08.004
5356:
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"
5385:
5369:
5350:
5323:
5295:
5242:
5216:
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:
8813:History of mathematical logic
6632:Antecedent-contained deletion
5968:{\displaystyle \nrightarrow }
5427:A Natural History of Negation
5209:
5135:set-theoretic complementation
4217:{\displaystyle \forall xP(x)}
3035:
2768:
2715:is the set of all members of
2193:). The idea here is that any
2158:{\displaystyle Q\land \neg Q}
1801:
1357:{\displaystyle A\leftarrow B}
1305:{\displaystyle A\Leftarrow B}
911:{\displaystyle A\downarrow B}
8738:Primitive recursive function
5993:{\displaystyle \nleftarrow }
5768:{\displaystyle \rightarrow }
4892:1s to 0s and 0s to 1s. See
3825:
3474:
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:
7:
5939:{\displaystyle \downarrow }
5739:{\displaystyle \leftarrow }
5527:Encyclopedia of Mathematics
5431:University of Chicago Press
5380:The New Hacker's Dictionary
5144:
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
2302:
2295:. These algebras provide a
1821:, that produces a value of
1817:, typically the value of a
699:{\displaystyle A\uparrow B}
10:
8910:
7802:Schröder–Bernstein theorem
7529:Monadic predicate calculus
7188: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:
8848:
8835:Philosophy of mathematics
8784:Automated theorem proving
8766:
8661:
8493:
8386:
8238:
7955:
7931:
7909:Von Neumann–Bernays–Gödel
7854:
7748:
7652:
7550:
7541:
7468:
7403:
7309:
7231:
7148:
7047:
7005:Question under discussion
6955:Conversational scoreboard
6932:
6836:
6829:
6732:Intersective modification
6717:Homogeneity (linguistics)
6624:
6533:
6526:
6445:
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:
280:
270:
260:
252:
244:
235:
225:{\displaystyle 1\oplus x}
201:
191:{\displaystyle \lnot {x}}
168:
158:{\displaystyle \lnot {x}}
135:
130:
116:
82:
72:{\displaystyle \lnot {x}}
51:
42:
37:
25:Negation (disambiguation)
7065: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
8485:Self-verifying theories
8306:Tarski's axiomatization
7257:Tarski's undefinability
7252:incompleteness theorems
7060: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}
8859:Mathematics portal
8470:Proof of impossibility
8118:propositional variable
7428:Propositional calculus
7090: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
8728:Kolmogorov complexity
8681:Computably enumerable
8581:Model complete theory
8373:Principia Mathematica
7433:Propositional formula
7262: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:
8676:Church–Turing thesis
8663:Computability theory
7872:continuum hypothesis
7390:Square of opposition
7248: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:
8884:Logical connectives
8830:Mathematical object
8721:P versus NP problem
8686:Computable function
8480:Reverse mathematics
8406:Logical consequence
8283:primitive recursive
8278:elementary function
8051:Free/bound variable
7904:Tarski–Grothendieck
7423:Logical connectives
7353:Logical equivalence
7203:Logical consequence
7055:Cognitive semantics
7020:Strawson entailment
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:
8628:Transfer principle
8591:Semantics of logic
8576:Categorical theory
8552:Non-standard model
8066:Logical connective
7193:Information theory
7142:Mathematical logic
7100:Semantics of logic
7025: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:
32:
8866:
8865:
8798:Abstract category
8601:Theories of truth
8411:Rule of inference
8401:Natural deduction
8382:
8381:
7927:
7926:
7632:Cartesian product
7537:
7536:
7443:Many-valued logic
7418:Boolean functions
7301:Russell's paradox
7276:diagonal argument
7173:First-order logic
7108:
7107:
7080:Logic translation
7043:
7042:
7035: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
8901:
8889:Unary operations
8857:
8856:
8808:History of logic
8803:Category of sets
8696:Decision problem
8475:Ordinal analysis
8416:Sequent calculus
8314:Boolean algebras
8254:
8253:
8228:
8199:logical/constant
7953:
7952:
7939:
7862:Zermelo–Fraenkel
7613:Set operations:
7548:
7547:
7485:
7316:
7315:
7296:Löwenheim–Skolem
7183:Formal semantics
7135:
7128:
7121:
7112:
7111:
7085:Linguistics wars
7010:Semantic parsing
6899:Montague grammar
6834:
6833:
6677:Deontic modality
6531:
6530:
6518:Truth conditions
6453:Compositionality
6446:Central concepts
6432:
6425:
6418:
6409:
6408:
6397:
6396:
6386:
6385:
6384:
6230:
6179:
6145:
6132:
6131:
6115:
6108:
6101:
6092:
6091:
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:
5606:
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:
2892:
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:
2313:
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:
1949:
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:
318:
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:
31:
8909:
8908:
8904:
8903:
8902:
8900:
8899:
8898:
8869:
8868:
8867:
8862:
8851:
8844:
8789:Category theory
8779:Algebraic logic
8762:
8733:Lambda calculus
8671:Church encoding
8657:
8633:Truth predicate
8489:
8455:Complete theory
8378:
8247:
8243:
8239:
8234:
8226:
7946: and
7942:
7937:
7923:
7899:New Foundations
7867:axiom of choice
7850:
7812:Gödel numbering
7752: and
7744:
7648:
7533:
7483:
7464:
7413:Boolean algebra
7399:
7363:Equiconsistency
7328:Classical logic
7305:
7286:Halting problem
7274: and
7250: and
7238: and
7237:
7232:Theorems (
7227:
7144:
7139:
7109:
7104:
7039:
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:
6365:
6357:
6353:
6345:
6342:
6339:
6331:
6328:
6325:
6317:
6313:
6308:
6300:
6296:
6291:
6283:
6282:
6279:
6275:
6267:
6266:
6263:
6259:
6251:
6247:
6239:
6235:
6226:
6217:
6213:
6208:
6200:
6196:
6188:
6184:
6175:
6166:
6162:
6154:
6150:
6141:
6125:
6123:logical symbols
6119:
6089:
6084:
6076:
6074:
6068:
6051:
6048:
6047:
6031:
6014:
6011:
6010:
5985:
5982:
5981:
5960:
5957:
5956:
5931:
5928:
5927:
5911:
5884:
5881:
5880:
5855:
5852:
5851:
5826:
5823:
5822:
5806:
5789:
5786:
5785:
5760:
5757:
5756:
5731:
5728:
5727:
5706:
5703:
5702:
5686:
5677:
5660:
5657:
5656:
5640:
5634:
5593:
5581:
5569:
5557:
5550:Tables of Truth
5520:
5498:
5405:
5403:Further reading
5400:
5399:
5390:
5386:
5374:
5370:
5355:
5351:
5344:
5328:
5324:
5305:ACM SIGACT News
5300:
5296:
5289:
5275:
5268:
5258:
5256:
5248:
5247:
5243:
5233:
5231:
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:
4703:
4700:
4699:
4683:
4680:
4679:
4660:
4657:
4656:
4634:
4631:
4630:
4614:
4611:
4610:
4594:
4591:
4590:
4573:
4570:
4569:
4553:
4550:
4549:
4533:
4530:
4529:
4510:
4507:
4506:
4484:
4481:
4480:
4456:
4453:
4452:
4433:
4430:
4429:
4413:
4410:
4409:
4380:
4377:
4376:
4357:
4354:
4353:
4337:
4334:
4333:
4317:
4314:
4313:
4302:
4300:Double negation
4296:
4229:
4226:
4225:
4194:
4191:
4190:
4124:
4121:
4120:
4062:
4059:
4058:
4042:
4039:
4038:
4022:
4019:
4018:
4011:
3971:
3967:
3952:
3948:
3946:
3943:
3942:
3922:
3918:
3900:
3896:
3872:
3868:
3853:
3849:
3841:
3838:
3837:
3832:Boolean algebra
3828:
3781:
3777:
3762:
3758:
3749:
3745:
3743:
3740:
3739:
3719:
3715:
3706:
3702:
3681:
3677:
3668:
3664:
3652:
3648:
3636:
3632:
3617:
3613:
3604:
3600:
3592:
3589:
3588:
3553:
3549:
3534:
3530:
3521:
3517:
3515:
3512:
3511:
3505:Boolean algebra
3484:
3481:
3480:
3477:
3416:
3413:
3412:
3355:
3352:
3351:
3330:
3296:
3293:
3292:
3264:
3261:
3260:
3232:
3229:
3228:
3206:
3203:
3202:
3183:
3180:
3179:
3145:
3142:
3141:
3133:of period two.
3098:
3095:
3094:
3078:
3075:
3074:
3054:
3051:
3050:
3047:classical logic
3043:
3041:Double negation
3038:
3012:
3009:
3008:
2986:
2983:
2982:
2960:
2957:
2956:
2934:
2931:
2930:
2908:
2905:
2904:
2831:
2828:
2827:
2802:
2788:
2785:
2784:
2777:
2771:
2762:
2758:
2754:
2735:
2732:
2731:
2730:, the negation
2720:
2716:
2694:
2691:
2690:
2674:
2671:
2670:
2660:Polish notation
2640:
2637:
2636:
2629:
2609:
2589:
2586:
2585:
2580:
2560:
2538:
2536:
2533:
2532:
2527:
2507:
2487:
2485:
2482:
2481:
2451:
2448:
2447:
2434:
2414:
2411:
2410:
2397:
2376:
2375:
2373:
2370:
2369:
2356:
2352:
2332:
2329:
2328:
2308:
2305:
2293:Heyting algebra
2289:Boolean algebra
2285:complementation
2261:
2258:
2257:
2232:
2229:
2228:
2206:
2203:
2202:
2174:
2171:
2170:
2166:
2141:
2138:
2137:
2121:
2118:
2117:
2097:
2094:
2093:
2073:
2070:
2069:
2047:
2044:
2043:
2024:
2021:
2020:
1978:
1975:
1974:
1957:
1954:
1953:
1945:is as follows:
1927:
1924:
1923:
1900:
1897:
1896:
1877:
1874:
1873:
1854:
1851:
1850:
1834:
1831:
1830:
1804:
1772:
1769:
1768:
1752:
1749:
1748:
1725:classical logic
1721:semantic values
1685:
1682:
1681:
1665:
1662:
1661:
1640:
1638:
1635:
1634:
1614:
1613:
1611:
1608:
1607:
1588:
1585:
1584:
1568:
1565:
1564:
1548:
1545:
1544:
1528:
1525:
1524:
1494:
1453:
1420:
1391:Boolean algebra
1386:Predicate logic
1343:
1340:
1339:
1317:
1314:
1313:
1291:
1288:
1287:
1257:
1254:
1253:
1229:
1224:
1221:
1220:
1190:
1182:
1179:
1178:
1148:
1145:
1144:
1122:
1119:
1118:
1096:
1093:
1092:
1070:
1067:
1066:
1039:
1036:
1035:
1014:
1012:
1009:
1008:
989:
986:
985:
966:
963:
962:
927:
925:
923:
920:
919:
897:
894:
893:
869:
864:
861:
860:
830:
827:
826:
804:
801:
800:
778:
775:
774:
741:
739:
737:
734:
733:
711:
708:
707:
685:
682:
681:
657:
652:
649:
648:
618:
615:
614:
592:
589:
588:
566:
563:
562:
532:
529:
528:
506:
503:
502:
480:
477:
476:
443:
440:
439:
417:
414:
413:
394:
391:
390:
368:
365:
364:
342:
339:
338:
313:
238:Post's lattices
237:
211:
208:
207:
183:
178:
175:
174:
150:
145:
142:
141:
92:
89:
88:
64:
59:
56:
55:
28:
17:
12:
11:
5:
8907:
8897:
8896:
8891:
8886:
8881:
8864:
8863:
8849:
8846:
8845:
8843:
8842:
8837:
8832:
8827:
8822:
8821:
8820:
8810:
8805:
8800:
8791:
8786:
8781:
8776:
8774:Abstract logic
8770:
8768:
8764:
8763:
8761:
8760:
8755:
8753:Turing machine
8750:
8745:
8740:
8735:
8730:
8725:
8724:
8723:
8718:
8713:
8708:
8703:
8693:
8691:Computable set
8688:
8683:
8678:
8673:
8667:
8665:
8659:
8658:
8656:
8655:
8650:
8645:
8640:
8635:
8630:
8625:
8620:
8619:
8618:
8613:
8608:
8598:
8593:
8588:
8586:Satisfiability
8583:
8578:
8573:
8572:
8571:
8561:
8560:
8559:
8549:
8548:
8547:
8542:
8537:
8532:
8527:
8517:
8516:
8515:
8510:
8503:Interpretation
8499:
8497:
8491:
8490:
8488:
8487:
8482:
8477:
8472:
8467:
8457:
8452:
8451:
8450:
8449:
8448:
8438:
8433:
8423:
8418:
8413:
8408:
8403:
8398:
8392:
8390:
8384:
8383:
8380:
8379:
8377:
8376:
8368:
8367:
8366:
8365:
8360:
8359:
8358:
8353:
8348:
8328:
8327:
8326:
8324:minimal axioms
8321:
8310:
8309:
8308:
8297:
8296:
8295:
8290:
8285:
8280:
8275:
8270:
8257:
8255:
8236:
8235:
8233:
8232:
8231:
8230:
8218:
8213:
8212:
8211:
8206:
8201:
8196:
8186:
8181:
8176:
8171:
8170:
8169:
8164:
8154:
8153:
8152:
8147:
8142:
8137:
8127:
8122:
8121:
8120:
8115:
8110:
8100:
8099:
8098:
8093:
8088:
8083:
8078:
8073:
8063:
8058:
8053:
8048:
8047:
8046:
8041:
8036:
8031:
8021:
8016:
8014:Formation rule
8011:
8006:
8005:
8004:
7999:
7989:
7988:
7987:
7977:
7972:
7967:
7962:
7956:
7950:
7933:Formal systems
7929:
7928:
7925:
7924:
7922:
7921:
7916:
7911:
7906:
7901:
7896:
7891:
7886:
7881:
7876:
7875:
7874:
7869:
7858:
7856:
7852:
7851:
7849:
7848:
7847:
7846:
7836:
7831:
7830:
7829:
7822:Large cardinal
7819:
7814:
7809:
7804:
7799:
7785:
7784:
7783:
7778:
7773:
7758:
7756:
7746:
7745:
7743:
7742:
7741:
7740:
7735:
7730:
7720:
7715:
7710:
7705:
7700:
7695:
7690:
7685:
7680:
7675:
7670:
7665:
7659:
7657:
7650:
7649:
7647:
7646:
7645:
7644:
7639:
7634:
7629:
7624:
7619:
7611:
7610:
7609:
7604:
7594:
7589:
7587:Extensionality
7584:
7582:Ordinal number
7579:
7569:
7564:
7563:
7562:
7551:
7545:
7539:
7538:
7535:
7534:
7532:
7531:
7526:
7521:
7516:
7511:
7506:
7501:
7500:
7499:
7489:
7488:
7487:
7474:
7472:
7466:
7465:
7463:
7462:
7461:
7460:
7455:
7450:
7440:
7435:
7430:
7425:
7420:
7415:
7409:
7407:
7401:
7400:
7398:
7397:
7392:
7387:
7382:
7377:
7372:
7367:
7366:
7365:
7355:
7350:
7345:
7340:
7335:
7330:
7324:
7322:
7313:
7307:
7306:
7304:
7303:
7298:
7293:
7288:
7283:
7278:
7266:Cantor's
7264:
7259:
7254:
7244:
7242:
7229:
7228:
7226:
7225:
7220:
7215:
7210:
7205:
7200:
7195:
7190:
7185:
7180:
7175:
7170:
7165:
7164:
7163:
7152:
7150:
7146:
7145:
7138:
7137:
7130:
7123:
7115:
7106:
7105:
7103:
7102:
7097:
7092:
7087:
7082:
7077:
7075:Inferentialism
7072:
7070:Formal grammar
7067:
7062:
7057:
7051:
7049:
7045:
7044:
7041:
7040:
7038:
7037:
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:
6435:
6434:
6427:
6420:
6412:
6403:
6402:
6379:
6376:
6375:
6371:
6370:
6361:
6360:
6358:
6349:
6348:
6346:
6335:
6334:
6332:
6321:
6320:
6318:
6304:
6303:
6301:
6287:
6286:
6284:
6280:quantification
6276:
6271:
6270:
6268:
6264:quantification
6260:
6255:
6254:
6252:
6243:
6242:
6240:
6221:
6220:
6218:
6204:
6203:
6201:
6192:
6191:
6189:
6170:
6169:
6167:
6158:
6157:
6155:
6136:
6135:
6130:
6127:
6126:
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:
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:
9:
6:
4:
3:
2:
8906:
8895:
8892:
8890:
8887:
8885:
8882:
8880:
8877:
8876:
8874:
8861:
8860:
8855:
8847:
8841:
8838:
8836:
8833:
8831:
8828:
8826:
8823:
8819:
8816:
8815:
8814:
8811:
8809:
8806:
8804:
8801:
8799:
8795:
8792:
8790:
8787:
8785:
8782:
8780:
8777:
8775:
8772:
8771:
8769:
8765:
8759:
8756:
8754:
8751:
8749:
8748:Recursive set
8746:
8744:
8741:
8739:
8736:
8734:
8731:
8729:
8726:
8722:
8719:
8717:
8714:
8712:
8709:
8707:
8704:
8702:
8699:
8698:
8697:
8694:
8692:
8689:
8687:
8684:
8682:
8679:
8677:
8674:
8672:
8669:
8668:
8666:
8664:
8660:
8654:
8651:
8649:
8646:
8644:
8641:
8639:
8636:
8634:
8631:
8629:
8626:
8624:
8621:
8617:
8614:
8612:
8609:
8607:
8604:
8603:
8602:
8599:
8597:
8594:
8592:
8589:
8587:
8584:
8582:
8579:
8577:
8574:
8570:
8567:
8566:
8565:
8562:
8558:
8557:of arithmetic
8555:
8554:
8553:
8550:
8546:
8543:
8541:
8538:
8536:
8533:
8531:
8528:
8526:
8523:
8522:
8521:
8518:
8514:
8511:
8509:
8506:
8505:
8504:
8501:
8500:
8498:
8496:
8492:
8486:
8483:
8481:
8478:
8476:
8473:
8471:
8468:
8465:
8464:from ZFC
8461:
8458:
8456:
8453:
8447:
8444:
8443:
8442:
8439:
8437:
8434:
8432:
8429:
8428:
8427:
8424:
8422:
8419:
8417:
8414:
8412:
8409:
8407:
8404:
8402:
8399:
8397:
8394:
8393:
8391:
8389:
8385:
8375:
8374:
8370:
8369:
8364:
8363:non-Euclidean
8361:
8357:
8354:
8352:
8349:
8347:
8346:
8342:
8341:
8339:
8336:
8335:
8333:
8329:
8325:
8322:
8320:
8317:
8316:
8315:
8311:
8307:
8304:
8303:
8302:
8298:
8294:
8291:
8289:
8286:
8284:
8281:
8279:
8276:
8274:
8271:
8269:
8266:
8265:
8263:
8259:
8258:
8256:
8251:
8245:
8240:Example
8237:
8229:
8224:
8223:
8222:
8219:
8217:
8214:
8210:
8207:
8205:
8202:
8200:
8197:
8195:
8192:
8191:
8190:
8187:
8185:
8182:
8180:
8177:
8175:
8172:
8168:
8165:
8163:
8160:
8159:
8158:
8155:
8151:
8148:
8146:
8143:
8141:
8138:
8136:
8133:
8132:
8131:
8128:
8126:
8123:
8119:
8116:
8114:
8111:
8109:
8106:
8105:
8104:
8101:
8097:
8094:
8092:
8089:
8087:
8084:
8082:
8079:
8077:
8074:
8072:
8069:
8068:
8067:
8064:
8062:
8059:
8057:
8054:
8052:
8049:
8045:
8042:
8040:
8037:
8035:
8032:
8030:
8027:
8026:
8025:
8022:
8020:
8017:
8015:
8012:
8010:
8007:
8003:
8000:
7998:
7997:by definition
7995:
7994:
7993:
7990:
7986:
7983:
7982:
7981:
7978:
7976:
7973:
7971:
7968:
7966:
7963:
7961:
7958:
7957:
7954:
7951:
7949:
7945:
7940:
7934:
7930:
7920:
7917:
7915:
7912:
7910:
7907:
7905:
7902:
7900:
7897:
7895:
7892:
7890:
7887:
7885:
7884:Kripke–Platek
7882:
7880:
7877:
7873:
7870:
7868:
7865:
7864:
7863:
7860:
7859:
7857:
7853:
7845:
7842:
7841:
7840:
7837:
7835:
7832:
7828:
7825:
7824:
7823:
7820:
7818:
7815:
7813:
7810:
7808:
7805:
7803:
7800:
7797:
7793:
7789:
7786:
7782:
7779:
7777:
7774:
7772:
7769:
7768:
7767:
7763:
7760:
7759:
7757:
7755:
7751:
7747:
7739:
7736:
7734:
7731:
7729:
7728:constructible
7726:
7725:
7724:
7721:
7719:
7716:
7714:
7711:
7709:
7706:
7704:
7701:
7699:
7696:
7694:
7691:
7689:
7686:
7684:
7681:
7679:
7676:
7674:
7671:
7669:
7666:
7664:
7661:
7660:
7658:
7656:
7651:
7643:
7640:
7638:
7635:
7633:
7630:
7628:
7625:
7623:
7620:
7618:
7615:
7614:
7612:
7608:
7605:
7603:
7600:
7599:
7598:
7595:
7593:
7590:
7588:
7585:
7583:
7580:
7578:
7574:
7570:
7568:
7565:
7561:
7558:
7557:
7556:
7553:
7552:
7549:
7546:
7544:
7540:
7530:
7527:
7525:
7522:
7520:
7517:
7515:
7512:
7510:
7507:
7505:
7502:
7498:
7495:
7494:
7493:
7490:
7486:
7481:
7480:
7479:
7476:
7475:
7473:
7471:
7467:
7459:
7456:
7454:
7451:
7449:
7446:
7445:
7444:
7441:
7439:
7436:
7434:
7431:
7429:
7426:
7424:
7421:
7419:
7416:
7414:
7411:
7410:
7408:
7406:
7405:Propositional
7402:
7396:
7393:
7391:
7388:
7386:
7383:
7381:
7378:
7376:
7373:
7371:
7368:
7364:
7361:
7360:
7359:
7356:
7354:
7351:
7349:
7346:
7344:
7341:
7339:
7336:
7334:
7333:Logical truth
7331:
7329:
7326:
7325:
7323:
7321:
7317:
7314:
7312:
7308:
7302:
7299:
7297:
7294:
7292:
7289:
7287:
7284:
7282:
7279:
7277:
7273:
7269:
7265:
7263:
7260:
7258:
7255:
7253:
7249:
7246:
7245:
7243:
7241:
7235:
7230:
7224:
7221:
7219:
7216:
7214:
7211:
7209:
7206:
7204:
7201:
7199:
7196:
7194:
7191:
7189:
7186:
7184:
7181:
7179:
7176:
7174:
7171:
7169:
7166:
7162:
7159:
7158:
7157:
7154:
7153:
7151:
7147:
7143:
7136:
7131:
7129:
7124:
7122:
7117:
7116:
7113:
7101:
7098:
7096:
7093:
7091:
7088:
7086:
7083:
7081:
7078:
7076:
7073:
7071:
7068:
7066:
7063:
7061:
7058:
7056:
7053:
7052:
7050:
7046:
7036:
7033:
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:
6368:
6364:
6359:
6356:
6352:
6347:
6344:
6338:
6333:
6330:
6324:
6319:
6316:
6315:contradiction
6311:
6307:
6302:
6299:
6294:
6290:
6285:
6281:
6274:
6269:
6265:
6258:
6253:
6250:
6246:
6241:
6238:
6234:
6229:
6224:
6219:
6216:
6211:
6207:
6202:
6199:
6195:
6190:
6187:
6183:
6178:
6173:
6168:
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:
5489:
5485:
5481:
5477:
5473:
5469:
5465:
5461:
5456:
5453:
5449:
5445:
5442:
5438:
5435:
5432:
5428:
5424:
5421:
5418:
5414:
5410:
5407:
5406:
5394:
5388:
5381:
5377:
5376:Raymond, Eric
5372:
5364:
5360:
5357:Egan, David.
5353:
5345:
5343:9781846285981
5339:
5335:
5334:
5326:
5318:
5314:
5310:
5306:
5298:
5290:
5284:
5280:
5273:
5271:
5255:
5251:
5245:
5230:
5226:
5219:
5215:
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:
5142:
5140:
5136:
5132:
5128:
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:
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:
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:
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:
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:
3454:
3448:
3445:
3436:
3430:
3427:
3424:
3411:
3393:
3387:
3384:
3375:
3369:
3366:
3363:
3350:
3349:
3348:
3346:
3342:
3338:
3334:
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:
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:
2766:
2757:", "not that
2740:
2729:
2724:
2702:
2696:
2676:
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:
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:
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:
1424:
1423:
1417:
1416:Scope (logic)
1414:
1412:
1409:
1407:
1404:
1402:
1399:
1397:
1394:
1392:
1389:
1387:
1384:
1382:
1379:
1378:
1376:
1375:
1371:
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:
321:
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:
8850:
8648:Ultraproduct
8495:Model theory
8460:Independence
8396:Formal proof
8388:Proof theory
8371:
8344:
8301:real numbers
8273:second-order
8184:Substitution
8070:
8061:Metalanguage
8002:conservative
7975:Axiom schema
7919:Constructive
7889:Morse–Kelley
7855:Set theories
7834:Aleph number
7827:inaccessible
7733:Grothendieck
7617:intersection
7504:Higher-order
7492:Second-order
7438:Truth tables
7395:Venn diagram
7178:Formal proof
7030:Type shifter
7000:Quantization
6950:Continuation
6817:Veridicality
6697:Exhaustivity
6662:Cumulativity
6595:
6581:Indexicality
6561:Definiteness
6556:Conditionals
6483:Logical form
6227:
6185:
6176:
6171:
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:
8758:Type theory
8706:undecidable
8638:Truth value
8525:equivalence
8204:non-logical
7817:Enumeration
7807:Isomorphism
7754:cardinality
7738:Von Neumann
7703:Ultrafilter
7668:Uncountable
7602:equivalence
7519:Quantifiers
7509:Fixed-point
7478:First-order
7358:Consistency
7343:Proposition
7320:Traditional
7291:Lindström's
7281:Compactness
7223:Type theory
7168:Cardinality
6945:Context set
6919:Type theory
6802:Subtrigging
6566:Disjunction
6493:Proposition
6278: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
8873:Categories
8569:elementary
8262:arithmetic
8130:Quantifier
8108:functional
7980:Expression
7698:Transitive
7642:identities
7627:complement
7560:hereditary
7543:Set theory
7095: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
8879:Semantics
8840:Supertask
8743:Recursion
8701:decidable
8535:saturated
8513:of models
8436:deductive
8431:axiomatic
8351:Hilbert's
8338:Euclidean
8319:canonical
8242:axiomatic
8174:Signature
8103:Predicate
7992:Extension
7914:Ackermann
7839:Operation
7718:Universal
7708:Recursive
7683:Singleton
7678:Inhabited
7663:Countable
7653:Types of
7637:power set
7607:partition
7524:Predicate
7470:Predicate
7385:Syllogism
7375:Soundness
7348:Inference
7338:Tautology
7240:paradoxes
6894:Mereology
6830:Formalism
6712:Givenness
6637:Cataphora
6625:Phenomena
6616:Vagueness
6546:Ambiguity
6498:Reference
6478:Intension
6468:Extension
6355:therefore
6343:therefore
6298:tautology
6262:universal
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:¬
8825:Logicism
8818:timeline
8794:Concrete
8653:Validity
8623:T-schema
8616:Kripke's
8611:Tarski's
8606:semantic
8596:Strength
8545:submodel
8540:spectrum
8508:function
8356:Tarski's
8345:Elements
8332:geometry
8288:Robinson
8209:variable
8194:function
8167:spectrum
8157:Sentence
8113:variable
8056:Language
8009:Relation
7970:Automata
7960:Alphabet
7944:language
7798:-jection
7776:codomain
7762:Function
7723:Universe
7693:Infinite
7597:Relation
7380:Validity
7370:Argument
7268:theorem,
7048:See also
6933:Concepts
6807:Telicity
6642:Coercion
6596:Negation
6591:Modality
6541:Anaphora
6341:entails,
6327:entails,
6215:superset
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
8767:Related
8564:Diagram
8462: (
8441:Hilbert
8426:Systems
8421:Theorem
8299:of the
8244:systems
8024:Formula
8019:Grammar
7935: (
7879:General
7592:Forcing
7577:Element
7497:Monadic
7272:paradox
7213:Theorem
7149:General
6551:Binding
6367:because
6231:
6210:implies
6198:implies
6180:
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
8530:finite
8293:Skolem
8246:
8221:Theory
8189:Symbol
8179:String
8162:atomic
8039:ground
8034:closed
8029:atomic
7985:ground
7948:syntax
7844:binary
7771:domain
7688:Finite
7453:finite
7311:Logics
7270:
7218:Theory
6980:Monads
6527:Topics
6329:proves
6225:
6174:
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
8520:Model
8268:Peano
8125:Proof
7965:Arity
7894:Naive
7781:image
7713:Fuzzy
7673:Empty
7622:union
7567:Class
7208:Model
7198:Lemma
7156:Axiom
6672:De se
6576:Focus
6534:Areas
6503:Scope
6310: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
8643:Type
8446:list
8250:list
8227:list
8216:Term
8150:rank
8044:open
7938:list
7750:Maps
7655:sets
7514:Free
7484:list
7234:list
7161:list
6293:true
6249:nand
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
8330:of
8312:of
8260:of
7792:Sur
7766:Map
7573:Ur-
7555:Set
6924:TTR
6237:iff
6186: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
8875::
8716:NP
8340::
8334::
8264::
7941:),
7796:Bi
7788:In
6228:or
6177:or
6164: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
8796:/
8711:P
8466:)
8252:)
8248:(
8145:∀
8140:!
8135:∃
8096:=
8091:↔
8086:→
8081:∧
8076:∨
8071:¬
7794:/
7790:/
7764:/
7575:)
7571:(
7458:∞
7448:3
7236:)
7134:e
7127:t
7120:v
6431:e
6424:t
6417:v
6363:∵
6351:∴
6337:⊨
6323:⊢
6312:,
6306:⊥
6295:,
6289:⊤
6273:∃
6257:∀
6245:|
6233:≡
6223:↔
6212:,
6206:⊃
6194:→
6182:~
6172:¬
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.