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