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