1050:
1015:
2232:
108:("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example,
395:
357:
321:
283:
241:
2221:
990:
in definitions of new terms. However, this usage of "if and only if" is relatively uncommon and overlooks the linguistic fact that the "if" of a definition is interpreted as meaning "if and only if". The majority of textbooks, research papers and articles (including
English Knowledge articles) follow
926:
a statement of the form "P iff Q" by proving either "if P, then Q" and "if Q, then P", or "if P, then Q" and "if not-P, then not-Q". Proving these pairs of statements sometimes leads to a more natural proof, since there are not obvious conditions in which one would infer a biconditional directly. An
1597:
Theorems which have the form "P if and only Q" are much prized in mathematics. They give what are called "necessary and sufficient" conditions, and give completely equivalent and hopefully interesting new ways to say exactly the same
1049:
1090:, either proper or improper, of Q. "P if Q", "if Q then P", and Q→P all mean that Q is a proper or improper subset of P. "P if and only if Q" and "Q if and only if P" both mean that the sets P and Q are identical to each other.
991:
the linguistic convention of interpreting "if" as "if and only if" whenever a mathematical definition is involved (as in "a topological space is compact if every open cover has a finite subcover"). Moreover, in the case of a
1014:
958:
It is somewhat unclear how "iff" was meant to be pronounced. In current practice, the single 'word' "iff" is almost always read as the four words "if and only if". However, in the preface of
646:
538:
423:
275:
804:
784:
456:
221:
201:
1326:(the express mention of one thing excludes all others). Moreover, it underpins the application of logic programming to the representation of legal texts and legal reasoning.
592:
349:
619:
385:
1266:
565:
311:
824:
908:
838:) make a distinction between these, in which the first, ↔, is used as a symbol in logic formulas, while ⇔ is used in reasoning about those logic formulas (e.g., in
868:
505:
484:
146:
1275:
Compared with the standard semantics for FOL, the database semantics has a more efficient implementation. Instead of reasoning with sentences of the form:
1192:
together with a "database (or logic programming) semantics". They give the example of the
English sentence "Richard has two brothers, Geoffrey and John".
1950:
1679:
966:
demands something less I use Halmos' 'iff'". The authors of one discrete mathematics textbook suggest: "Should you need to pronounce iff, really
999:
half of the definition is interpreted as a sentence in the metalanguage stating that the sentences in the definition of a predicate are the
1618:
96:
between statements. The biconditional is true in two cases, where either both statements are true or both are false. The connective is
1173:
1709:
1526:
1384:
1086:
show logical relationships among events, properties, and so forth. "P only if Q", "if P then Q", and "P→Q" all mean that P is a
1558:
1907:
1584:
931:"(P and Q) or (not-P and not-Q)", which itself can be inferred directly from either of its disjuncts—that is, because "iff" is
962:, Kelley suggests that it should be read differently: "In some cases where mathematical content requires 'if and only if' and
1891:
1867:
1836:
1761:
1738:
1418:
1323:
179:. Some authors regard "iff" as unsuitable in formal writing; others consider it a "borderline case" and tolerate its use. In
1943:
1649:
1110:
2265:
1465:
2260:
1503:
1473:
1437:
1936:
955:, who wrote "I invented 'iff,' for 'if and only if'—but I could never believe I was really its first inventor."
17:
1786:
1672:"Jan Łukasiewicz > Łukasiewicz's Parenthesis-Free or Polish Notation (Stanford Encyclopedia of Philosophy)"
2255:
180:
1360:
625:
511:
402:
248:
2201:
2196:
1671:
789:
769:
441:
206:
186:
571:
328:
2185:
598:
364:
1923:
1918:
1890:
Kowalski, R., Dávila, J., Sartor, G. and Calejo, M., 2023. Logical
English for law and education.
1237:(FOL) with the standard semantics, the same English sentence would need to be represented, using
1828:
1821:
1610:
1251:
544:
290:
2075:
2071:
1960:
1751:
1493:
1459:
1345:
992:
809:
38:
970:
so that people hear the difference from 'if'", implying that "iff" could be pronounced as .
2133:
2121:
1340:
967:
891:
160:
105:
31:
1892:
http://www.doc.ic.ac.uk/~rak/papers/Logical%20English%20for%20Law%20and%20Education%20.pdf
1701:
8:
2087:
2063:
1989:
1355:
1145:
1114:
835:
1534:
2236:
2129:
2035:
2031:
874:
853:
827:
826:, and sometimes "iff". These are usually treated as equivalent. However, some texts of
490:
469:
93:
843:
2231:
2225:
2006:
1873:
1863:
1851:
1832:
1782:
1757:
1734:
1555:
1499:
1469:
1414:
1308:
1234:
1200:
1177:
1101:
is used outside the field of logic as well. Wherever logic is applied, especially in
831:
1911:
1578:
2049:
2045:
1350:
1296:
1226:
as expressing in the metalanguage that the sentences in the database represent the
143:
In writing, phrases commonly used as alternatives to P "if and only if" Q include:
1562:
1441:
1230:
knowledge that should be considered when drawing conclusions from the database.
847:
1641:
2172:
2168:
2146:
2117:
2059:
1975:
1924:
Southern
California Philosophy for philosophy graduate students: "Just in Case"
944:
935:, "P iff Q" follows if P and Q have been shown to be both true, or both false.
932:
919:
45:
1894:
In Prolog: The Next 50 Years (pp. 287-299). Cham: Springer Nature
Switzerland.
2249:
2023:
2018:
1877:
1859:
1566:
1455:
1365:
1083:
878:
97:
89:
1222:
the knowledge relevant for problem solving in a given domain. It interprets
2083:
2001:
1997:
1480:
While it can be a real time-saver, we don't recommend it in formal writing.
1413:(Second ed.). Upper Saddle River, NJ: Pearson Education. p. 197.
1181:
923:
1214:
The database semantics interprets the database (or program) as containing
1928:
1495:
Engineering
Writing by Design: Creating Formal Documents of Lasting Value
1105:
discussions, it has the same meaning as above: it is an abbreviation for
1102:
979:
952:
928:
432:
73:
1434:
2156:
1335:
1167:
77:
1985:
1184:
note (page 282), in effect, that it is often more natural to express
839:
746:
2180:
2109:
2095:
1196:
750:
1433:
Weisstein, Eric W. "Iff." From MathWorld--A Wolfram Web
Resource.
2014:
963:
2138:
1087:
982:
are "if and only if" statements; some texts — such as Kelley's
2105:
69:
1461:
Reading, Writing, and
Proving: A Closer Look at Mathematics
1322:
The database semantics is analogous to the legal principle
943:
Usage of the abbreviation "iff" first appeared in print in
394:
356:
320:
282:
240:
1245:
interpreted in the object language, in some such form as:
1781:(3rd ed.). Boca Raton, Fla.: CRC Press. p. 60.
885:
1844:
986:— follow this convention, and use "if and only if" or
1254:
1203:, this could be represented simply by two sentences:
894:
856:
812:
792:
772:
628:
601:
574:
547:
514:
493:
472:
444:
405:
367:
331:
293:
251:
209:
189:
1268:
X(Brother(Richard, X) iff X = Geoffrey or X = John).
888:, "if and only if" is shown as a long double arrow:
1820:
1749:
1260:
938:
902:
862:
818:
798:
778:
640:
613:
586:
559:
532:
499:
478:
450:
417:
379:
343:
305:
269:
215:
195:
1753:Handbook of writing for the mathematical sciences
2247:
1492:Rothwell, Edward J.; Cloud, Michael J. (2014),
157:P is equivalent (or materially equivalent) to Q
44:"⟺" and "⇔" redirect here. For other uses, see
1408:
1944:
1850:
1777:Maurer, Stephen B.; Ralston, Anthony (2005).
1776:
1491:
1409:Copi, I. M.; Cohen, C.; Flage, D. E. (2006).
1006:
1003:determining the extension of the predicate.
37:"↔" redirects here. Not to be confused with
1453:
153:for P it is necessary and sufficient that Q
1958:
1951:
1937:
1856:Artificial Intelligence: A Modern Approach
1743:
1174:Artificial Intelligence: A Modern Approach
899:
895:
30:"Iff" redirects here. For other uses, see
1827:, American Mathematical Society, p.
1809:iff it is finite or countably infinite."
910:via command \iff or \Longleftrightarrow.
877:, i.e., the symbol in logic formulas, is
745:It is equivalent to that produced by the
223:, are used instead of these phrases; see
1109:, indicating that one statement is both
1058:is a subset but not a proper subset of
973:
766:The corresponding logical symbols are "
749:, and opposite to that produced by the
132:, there could be other scenarios where
14:
2248:
1818:
1611:"XOR/XNOR/Odd Parity/Even Parity Gate"
104:), and can be likened to the standard
1932:
1639:
1435:http://mathworld.wolfram.com/Iff.html
1324:expressio unius est exclusio alterius
1113:for the other. This is an example of
1093:
951:. Its invention is often credited to
128:is also true, whereas in the case of
1908:"Tables of truth for if and only if"
1712:from the original on 22 October 2019
1520:
1518:
1510:It is common in mathematical writing
120:is true, and the only case in which
1652:from the original on 3 October 2020
24:
1756:(2nd ed.). SIAM. p. 24.
1682:from the original on 9 August 2019
1466:Undergraduate Texts in Mathematics
1255:
641:{\displaystyle P\leftrightarrow Q}
533:{\displaystyle \neg P\land \neg Q}
524:
515:
418:{\displaystyle P\leftrightarrow Q}
270:{\displaystyle \neg P\land \neg Q}
261:
252:
25:
2277:
1900:
1621:from the original on 7 April 2022
1583:, UHM Department of Mathematics,
1527:"Conditionals and Biconditionals"
1515:
2230:
2219:
1823:A Primer of Mathematical Writing
1779:Discrete Algorithmic Mathematics
1524:
1361:If and only if in logic programs
1168:When "if" means "if and only if"
1048:
1013:
799:{\displaystyle \Leftrightarrow }
779:{\displaystyle \leftrightarrow }
451:{\displaystyle \leftrightarrow }
393:
355:
319:
281:
239:
216:{\displaystyle \Leftrightarrow }
196:{\displaystyle \leftrightarrow }
1884:
1812:
1795:
1770:
1724:
1694:
1664:
1633:
1587:from the original on 5 May 2000
1285:it uses sentences of the form:
939:Origin of iff and pronunciation
169:P precisely (or exactly) when Q
1603:
1571:
1549:
1485:
1446:
1427:
1402:
1377:
1125:in statements of definition).
896:
793:
773:
632:
605:
587:{\displaystyle P\rightarrow Q}
578:
445:
409:
371:
344:{\displaystyle P\rightarrow Q}
335:
210:
190:
13:
1:
1371:
614:{\displaystyle P\leftarrow Q}
380:{\displaystyle P\leftarrow Q}
230:
224:
59:Logical symbols representing
1919:Language Log: "Just in Case"
927:alternative is to prove the
7:
1750:Nicholas J. Higham (1998).
1329:
1207:Brother(Richard, Geoffrey).
1117:(although, as noted above,
761:
183:, logical symbols, such as
72:and related fields such as
10:
2282:
1819:Krantz, Steven G. (1996),
1007:In terms of Euler diagrams
850:, it is the prefix symbol
43:
36:
29:
2266:Necessity and sufficiency
2216:
1967:
1854:; Norvig, Peter (2020) .
1498:, CRC Press, p. 98,
1280:conclusion iff conditions
913:
88:") is paraphrased by the
2261:Mathematical terminology
1805:, p. 25: "A set is
1468:, Springer, p. 52,
1440:13 November 2018 at the
1290:conclusion if conditions
1261:{\displaystyle \forall }
1121:is more often used than
1111:necessary and sufficient
1074:if and only if it is in
1066:if and only if it is in
756:
560:{\displaystyle P\land Q}
306:{\displaystyle P\land Q}
147:necessary and sufficient
1561:18 October 2016 at the
1210:Brother(Richard, John).
830:(particularly those on
819:{\displaystyle \equiv }
84:" (often shortened as "
2237:Mathematics portal
1706:Art of Problem Solving
1389:sites.millersville.edu
1262:
1023:is a proper subset of
904:
864:
820:
800:
780:
642:
615:
588:
561:
534:
501:
480:
452:
419:
381:
345:
307:
271:
217:
197:
65:
2226:Philosophy portal
1646:mathworld.wolfram.com
1385:"Logical Connectives"
1346:Logical biconditional
1263:
1070:, and a number is in
905:
903:{\displaystyle \iff }
873:Another term for the
865:
821:
801:
781:
643:
616:
589:
562:
535:
502:
481:
453:
420:
382:
346:
308:
272:
218:
198:
53:
39:Bidirectional traffic
1341:Equivalence relation
1252:
993:recursive definition
974:Usage in definitions
892:
854:
810:
790:
770:
626:
599:
572:
545:
512:
491:
470:
442:
403:
365:
329:
291:
249:
207:
187:
161:material implication
106:material conditional
102:material equivalence
32:IFF (disambiguation)
2256:Logical connectives
1801:For instance, from
1640:Weisstein, Eric W.
1411:Essentials of Logic
1356:Logical equivalence
1146:domain of discourse
1115:mathematical jargon
968:hang on to the 'ff'
836:propositional logic
173:P exactly in case Q
1852:Russell, Stuart J.
1676:plato.stanford.edu
1567:Wolfram|Alpha
1537:on 24 October 2020
1258:
1094:More general usage
900:
875:logical connective
860:
828:mathematical logic
816:
796:
776:
638:
611:
584:
557:
530:
497:
476:
448:
415:
377:
341:
303:
267:
213:
193:
110:P if and only if Q
94:logical connective
27:Logical connective
2243:
2242:
2211:
2210:
1869:978-0-13-461099-3
1838:978-0-8218-0635-7
1763:978-0-89871-420-3
1739:978-0-387-90125-1
1731:General Topology,
1420:978-0-13-238034-8
1235:first-order logic
1062:. A number is in
1035:; a number is in
1031:only if it is in
1027:. A number is in
863:{\displaystyle E}
832:first-order logic
743:
742:
500:{\displaystyle Q}
479:{\displaystyle P}
116:is true whenever
16:(Redirected from
2273:
2235:
2234:
2224:
2223:
2222:
2154:
2103:
1983:
1970:
1969:
1953:
1946:
1939:
1930:
1929:
1915:
1910:. Archived from
1895:
1888:
1882:
1881:
1862:. p. 1136.
1848:
1842:
1841:
1826:
1816:
1810:
1803:General Topology
1799:
1793:
1792:
1774:
1768:
1767:
1747:
1741:
1728:
1722:
1721:
1719:
1717:
1698:
1692:
1691:
1689:
1687:
1668:
1662:
1661:
1659:
1657:
1637:
1631:
1630:
1628:
1626:
1607:
1601:
1600:
1594:
1592:
1575:
1569:
1553:
1547:
1546:
1544:
1542:
1533:. Archived from
1522:
1513:
1512:
1489:
1483:
1482:
1450:
1444:
1431:
1425:
1424:
1406:
1400:
1399:
1397:
1395:
1381:
1351:Logical equality
1271:Geoffrey ≠ John.
1267:
1265:
1264:
1259:
1140:means: "For any
1136:the elements of
1128:The elements of
1052:
1017:
984:General Topology
978:Conventionally,
960:General Topology
949:General Topology
933:truth-functional
909:
907:
906:
901:
869:
867:
866:
861:
825:
823:
822:
817:
805:
803:
802:
797:
785:
783:
782:
777:
647:
645:
644:
639:
620:
618:
617:
612:
593:
591:
590:
585:
566:
564:
563:
558:
539:
537:
536:
531:
506:
504:
503:
498:
485:
483:
482:
477:
464:
463:
457:
455:
454:
449:
424:
422:
421:
416:
397:
386:
384:
383:
378:
359:
350:
348:
347:
342:
323:
312:
310:
309:
304:
285:
276:
274:
273:
268:
243:
222:
220:
219:
214:
202:
200:
199:
194:
181:logical formulae
177:P just in case Q
165:P precisely if Q
100:(a statement of
57:
21:
2281:
2280:
2276:
2275:
2274:
2272:
2271:
2270:
2246:
2245:
2244:
2239:
2229:
2228:
2220:
2218:
2212:
2207:
2206:
2203:
2199:
2191:
2190:
2187:
2183:
2175:
2171:
2163:
2159:
2150:
2141:
2137:
2132:
2124:
2120:
2112:
2108:
2099:
2090:
2086:
2078:
2074:
2066:
2062:
2054:
2051:
2048:
2040:
2037:
2034:
2026:
2022:
2017:
2009:
2005:
2000:
1992:
1988:
1979:
1963:
1961:logical symbols
1957:
1906:
1903:
1898:
1889:
1885:
1870:
1849:
1845:
1839:
1817:
1813:
1800:
1796:
1789:
1775:
1771:
1764:
1748:
1744:
1729:
1725:
1715:
1713:
1700:
1699:
1695:
1685:
1683:
1670:
1669:
1665:
1655:
1653:
1638:
1634:
1624:
1622:
1609:
1608:
1604:
1590:
1588:
1577:
1576:
1572:
1563:Wayback Machine
1554:
1550:
1540:
1538:
1531:web.mnstate.edu
1525:Peil, Timothy.
1523:
1516:
1506:
1490:
1486:
1476:
1454:Daepp, Ulrich;
1451:
1447:
1442:Wayback Machine
1432:
1428:
1421:
1407:
1403:
1393:
1391:
1383:
1382:
1378:
1374:
1332:
1297:reason forwards
1253:
1250:
1249:
1170:
1156:if and only if
1096:
1079:
1053:
1044:
1018:
1009:
976:
941:
920:logical systems
916:
893:
890:
889:
855:
852:
851:
848:Polish notation
811:
808:
807:
791:
788:
787:
771:
768:
767:
764:
759:
627:
624:
623:
600:
597:
596:
573:
570:
569:
546:
543:
542:
513:
510:
509:
492:
489:
488:
471:
468:
467:
461:is as follows:
443:
440:
439:
429:
428:
427:
426:
425:
404:
401:
400:
398:
389:
388:
387:
366:
363:
362:
360:
352:
351:
330:
327:
326:
324:
315:
314:
313:
292:
289:
288:
286:
278:
277:
250:
247:
246:
244:
233:
225:§ Notation
208:
205:
204:
188:
185:
184:
66:
58:
55:
49:
42:
35:
28:
23:
22:
18:If, and only if
15:
12:
11:
5:
2279:
2269:
2268:
2263:
2258:
2241:
2240:
2217:
2214:
2213:
2209:
2208:
2204:quantification
2200:
2195:
2194:
2192:
2188:quantification
2184:
2179:
2178:
2176:
2167:
2166:
2164:
2145:
2144:
2142:
2128:
2127:
2125:
2116:
2115:
2113:
2094:
2093:
2091:
2082:
2081:
2079:
2070:
2069:
2067:
2058:
2057:
2055:
2044:
2043:
2041:
2030:
2029:
2027:
2013:
2012:
2010:
1996:
1995:
1993:
1974:
1973:
1968:
1965:
1964:
1956:
1955:
1948:
1941:
1933:
1927:
1926:
1921:
1916:
1914:on 5 May 2000.
1902:
1901:External links
1899:
1897:
1896:
1883:
1868:
1858:(4 ed.).
1843:
1837:
1811:
1794:
1787:
1769:
1762:
1742:
1723:
1702:"LaTeX:Symbol"
1693:
1663:
1632:
1615:www.cburch.com
1602:
1580:If and only if
1570:
1548:
1514:
1504:
1484:
1474:
1456:Gorkin, Pamela
1445:
1426:
1419:
1401:
1375:
1373:
1370:
1369:
1368:
1363:
1358:
1353:
1348:
1343:
1338:
1331:
1328:
1293:
1292:
1283:
1282:
1273:
1272:
1269:
1257:
1239:if and only if
1212:
1211:
1208:
1186:if and only if
1169:
1166:
1107:if and only if
1095:
1092:
1084:Euler diagrams
1081:
1080:
1054:
1047:
1045:
1019:
1012:
1008:
1005:
1001:only sentences
975:
972:
945:John L. Kelley
940:
937:
915:
912:
898:
859:
834:, rather than
815:
795:
775:
763:
760:
758:
755:
741:
740:
737:
734:
731:
728:
725:
722:
718:
717:
714:
711:
708:
705:
702:
699:
695:
694:
691:
688:
685:
682:
679:
676:
672:
671:
668:
665:
662:
659:
656:
653:
649:
648:
637:
634:
631:
621:
610:
607:
604:
594:
583:
580:
577:
567:
556:
553:
550:
540:
529:
526:
523:
520:
517:
507:
496:
486:
475:
447:
414:
411:
408:
399:
392:
391:
390:
376:
373:
370:
361:
354:
353:
340:
337:
334:
325:
318:
317:
316:
302:
299:
296:
287:
280:
279:
266:
263:
260:
257:
254:
245:
238:
237:
236:
235:
234:
232:
229:
212:
192:
159:(compare with
124:is true is if
82:if and only if
52:
46:Arrow (symbol)
26:
9:
6:
4:
3:
2:
2278:
2267:
2264:
2262:
2259:
2257:
2254:
2253:
2251:
2238:
2233:
2227:
2215:
2205:
2198:
2193:
2189:
2182:
2177:
2174:
2170:
2165:
2162:
2158:
2153:
2148:
2143:
2140:
2135:
2131:
2126:
2123:
2119:
2114:
2111:
2107:
2102:
2097:
2092:
2089:
2085:
2080:
2077:
2073:
2068:
2065:
2061:
2056:
2053:
2047:
2042:
2039:
2033:
2028:
2025:
2024:contradiction
2020:
2016:
2011:
2008:
2003:
1999:
1994:
1991:
1987:
1982:
1977:
1972:
1971:
1966:
1962:
1954:
1949:
1947:
1942:
1940:
1935:
1934:
1931:
1925:
1922:
1920:
1917:
1913:
1909:
1905:
1904:
1893:
1887:
1879:
1875:
1871:
1865:
1861:
1860:Prentice Hall
1857:
1853:
1847:
1840:
1834:
1830:
1825:
1824:
1815:
1808:
1804:
1798:
1790:
1784:
1780:
1773:
1765:
1759:
1755:
1754:
1746:
1740:
1736:
1732:
1727:
1711:
1707:
1703:
1697:
1681:
1677:
1673:
1667:
1651:
1647:
1643:
1636:
1620:
1616:
1612:
1606:
1599:
1586:
1582:
1581:
1574:
1568:
1564:
1560:
1557:
1556:p <=> q
1552:
1536:
1532:
1528:
1521:
1519:
1511:
1507:
1505:9781482234312
1501:
1497:
1496:
1488:
1481:
1477:
1475:9781441994790
1471:
1467:
1463:
1462:
1457:
1449:
1443:
1439:
1436:
1430:
1422:
1416:
1412:
1405:
1390:
1386:
1380:
1376:
1367:
1366:Polysyllogism
1364:
1362:
1359:
1357:
1354:
1352:
1349:
1347:
1344:
1342:
1339:
1337:
1334:
1333:
1327:
1325:
1320:
1318:
1314:
1310:
1306:
1302:
1298:
1291:
1288:
1287:
1286:
1281:
1278:
1277:
1276:
1270:
1248:
1247:
1246:
1244:
1240:
1236:
1231:
1229:
1225:
1221:
1217:
1209:
1206:
1205:
1204:
1202:
1201:logic program
1198:
1193:
1191:
1187:
1183:
1179:
1175:
1165:
1163:
1159:
1155:
1151:
1147:
1143:
1139:
1135:
1131:
1126:
1124:
1120:
1116:
1112:
1108:
1104:
1100:
1091:
1089:
1085:
1077:
1073:
1069:
1065:
1061:
1057:
1051:
1046:
1042:
1038:
1034:
1030:
1026:
1022:
1016:
1011:
1010:
1004:
1002:
998:
994:
989:
985:
981:
971:
969:
965:
961:
956:
954:
950:
947:'s 1955 book
946:
936:
934:
930:
925:
921:
911:
887:
882:
880:
879:exclusive nor
876:
871:
857:
849:
845:
841:
837:
833:
829:
813:
754:
752:
748:
738:
735:
732:
729:
726:
723:
720:
719:
715:
712:
709:
706:
703:
700:
697:
696:
692:
689:
686:
683:
680:
677:
674:
673:
669:
666:
663:
660:
657:
654:
651:
650:
635:
629:
622:
608:
602:
595:
581:
575:
568:
554:
551:
548:
541:
527:
521:
518:
508:
494:
487:
473:
466:
465:
462:
460:
438:
434:
412:
406:
396:
374:
368:
358:
338:
332:
322:
300:
297:
294:
284:
264:
258:
255:
242:
228:
226:
182:
178:
174:
170:
166:
162:
158:
154:
150:
148:
141:
139:
135:
131:
127:
123:
119:
115:
111:
107:
103:
99:
98:biconditional
95:
91:
90:biconditional
87:
83:
79:
75:
71:
64:
63:
62:
51:
47:
40:
33:
19:
2160:
2151:
2100:
1980:
1912:the original
1886:
1855:
1846:
1822:
1814:
1806:
1802:
1797:
1778:
1772:
1752:
1745:
1730:
1726:
1714:. Retrieved
1705:
1696:
1684:. Retrieved
1675:
1666:
1654:. Retrieved
1645:
1642:"Equivalent"
1635:
1623:. Retrieved
1614:
1605:
1596:
1589:, retrieved
1579:
1573:
1551:
1539:. Retrieved
1535:the original
1530:
1509:
1494:
1487:
1479:
1460:
1448:
1429:
1410:
1404:
1394:10 September
1392:. Retrieved
1388:
1379:
1321:
1316:
1312:
1304:
1300:
1294:
1289:
1284:
1279:
1274:
1242:
1238:
1232:
1227:
1223:
1219:
1215:
1213:
1194:
1189:
1185:
1171:
1161:
1157:
1153:
1149:
1141:
1137:
1134:all and only
1133:
1129:
1127:
1122:
1118:
1106:
1103:mathematical
1098:
1097:
1082:
1075:
1071:
1067:
1063:
1059:
1055:
1040:
1039:if it is in
1036:
1032:
1028:
1024:
1020:
1000:
996:
987:
983:
977:
959:
957:
948:
942:
917:
883:
872:
765:
744:
458:
436:
430:
176:
172:
168:
164:
156:
152:
144:
142:
137:
136:is true and
133:
129:
125:
121:
117:
113:
109:
101:
85:
81:
67:
60:
54:
50:
2202:existential
1656:4 September
1541:4 September
1313:conclusions
1305:conclusions
980:definitions
953:Paul Halmos
929:disjunction
844:Łukasiewicz
433:truth table
112:means that
74:mathematics
2250:Categories
1788:1568811667
1716:22 October
1686:22 October
1625:22 October
1591:16 October
1372:References
1336:Definition
1317:conditions
1301:conditions
231:Definition
140:is false.
78:philosophy
2186:universal
2064:therefore
2052:therefore
2007:tautology
1878:359890490
1807:countable
1309:backwards
1256:∀
1172:In their
897:⟺
840:metalogic
814:≡
794:⇔
774:↔
747:XNOR gate
633:↔
606:←
579:→
552:∧
525:¬
522:∧
516:¬
446:↔
410:↔
372:←
336:→
298:∧
262:¬
259:∧
253:¬
211:⇔
191:↔
2139:superset
2050:entails,
2036:entails,
1733:reissue
1710:Archived
1680:Archived
1650:Archived
1619:Archived
1585:archived
1559:Archived
1458:(2011),
1438:Archived
1330:See also
1197:database
918:In most
762:Notation
751:XOR gate
2155:
2134:implies
2122:implies
2104:
2076:because
1984:
1959:Common
1243:only if
1241:, with
1224:only if
1178:Russell
1144:in the
997:only if
964:euphony
806:", and
227:below.
2149:
2098:
2038:proves
1978:
1876:
1866:
1835:
1785:
1760:
1737:
1598:thing.
1502:
1472:
1417:
1182:Norvig
1160:is in
1152:is in
1088:subset
995:, the
924:proves
922:, one
914:Proofs
842:). In
175:, and
130:P if Q
2019:false
1986:&
1452:E.g.
1311:from
1299:from
1195:In a
757:Usage
149:for P
145:Q is
70:logic
2173:nand
2002:true
1874:OCLC
1864:ISBN
1833:ISBN
1783:ISBN
1758:ISBN
1735:ISBN
1718:2019
1688:2019
1658:2020
1627:2019
1593:2016
1543:2020
1500:ISBN
1470:ISBN
1415:ISBN
1396:2023
1228:only
1220:only
1218:and
1180:and
1132:are
786:", "
431:The
203:and
92:, a
76:and
56:↔⇔≡⟺
2161:iff
2110:not
1990:and
1315:to
1307:or
1303:to
1295:to
1233:In
1216:all
1199:or
1188:as
1164:."
1123:iff
1099:Iff
988:iff
886:TeX
884:In
846:'s
435:of
163:),
86:iff
80:, "
68:In
61:iff
2252::
2152:or
2101:or
2088:or
1981:or
1872:.
1831:,
1829:71
1708:.
1704:.
1678:.
1674:.
1648:.
1644:.
1617:.
1613:.
1595:,
1565:.
1529:.
1517:^
1508:,
1478:,
1464:,
1387:.
1319:.
1190:if
1176:,
1148:,
1119:if
881:.
870:.
753:.
171:,
167:,
155:,
151:,
2197:∃
2181:∀
2169:|
2157:≡
2147:↔
2136:,
2130:⊃
2118:→
2106:~
2096:¬
2084:∨
2072:∵
2060:∴
2046:⊨
2032:⊢
2021:,
2015:⊥
2004:,
1998:⊤
1976:∧
1952:e
1945:t
1938:v
1880:.
1791:.
1766:.
1720:.
1690:.
1660:.
1629:.
1545:.
1423:.
1398:.
1162:Y
1158:z
1154:X
1150:z
1142:z
1138:Y
1130:X
1078:.
1076:B
1072:C
1068:C
1064:B
1060:B
1056:C
1043:.
1041:A
1037:B
1033:B
1029:A
1025:B
1021:A
858:E
739:T
736:T
733:T
730:T
727:F
724:T
721:T
716:F
713:T
710:F
707:F
704:F
701:F
698:T
693:F
690:F
687:T
684:F
681:F
678:T
675:F
670:T
667:T
664:T
661:F
658:T
655:F
652:F
636:Q
630:P
609:Q
603:P
582:Q
576:P
555:Q
549:P
528:Q
519:P
495:Q
474:P
459:Q
437:P
413:Q
407:P
375:Q
369:P
339:Q
333:P
301:Q
295:P
265:Q
256:P
138:Q
134:P
126:Q
122:P
118:Q
114:P
48:.
41:.
34:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.