[{"data":1,"prerenderedAt":3624},["ShallowReactive",2],{"subject-categories-math":3,"formula-de\u002Fformulas\u002Fmath\u002Fdiscrete-math\u002Fde-morgan-regeln-logik":546,"formula-related-de\u002Fformulas\u002Fmath\u002Fdiscrete-math\u002Fde-morgan-regeln-logik":3617},[4,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,173,174,175,176,177,178,179,180,181,182,183,184,185,186,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545],{"category":5},"algebra",{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":5},{"category":65},"arithmetic",{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":65},{"category":101},"calculus",{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":101},{"category":172},"differential-equations",{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":172},{"category":187},"discrete-math",{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":187},{"category":208},"functions",{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":208},{"category":247},"geometry",{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":247},{"category":312},"linear-algebra",{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":312},{"category":368},"multivariable-calculus",{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":368},{"category":391},"numerics",{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":391},{"category":412},"sequences-series",{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":412},{"category":441},"stochastics",{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":441},{"category":518},"trigonometry",{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"category":518},{"id":547,"title":548,"aliases":549,"body":556,"category":187,"checks":3555,"conditions":3578,"conditionsHtml":3578,"deprecated":3578,"description":3549,"extension":3579,"figure":3578,"figureCaption":3578,"figureHtml":3578,"formulaId":3580,"latex":3581,"latexHtml":3582,"level":3583,"meta":3584,"navigation":3585,"path":3586,"redirectFrom":3587,"related":3588,"seo":3591,"stem":3592,"subject":590,"summary":3593,"tags":3594,"variables":3599,"__hash__":3616},"formulas_de\u002Fde\u002Fformulas\u002Fmath\u002Fdiscrete-math\u002Fde-morgan-regeln-logik.md","De-Morgan-Regeln der Logik",[550,551,552,553,554,555],"De Morgan Logik","Verneinung von und","Verneinung von oder","nicht (A und B)","Morgansche Gesetze","Negation Quantoren",{"type":557,"value":558,"toc":3548},"minimark",[559,564,577,660,1544,1547,1554,1886,1906,1910,2077,2291,2294,2695,3070,3074],[560,561,563],"h2",{"id":562},"erklärung","Erklärung",[565,566,567,568,572,573,576],"p",{},"Die ",[569,570,571],"strong",{},"De-Morgan-Regeln"," sagen, wie man eine Und- oder Oder-Verknüpfung ",[569,574,575],{},"verneint",": Die Negation wird auf beide Teile verteilt, und dabei wird aus „und“ ein „oder“ und aus „oder“ ein „und“.",[565,578,579,580,627,628,659],{},"Wahrheitstafel der ersten Regel (",[581,582,585,607],"span",{"className":583},[584],"katex",[581,586,589],{"className":587},[588],"katex-mathml",[590,591,593],"math",{"xmlns":592},"http:\u002F\u002Fwww.w3.org\u002F1998\u002FMath\u002FMathML",[594,595,596,603],"semantics",{},[597,598,599],"mrow",{},[600,601,602],"mi",{},"w",[604,605,602],"annotation",{"encoding":606},"application\u002Fx-tex",[581,608,612],{"className":609,"ariaHidden":611},[610],"katex-html","true",[581,613,616,621],{"className":614},[615],"base",[581,617],{"className":618,"style":620},[619],"strut","height:0.4306em;",[581,622,602],{"className":623,"style":626},[624,625],"mord","mathnormal","margin-right:0.0269em;"," = wahr, ",[581,629,631,645],{"className":630},[584],[581,632,634],{"className":633},[588],[590,635,636],{"xmlns":592},[594,637,638,643],{},[597,639,640],{},[600,641,642],{},"f",[604,644,642],{"encoding":606},[581,646,648],{"className":647,"ariaHidden":611},[610],[581,649,651,655],{"className":650},[615],[581,652],{"className":653,"style":654},[619],"height:0.8889em;vertical-align:-0.1944em;",[581,656,642],{"className":657,"style":658},[624,625],"margin-right:0.1076em;"," = falsch):",[661,662,663,932],"table",{},[664,665,666],"thead",{},[667,668,669,702,734,792,868],"tr",{},[670,671,672],"th",{},[581,673,675,689],{"className":674},[584],[581,676,678],{"className":677},[588],[590,679,680],{"xmlns":592},[594,681,682,687],{},[597,683,684],{},[600,685,686],{},"A",[604,688,686],{"encoding":606},[581,690,692],{"className":691,"ariaHidden":611},[610],[581,693,695,699],{"className":694},[615],[581,696],{"className":697,"style":698},[619],"height:0.6833em;",[581,700,686],{"className":701},[624,625],[670,703,704],{},[581,705,707,721],{"className":706},[584],[581,708,710],{"className":709},[588],[590,711,712],{"xmlns":592},[594,713,714,719],{},[597,715,716],{},[600,717,718],{},"B",[604,720,718],{"encoding":606},[581,722,724],{"className":723,"ariaHidden":611},[610],[581,725,727,730],{"className":726},[615],[581,728],{"className":729,"style":698},[619],[581,731,718],{"className":732,"style":733},[624,625],"margin-right:0.0502em;",[670,735,736],{},[581,737,739,759],{"className":738},[584],[581,740,742],{"className":741},[588],[590,743,744],{"xmlns":592},[594,745,746,756],{},[597,747,748,750,754],{},[600,749,686],{},[751,752,753],"mo",{},"∧",[600,755,718],{},[604,757,758],{"encoding":606},"A \\wedge B",[581,760,762,783],{"className":761,"ariaHidden":611},[610],[581,763,765,768,771,776,780],{"className":764},[615],[581,766],{"className":767,"style":698},[619],[581,769,686],{"className":770},[624,625],[581,772],{"className":773,"style":775},[774],"mspace","margin-right:0.2222em;",[581,777,753],{"className":778},[779],"mbin",[581,781],{"className":782,"style":775},[774],[581,784,786,789],{"className":785},[615],[581,787],{"className":788,"style":698},[619],[581,790,718],{"className":791,"style":733},[624,625],[670,793,794],{},[581,795,797,826],{"className":796},[584],[581,798,800],{"className":799},[588],[590,801,802],{"xmlns":592},[594,803,804,823],{},[597,805,806,810,814,816,818,820],{},[600,807,809],{"mathvariant":808},"normal","¬",[751,811,813],{"stretchy":812},"false","(",[600,815,686],{},[751,817,753],{},[600,819,718],{},[751,821,822],{"stretchy":812},")",[604,824,825],{"encoding":606},"\\neg(A \\wedge B)",[581,827,829,855],{"className":828,"ariaHidden":611},[610],[581,830,832,836,839,843,846,849,852],{"className":831},[615],[581,833],{"className":834,"style":835},[619],"height:1em;vertical-align:-0.25em;",[581,837,809],{"className":838},[624],[581,840,813],{"className":841},[842],"mopen",[581,844,686],{"className":845},[624,625],[581,847],{"className":848,"style":775},[774],[581,850,753],{"className":851},[779],[581,853],{"className":854,"style":775},[774],[581,856,858,861,864],{"className":857},[615],[581,859],{"className":860,"style":835},[619],[581,862,718],{"className":863,"style":733},[624,625],[581,865,822],{"className":866},[867],"mclose",[670,869,870],{},[581,871,873,896],{"className":872},[584],[581,874,876],{"className":875},[588],[590,877,878],{"xmlns":592},[594,879,880,893],{},[597,881,882,884,886,889,891],{},[600,883,809],{"mathvariant":808},[600,885,686],{},[751,887,888],{},"∨",[600,890,809],{"mathvariant":808},[600,892,718],{},[604,894,895],{"encoding":606},"\\neg A \\vee \\neg B",[581,897,899,920],{"className":898,"ariaHidden":611},[610],[581,900,902,905,908,911,914,917],{"className":901},[615],[581,903],{"className":904,"style":698},[619],[581,906,809],{"className":907},[624],[581,909,686],{"className":910},[624,625],[581,912],{"className":913,"style":775},[774],[581,915,888],{"className":916},[779],[581,918],{"className":919,"style":775},[774],[581,921,923,926,929],{"className":922},[615],[581,924],{"className":925,"style":698},[619],[581,927,809],{"className":928},[624],[581,930,718],{"className":931,"style":733},[624,625],[933,934,935,1088,1240,1392],"tbody",{},[667,936,937,968,998,1028,1058],{},[938,939,940],"td",{},[581,941,943,956],{"className":942},[584],[581,944,946],{"className":945},[588],[590,947,948],{"xmlns":592},[594,949,950,954],{},[597,951,952],{},[600,953,602],{},[604,955,602],{"encoding":606},[581,957,959],{"className":958,"ariaHidden":611},[610],[581,960,962,965],{"className":961},[615],[581,963],{"className":964,"style":620},[619],[581,966,602],{"className":967,"style":626},[624,625],[938,969,970],{},[581,971,973,986],{"className":972},[584],[581,974,976],{"className":975},[588],[590,977,978],{"xmlns":592},[594,979,980,984],{},[597,981,982],{},[600,983,602],{},[604,985,602],{"encoding":606},[581,987,989],{"className":988,"ariaHidden":611},[610],[581,990,992,995],{"className":991},[615],[581,993],{"className":994,"style":620},[619],[581,996,602],{"className":997,"style":626},[624,625],[938,999,1000],{},[581,1001,1003,1016],{"className":1002},[584],[581,1004,1006],{"className":1005},[588],[590,1007,1008],{"xmlns":592},[594,1009,1010,1014],{},[597,1011,1012],{},[600,1013,602],{},[604,1015,602],{"encoding":606},[581,1017,1019],{"className":1018,"ariaHidden":611},[610],[581,1020,1022,1025],{"className":1021},[615],[581,1023],{"className":1024,"style":620},[619],[581,1026,602],{"className":1027,"style":626},[624,625],[938,1029,1030],{},[581,1031,1033,1046],{"className":1032},[584],[581,1034,1036],{"className":1035},[588],[590,1037,1038],{"xmlns":592},[594,1039,1040,1044],{},[597,1041,1042],{},[600,1043,642],{},[604,1045,642],{"encoding":606},[581,1047,1049],{"className":1048,"ariaHidden":611},[610],[581,1050,1052,1055],{"className":1051},[615],[581,1053],{"className":1054,"style":654},[619],[581,1056,642],{"className":1057,"style":658},[624,625],[938,1059,1060],{},[581,1061,1063,1076],{"className":1062},[584],[581,1064,1066],{"className":1065},[588],[590,1067,1068],{"xmlns":592},[594,1069,1070,1074],{},[597,1071,1072],{},[600,1073,642],{},[604,1075,642],{"encoding":606},[581,1077,1079],{"className":1078,"ariaHidden":611},[610],[581,1080,1082,1085],{"className":1081},[615],[581,1083],{"className":1084,"style":654},[619],[581,1086,642],{"className":1087,"style":658},[624,625],[667,1089,1090,1120,1150,1180,1210],{},[938,1091,1092],{},[581,1093,1095,1108],{"className":1094},[584],[581,1096,1098],{"className":1097},[588],[590,1099,1100],{"xmlns":592},[594,1101,1102,1106],{},[597,1103,1104],{},[600,1105,602],{},[604,1107,602],{"encoding":606},[581,1109,1111],{"className":1110,"ariaHidden":611},[610],[581,1112,1114,1117],{"className":1113},[615],[581,1115],{"className":1116,"style":620},[619],[581,1118,602],{"className":1119,"style":626},[624,625],[938,1121,1122],{},[581,1123,1125,1138],{"className":1124},[584],[581,1126,1128],{"className":1127},[588],[590,1129,1130],{"xmlns":592},[594,1131,1132,1136],{},[597,1133,1134],{},[600,1135,642],{},[604,1137,642],{"encoding":606},[581,1139,1141],{"className":1140,"ariaHidden":611},[610],[581,1142,1144,1147],{"className":1143},[615],[581,1145],{"className":1146,"style":654},[619],[581,1148,642],{"className":1149,"style":658},[624,625],[938,1151,1152],{},[581,1153,1155,1168],{"className":1154},[584],[581,1156,1158],{"className":1157},[588],[590,1159,1160],{"xmlns":592},[594,1161,1162,1166],{},[597,1163,1164],{},[600,1165,642],{},[604,1167,642],{"encoding":606},[581,1169,1171],{"className":1170,"ariaHidden":611},[610],[581,1172,1174,1177],{"className":1173},[615],[581,1175],{"className":1176,"style":654},[619],[581,1178,642],{"className":1179,"style":658},[624,625],[938,1181,1182],{},[581,1183,1185,1198],{"className":1184},[584],[581,1186,1188],{"className":1187},[588],[590,1189,1190],{"xmlns":592},[594,1191,1192,1196],{},[597,1193,1194],{},[600,1195,602],{},[604,1197,602],{"encoding":606},[581,1199,1201],{"className":1200,"ariaHidden":611},[610],[581,1202,1204,1207],{"className":1203},[615],[581,1205],{"className":1206,"style":620},[619],[581,1208,602],{"className":1209,"style":626},[624,625],[938,1211,1212],{},[581,1213,1215,1228],{"className":1214},[584],[581,1216,1218],{"className":1217},[588],[590,1219,1220],{"xmlns":592},[594,1221,1222,1226],{},[597,1223,1224],{},[600,1225,602],{},[604,1227,602],{"encoding":606},[581,1229,1231],{"className":1230,"ariaHidden":611},[610],[581,1232,1234,1237],{"className":1233},[615],[581,1235],{"className":1236,"style":620},[619],[581,1238,602],{"className":1239,"style":626},[624,625],[667,1241,1242,1272,1302,1332,1362],{},[938,1243,1244],{},[581,1245,1247,1260],{"className":1246},[584],[581,1248,1250],{"className":1249},[588],[590,1251,1252],{"xmlns":592},[594,1253,1254,1258],{},[597,1255,1256],{},[600,1257,642],{},[604,1259,642],{"encoding":606},[581,1261,1263],{"className":1262,"ariaHidden":611},[610],[581,1264,1266,1269],{"className":1265},[615],[581,1267],{"className":1268,"style":654},[619],[581,1270,642],{"className":1271,"style":658},[624,625],[938,1273,1274],{},[581,1275,1277,1290],{"className":1276},[584],[581,1278,1280],{"className":1279},[588],[590,1281,1282],{"xmlns":592},[594,1283,1284,1288],{},[597,1285,1286],{},[600,1287,602],{},[604,1289,602],{"encoding":606},[581,1291,1293],{"className":1292,"ariaHidden":611},[610],[581,1294,1296,1299],{"className":1295},[615],[581,1297],{"className":1298,"style":620},[619],[581,1300,602],{"className":1301,"style":626},[624,625],[938,1303,1304],{},[581,1305,1307,1320],{"className":1306},[584],[581,1308,1310],{"className":1309},[588],[590,1311,1312],{"xmlns":592},[594,1313,1314,1318],{},[597,1315,1316],{},[600,1317,642],{},[604,1319,642],{"encoding":606},[581,1321,1323],{"className":1322,"ariaHidden":611},[610],[581,1324,1326,1329],{"className":1325},[615],[581,1327],{"className":1328,"style":654},[619],[581,1330,642],{"className":1331,"style":658},[624,625],[938,1333,1334],{},[581,1335,1337,1350],{"className":1336},[584],[581,1338,1340],{"className":1339},[588],[590,1341,1342],{"xmlns":592},[594,1343,1344,1348],{},[597,1345,1346],{},[600,1347,602],{},[604,1349,602],{"encoding":606},[581,1351,1353],{"className":1352,"ariaHidden":611},[610],[581,1354,1356,1359],{"className":1355},[615],[581,1357],{"className":1358,"style":620},[619],[581,1360,602],{"className":1361,"style":626},[624,625],[938,1363,1364],{},[581,1365,1367,1380],{"className":1366},[584],[581,1368,1370],{"className":1369},[588],[590,1371,1372],{"xmlns":592},[594,1373,1374,1378],{},[597,1375,1376],{},[600,1377,602],{},[604,1379,602],{"encoding":606},[581,1381,1383],{"className":1382,"ariaHidden":611},[610],[581,1384,1386,1389],{"className":1385},[615],[581,1387],{"className":1388,"style":620},[619],[581,1390,602],{"className":1391,"style":626},[624,625],[667,1393,1394,1424,1454,1484,1514],{},[938,1395,1396],{},[581,1397,1399,1412],{"className":1398},[584],[581,1400,1402],{"className":1401},[588],[590,1403,1404],{"xmlns":592},[594,1405,1406,1410],{},[597,1407,1408],{},[600,1409,642],{},[604,1411,642],{"encoding":606},[581,1413,1415],{"className":1414,"ariaHidden":611},[610],[581,1416,1418,1421],{"className":1417},[615],[581,1419],{"className":1420,"style":654},[619],[581,1422,642],{"className":1423,"style":658},[624,625],[938,1425,1426],{},[581,1427,1429,1442],{"className":1428},[584],[581,1430,1432],{"className":1431},[588],[590,1433,1434],{"xmlns":592},[594,1435,1436,1440],{},[597,1437,1438],{},[600,1439,642],{},[604,1441,642],{"encoding":606},[581,1443,1445],{"className":1444,"ariaHidden":611},[610],[581,1446,1448,1451],{"className":1447},[615],[581,1449],{"className":1450,"style":654},[619],[581,1452,642],{"className":1453,"style":658},[624,625],[938,1455,1456],{},[581,1457,1459,1472],{"className":1458},[584],[581,1460,1462],{"className":1461},[588],[590,1463,1464],{"xmlns":592},[594,1465,1466,1470],{},[597,1467,1468],{},[600,1469,642],{},[604,1471,642],{"encoding":606},[581,1473,1475],{"className":1474,"ariaHidden":611},[610],[581,1476,1478,1481],{"className":1477},[615],[581,1479],{"className":1480,"style":654},[619],[581,1482,642],{"className":1483,"style":658},[624,625],[938,1485,1486],{},[581,1487,1489,1502],{"className":1488},[584],[581,1490,1492],{"className":1491},[588],[590,1493,1494],{"xmlns":592},[594,1495,1496,1500],{},[597,1497,1498],{},[600,1499,602],{},[604,1501,602],{"encoding":606},[581,1503,1505],{"className":1504,"ariaHidden":611},[610],[581,1506,1508,1511],{"className":1507},[615],[581,1509],{"className":1510,"style":620},[619],[581,1512,602],{"className":1513,"style":626},[624,625],[938,1515,1516],{},[581,1517,1519,1532],{"className":1518},[584],[581,1520,1522],{"className":1521},[588],[590,1523,1524],{"xmlns":592},[594,1525,1526,1530],{},[597,1527,1528],{},[600,1529,602],{},[604,1531,602],{"encoding":606},[581,1533,1535],{"className":1534,"ariaHidden":611},[610],[581,1536,1538,1541],{"className":1537},[615],[581,1539],{"className":1540,"style":620},[619],[581,1542,602],{"className":1543,"style":626},[624,625],[565,1545,1546],{},"Die letzten beiden Spalten stimmen in jeder Zeile überein. Die zweite Regel prüft man genauso.",[565,1548,1549,1550,1553],{},"Für ",[569,1551,1552],{},"Quantoren"," gelten die entsprechenden Regeln:",[581,1555,1558],{"className":1556},[1557],"katex-display",[581,1559,1561,1669],{"className":1560},[584],[581,1562,1564],{"className":1563},[588],[590,1565,1567],{"xmlns":592,"display":1566},"block",[594,1568,1569,1666],{},[597,1570,1571,1573,1577,1580,1583,1586,1589,1591,1593,1595,1598,1601,1603,1606,1608,1610,1612,1614,1616,1618,1620,1623,1626,1628,1630,1632,1634,1636,1638,1640,1642,1644,1646,1648,1650,1652,1654,1656,1658,1660,1662,1664],{},[600,1572,809],{"mathvariant":808},[1574,1575,1576],"mtext",{}," ",[600,1578,1579],{"mathvariant":808},"∀",[600,1581,1582],{},"x",[751,1584,1585],{},":",[600,1587,1588],{},"P",[751,1590,813],{"stretchy":812},[600,1592,1582],{},[751,1594,822],{"stretchy":812},[1574,1596,1597],{},"  ",[751,1599,1600],{},"⇔",[1574,1602,1597],{},[600,1604,1605],{"mathvariant":808},"∃",[600,1607,1582],{},[751,1609,1585],{},[600,1611,809],{"mathvariant":808},[600,1613,1588],{},[751,1615,813],{"stretchy":812},[600,1617,1582],{},[751,1619,822],{"stretchy":812},[751,1621,1622],{"separator":611},",",[774,1624],{"width":1625},"2em",[600,1627,809],{"mathvariant":808},[1574,1629,1576],{},[600,1631,1605],{"mathvariant":808},[600,1633,1582],{},[751,1635,1585],{},[600,1637,1588],{},[751,1639,813],{"stretchy":812},[600,1641,1582],{},[751,1643,822],{"stretchy":812},[1574,1645,1597],{},[751,1647,1600],{},[1574,1649,1597],{},[600,1651,1579],{"mathvariant":808},[600,1653,1582],{},[751,1655,1585],{},[600,1657,809],{"mathvariant":808},[600,1659,1588],{},[751,1661,813],{"stretchy":812},[600,1663,1582],{},[751,1665,822],{"stretchy":812},[604,1667,1668],{"encoding":606},"\\neg\\, \\forall x : P(x) \\;\\Leftrightarrow\\; \\exists x : \\neg P(x), \\qquad \\neg\\, \\exists x : P(x) \\;\\Leftrightarrow\\; \\forall x : \\neg P(x)",[581,1670,1672,1703,1737,1758,1811,1844,1865],{"className":1671,"ariaHidden":611},[610],[581,1673,1675,1679,1682,1686,1689,1692,1696,1700],{"className":1674},[615],[581,1676],{"className":1677,"style":1678},[619],"height:0.6944em;",[581,1680,809],{"className":1681},[624],[581,1683],{"className":1684,"style":1685},[774],"margin-right:0.1667em;",[581,1687,1579],{"className":1688},[624],[581,1690,1582],{"className":1691},[624,625],[581,1693],{"className":1694,"style":1695},[774],"margin-right:0.2778em;",[581,1697,1585],{"className":1698},[1699],"mrel",[581,1701],{"className":1702,"style":1695},[774],[581,1704,1706,1709,1713,1716,1719,1722,1725,1728,1731,1734],{"className":1705},[615],[581,1707],{"className":1708,"style":835},[619],[581,1710,1588],{"className":1711,"style":1712},[624,625],"margin-right:0.1389em;",[581,1714,813],{"className":1715},[842],[581,1717,1582],{"className":1718},[624,625],[581,1720,822],{"className":1721},[867],[581,1723],{"className":1724,"style":1695},[774],[581,1726],{"className":1727,"style":1695},[774],[581,1729,1600],{"className":1730},[1699],[581,1732],{"className":1733,"style":1695},[774],[581,1735],{"className":1736,"style":1695},[774],[581,1738,1740,1743,1746,1749,1752,1755],{"className":1739},[615],[581,1741],{"className":1742,"style":1678},[619],[581,1744,1605],{"className":1745},[624],[581,1747,1582],{"className":1748},[624,625],[581,1750],{"className":1751,"style":1695},[774],[581,1753,1585],{"className":1754},[1699],[581,1756],{"className":1757,"style":1695},[774],[581,1759,1761,1764,1767,1770,1773,1776,1779,1783,1787,1790,1793,1796,1799,1802,1805,1808],{"className":1760},[615],[581,1762],{"className":1763,"style":835},[619],[581,1765,809],{"className":1766},[624],[581,1768,1588],{"className":1769,"style":1712},[624,625],[581,1771,813],{"className":1772},[842],[581,1774,1582],{"className":1775},[624,625],[581,1777,822],{"className":1778},[867],[581,1780,1622],{"className":1781},[1782],"mpunct",[581,1784],{"className":1785,"style":1786},[774],"margin-right:2em;",[581,1788],{"className":1789,"style":1685},[774],[581,1791,809],{"className":1792},[624],[581,1794],{"className":1795,"style":1685},[774],[581,1797,1605],{"className":1798},[624],[581,1800,1582],{"className":1801},[624,625],[581,1803],{"className":1804,"style":1695},[774],[581,1806,1585],{"className":1807},[1699],[581,1809],{"className":1810,"style":1695},[774],[581,1812,1814,1817,1820,1823,1826,1829,1832,1835,1838,1841],{"className":1813},[615],[581,1815],{"className":1816,"style":835},[619],[581,1818,1588],{"className":1819,"style":1712},[624,625],[581,1821,813],{"className":1822},[842],[581,1824,1582],{"className":1825},[624,625],[581,1827,822],{"className":1828},[867],[581,1830],{"className":1831,"style":1695},[774],[581,1833],{"className":1834,"style":1695},[774],[581,1836,1600],{"className":1837},[1699],[581,1839],{"className":1840,"style":1695},[774],[581,1842],{"className":1843,"style":1695},[774],[581,1845,1847,1850,1853,1856,1859,1862],{"className":1846},[615],[581,1848],{"className":1849,"style":1678},[619],[581,1851,1579],{"className":1852},[624],[581,1854,1582],{"className":1855},[624,625],[581,1857],{"className":1858,"style":1695},[774],[581,1860,1585],{"className":1861},[1699],[581,1863],{"className":1864,"style":1695},[774],[581,1866,1868,1871,1874,1877,1880,1883],{"className":1867},[615],[581,1869],{"className":1870,"style":835},[619],[581,1872,809],{"className":1873},[624],[581,1875,1588],{"className":1876,"style":1712},[624,625],[581,1878,813],{"className":1879},[842],[581,1881,1582],{"className":1882},[624,625],[581,1884,822],{"className":1885},[867],[565,1887,1888,1889,1892,1893,1896,1897,1901,1902,1905],{},"Man braucht sie beim ",[569,1890,1891],{},"Widerspruchsbeweis",", bei der ",[569,1894,1895],{},"Kontraposition"," und beim Vereinfachen von Bedingungen in Programmen: ",[1898,1899,1900],"code",{},"!(a && b)"," ist dasselbe wie ",[1898,1903,1904],{},"!a || !b",".",[560,1907,1909],{"id":1908},"beispiele","Beispiele",[565,1911,1912,1913,1969,1970,2023,2024,2076],{},"Die Aussage „",[581,1914,1916,1937],{"className":1915},[584],[581,1917,1919],{"className":1918},[588],[590,1920,1921],{"xmlns":592},[594,1922,1923,1934],{},[597,1924,1925,1927,1930],{},[600,1926,1582],{},[751,1928,1929],{},">",[1931,1932,1933],"mn",{},"0",[604,1935,1936],{"encoding":606},"x > 0",[581,1938,1940,1959],{"className":1939,"ariaHidden":611},[610],[581,1941,1943,1947,1950,1953,1956],{"className":1942},[615],[581,1944],{"className":1945,"style":1946},[619],"height:0.5782em;vertical-align:-0.0391em;",[581,1948,1582],{"className":1949},[624,625],[581,1951],{"className":1952,"style":1695},[774],[581,1954,1929],{"className":1955},[1699],[581,1957],{"className":1958,"style":1695},[774],[581,1960,1962,1966],{"className":1961},[615],[581,1963],{"className":1964,"style":1965},[619],"height:0.6444em;",[581,1967,1933],{"className":1968},[624]," und ",[581,1971,1973,1993],{"className":1972},[584],[581,1974,1976],{"className":1975},[588],[590,1977,1978],{"xmlns":592},[594,1979,1980,1990],{},[597,1981,1982,1984,1987],{},[600,1983,1582],{},[751,1985,1986],{},"\u003C",[1931,1988,1989],{},"5",[604,1991,1992],{"encoding":606},"x \u003C 5",[581,1994,1996,2014],{"className":1995,"ariaHidden":611},[610],[581,1997,1999,2002,2005,2008,2011],{"className":1998},[615],[581,2000],{"className":2001,"style":1946},[619],[581,2003,1582],{"className":2004},[624,625],[581,2006],{"className":2007,"style":1695},[774],[581,2009,1986],{"className":2010},[1699],[581,2012],{"className":2013,"style":1695},[774],[581,2015,2017,2020],{"className":2016},[615],[581,2018],{"className":2019,"style":1965},[619],[581,2021,1989],{"className":2022},[624],"“ beschreibt das Intervall ",[581,2025,2027,2049],{"className":2026},[584],[581,2028,2030],{"className":2029},[588],[590,2031,2032],{"xmlns":592},[594,2033,2034,2046],{},[597,2035,2036,2038,2040,2042,2044],{},[751,2037,813],{"stretchy":812},[1931,2039,1933],{},[751,2041,1622],{"separator":611},[1931,2043,1989],{},[751,2045,822],{"stretchy":812},[604,2047,2048],{"encoding":606},"(0, 5)",[581,2050,2052],{"className":2051,"ariaHidden":611},[610],[581,2053,2055,2058,2061,2064,2067,2070,2073],{"className":2054},[615],[581,2056],{"className":2057,"style":835},[619],[581,2059,813],{"className":2060},[842],[581,2062,1933],{"className":2063},[624],[581,2065,1622],{"className":2066},[1782],[581,2068],{"className":2069,"style":1685},[774],[581,2071,1989],{"className":2072},[624],[581,2074,822],{"className":2075},[867],". Ihre Verneinung ist",[581,2078,2080],{"className":2079},[1557],[581,2081,2083,2137],{"className":2082},[584],[581,2084,2086],{"className":2085},[588],[590,2087,2088],{"xmlns":592,"display":1566},[594,2089,2090,2134],{},[597,2091,2092,2094,2096,2098,2100,2102,2104,2106,2108,2110,2112,2114,2116,2118,2120,2123,2125,2127,2129,2132],{},[600,2093,809],{"mathvariant":808},[751,2095,813],{"stretchy":812},[600,2097,1582],{},[751,2099,1929],{},[1931,2101,1933],{},[751,2103,753],{},[600,2105,1582],{},[751,2107,1986],{},[1931,2109,1989],{},[751,2111,822],{"stretchy":812},[1574,2113,1597],{},[751,2115,1600],{},[1574,2117,1597],{},[600,2119,1582],{},[751,2121,2122],{},"≤",[1931,2124,1933],{},[751,2126,888],{},[600,2128,1582],{},[751,2130,2131],{},"≥",[1931,2133,1989],{},[604,2135,2136],{"encoding":606},"\\neg(x > 0 \\wedge x \u003C 5) \\;\\Leftrightarrow\\; x \\leq 0 \\vee x \\geq 5",[581,2138,2140,2164,2182,2200,2227,2246,2264,2282],{"className":2139,"ariaHidden":611},[610],[581,2141,2143,2146,2149,2152,2155,2158,2161],{"className":2142},[615],[581,2144],{"className":2145,"style":835},[619],[581,2147,809],{"className":2148},[624],[581,2150,813],{"className":2151},[842],[581,2153,1582],{"className":2154},[624,625],[581,2156],{"className":2157,"style":1695},[774],[581,2159,1929],{"className":2160},[1699],[581,2162],{"className":2163,"style":1695},[774],[581,2165,2167,2170,2173,2176,2179],{"className":2166},[615],[581,2168],{"className":2169,"style":1965},[619],[581,2171,1933],{"className":2172},[624],[581,2174],{"className":2175,"style":775},[774],[581,2177,753],{"className":2178},[779],[581,2180],{"className":2181,"style":775},[774],[581,2183,2185,2188,2191,2194,2197],{"className":2184},[615],[581,2186],{"className":2187,"style":1946},[619],[581,2189,1582],{"className":2190},[624,625],[581,2192],{"className":2193,"style":1695},[774],[581,2195,1986],{"className":2196},[1699],[581,2198],{"className":2199,"style":1695},[774],[581,2201,2203,2206,2209,2212,2215,2218,2221,2224],{"className":2202},[615],[581,2204],{"className":2205,"style":835},[619],[581,2207,1989],{"className":2208},[624],[581,2210,822],{"className":2211},[867],[581,2213],{"className":2214,"style":1695},[774],[581,2216],{"className":2217,"style":1695},[774],[581,2219,1600],{"className":2220},[1699],[581,2222],{"className":2223,"style":1695},[774],[581,2225],{"className":2226,"style":1695},[774],[581,2228,2230,2234,2237,2240,2243],{"className":2229},[615],[581,2231],{"className":2232,"style":2233},[619],"height:0.7719em;vertical-align:-0.136em;",[581,2235,1582],{"className":2236},[624,625],[581,2238],{"className":2239,"style":1695},[774],[581,2241,2122],{"className":2242},[1699],[581,2244],{"className":2245,"style":1695},[774],[581,2247,2249,2252,2255,2258,2261],{"className":2248},[615],[581,2250],{"className":2251,"style":1965},[619],[581,2253,1933],{"className":2254},[624],[581,2256],{"className":2257,"style":775},[774],[581,2259,888],{"className":2260},[779],[581,2262],{"className":2263,"style":775},[774],[581,2265,2267,2270,2273,2276,2279],{"className":2266},[615],[581,2268],{"className":2269,"style":2233},[619],[581,2271,1582],{"className":2272},[624,625],[581,2274],{"className":2275,"style":1695},[774],[581,2277,2131],{"className":2278},[1699],[581,2280],{"className":2281,"style":1695},[774],[581,2283,2285,2288],{"className":2284},[615],[581,2286],{"className":2287,"style":1965},[619],[581,2289,1989],{"className":2290},[624],[565,2292,2293],{},"Die Verneinung von „Jede Folge ist beschränkt“ lautet „Es gibt eine Folge, die nicht beschränkt ist“, nicht „Keine Folge ist beschränkt“.",[565,2295,2296,2297,2694],{},"Stetigkeit verneinen: Aus ",[581,2298,2300,2395],{"className":2299},[584],[581,2301,2303],{"className":2302},[588],[590,2304,2305],{"xmlns":592},[594,2306,2307,2392],{},[597,2308,2309,2311,2314,2316,2318,2321,2323,2326,2328,2330,2332,2334,2336,2338,2341,2343,2346,2353,2355,2357,2359,2362,2364,2366,2368,2370,2372,2374,2376,2378,2384,2386,2388,2390],{},[600,2310,1579],{"mathvariant":808},[600,2312,2313],{},"ε",[751,2315,1929],{},[1931,2317,1933],{},[1574,2319,2320],{}," ",[600,2322,1605],{"mathvariant":808},[600,2324,2325],{},"δ",[751,2327,1929],{},[1931,2329,1933],{},[1574,2331,2320],{},[600,2333,1579],{"mathvariant":808},[600,2335,1582],{},[751,2337,1585],{},[600,2339,2340],{"mathvariant":808},"∣",[600,2342,1582],{},[751,2344,2345],{},"−",[2347,2348,2349,2351],"msub",{},[600,2350,1582],{},[1931,2352,1933],{},[600,2354,2340],{"mathvariant":808},[751,2356,1986],{},[600,2358,2325],{},[751,2360,2361],{},"⇒",[600,2363,2340],{"mathvariant":808},[600,2365,642],{},[751,2367,813],{"stretchy":812},[600,2369,1582],{},[751,2371,822],{"stretchy":812},[751,2373,2345],{},[600,2375,642],{},[751,2377,813],{"stretchy":812},[2347,2379,2380,2382],{},[600,2381,1582],{},[1931,2383,1933],{},[751,2385,822],{"stretchy":812},[600,2387,2340],{"mathvariant":808},[751,2389,1986],{},[600,2391,2313],{},[604,2393,2394],{"encoding":606},"\\forall \\varepsilon > 0\\ \\exists \\delta > 0\\ \\forall x : |x - x_0| \u003C \\delta \\Rightarrow |f(x) - f(x_0)| \u003C \\varepsilon",[581,2396,2398,2420,2448,2475,2496,2570,2588,2618,2685],{"className":2397,"ariaHidden":611},[610],[581,2399,2401,2405,2408,2411,2414,2417],{"className":2400},[615],[581,2402],{"className":2403,"style":2404},[619],"height:0.7335em;vertical-align:-0.0391em;",[581,2406,1579],{"className":2407},[624],[581,2409,2313],{"className":2410},[624,625],[581,2412],{"className":2413,"style":1695},[774],[581,2415,1929],{"className":2416},[1699],[581,2418],{"className":2419,"style":1695},[774],[581,2421,2423,2426,2429,2432,2435,2439,2442,2445],{"className":2422},[615],[581,2424],{"className":2425,"style":2404},[619],[581,2427,1933],{"className":2428},[624],[581,2430,2320],{"className":2431},[774],[581,2433,1605],{"className":2434},[624],[581,2436,2325],{"className":2437,"style":2438},[624,625],"margin-right:0.0379em;",[581,2440],{"className":2441,"style":1695},[774],[581,2443,1929],{"className":2444},[1699],[581,2446],{"className":2447,"style":1695},[774],[581,2449,2451,2454,2457,2460,2463,2466,2469,2472],{"className":2450},[615],[581,2452],{"className":2453,"style":1678},[619],[581,2455,1933],{"className":2456},[624],[581,2458,2320],{"className":2459},[774],[581,2461,1579],{"className":2462},[624],[581,2464,1582],{"className":2465},[624,625],[581,2467],{"className":2468,"style":1695},[774],[581,2470,1585],{"className":2471},[1699],[581,2473],{"className":2474,"style":1695},[774],[581,2476,2478,2481,2484,2487,2490,2493],{"className":2477},[615],[581,2479],{"className":2480,"style":835},[619],[581,2482,2340],{"className":2483},[624],[581,2485,1582],{"className":2486},[624,625],[581,2488],{"className":2489,"style":775},[774],[581,2491,2345],{"className":2492},[779],[581,2494],{"className":2495,"style":775},[774],[581,2497,2499,2502,2558,2561,2564,2567],{"className":2498},[615],[581,2500],{"className":2501,"style":835},[619],[581,2503,2505,2508],{"className":2504},[624],[581,2506,1582],{"className":2507},[624,625],[581,2509,2512],{"className":2510},[2511],"msupsub",[581,2513,2517,2549],{"className":2514},[2515,2516],"vlist-t","vlist-t2",[581,2518,2521,2544],{"className":2519},[2520],"vlist-r",[581,2522,2526],{"className":2523,"style":2525},[2524],"vlist","height:0.3011em;",[581,2527,2529,2534],{"style":2528},"top:-2.55em;margin-left:0em;margin-right:0.05em;",[581,2530],{"className":2531,"style":2533},[2532],"pstrut","height:2.7em;",[581,2535,2541],{"className":2536},[2537,2538,2539,2540],"sizing","reset-size6","size3","mtight",[581,2542,1933],{"className":2543},[624,2540],[581,2545,2548],{"className":2546},[2547],"vlist-s","​",[581,2550,2552],{"className":2551},[2520],[581,2553,2556],{"className":2554,"style":2555},[2524],"height:0.15em;",[581,2557],{},[581,2559,2340],{"className":2560},[624],[581,2562],{"className":2563,"style":1695},[774],[581,2565,1986],{"className":2566},[1699],[581,2568],{"className":2569,"style":1695},[774],[581,2571,2573,2576,2579,2582,2585],{"className":2572},[615],[581,2574],{"className":2575,"style":1678},[619],[581,2577,2325],{"className":2578,"style":2438},[624,625],[581,2580],{"className":2581,"style":1695},[774],[581,2583,2361],{"className":2584},[1699],[581,2586],{"className":2587,"style":1695},[774],[581,2589,2591,2594,2597,2600,2603,2606,2609,2612,2615],{"className":2590},[615],[581,2592],{"className":2593,"style":835},[619],[581,2595,2340],{"className":2596},[624],[581,2598,642],{"className":2599,"style":658},[624,625],[581,2601,813],{"className":2602},[842],[581,2604,1582],{"className":2605},[624,625],[581,2607,822],{"className":2608},[867],[581,2610],{"className":2611,"style":775},[774],[581,2613,2345],{"className":2614},[779],[581,2616],{"className":2617,"style":775},[774],[581,2619,2621,2624,2627,2630,2670,2673,2676,2679,2682],{"className":2620},[615],[581,2622],{"className":2623,"style":835},[619],[581,2625,642],{"className":2626,"style":658},[624,625],[581,2628,813],{"className":2629},[842],[581,2631,2633,2636],{"className":2632},[624],[581,2634,1582],{"className":2635},[624,625],[581,2637,2639],{"className":2638},[2511],[581,2640,2642,2662],{"className":2641},[2515,2516],[581,2643,2645,2659],{"className":2644},[2520],[581,2646,2648],{"className":2647,"style":2525},[2524],[581,2649,2650,2653],{"style":2528},[581,2651],{"className":2652,"style":2533},[2532],[581,2654,2656],{"className":2655},[2537,2538,2539,2540],[581,2657,1933],{"className":2658},[624,2540],[581,2660,2548],{"className":2661},[2547],[581,2663,2665],{"className":2664},[2520],[581,2666,2668],{"className":2667,"style":2555},[2524],[581,2669],{},[581,2671,822],{"className":2672},[867],[581,2674,2340],{"className":2675},[624],[581,2677],{"className":2678,"style":1695},[774],[581,2680,1986],{"className":2681},[1699],[581,2683],{"className":2684,"style":1695},[774],[581,2686,2688,2691],{"className":2687},[615],[581,2689],{"className":2690,"style":620},[619],[581,2692,2313],{"className":2693},[624,625]," wird",[581,2696,2698],{"className":2697},[1557],[581,2699,2701,2789],{"className":2700},[584],[581,2702,2704],{"className":2703},[588],[590,2705,2706],{"xmlns":592,"display":1566},[594,2707,2708,2786],{},[597,2709,2710,2712,2714,2716,2718,2720,2722,2724,2726,2728,2730,2732,2734,2736,2738,2740,2742,2748,2750,2752,2754,2756,2758,2760,2762,2764,2766,2768,2770,2772,2778,2780,2782,2784],{},[600,2711,1605],{"mathvariant":808},[600,2713,2313],{},[751,2715,1929],{},[1931,2717,1933],{},[1574,2719,2320],{},[600,2721,1579],{"mathvariant":808},[600,2723,2325],{},[751,2725,1929],{},[1931,2727,1933],{},[1574,2729,2320],{},[600,2731,1605],{"mathvariant":808},[600,2733,1582],{},[751,2735,1585],{},[600,2737,2340],{"mathvariant":808},[600,2739,1582],{},[751,2741,2345],{},[2347,2743,2744,2746],{},[600,2745,1582],{},[1931,2747,1933],{},[600,2749,2340],{"mathvariant":808},[751,2751,1986],{},[600,2753,2325],{},[751,2755,753],{},[600,2757,2340],{"mathvariant":808},[600,2759,642],{},[751,2761,813],{"stretchy":812},[600,2763,1582],{},[751,2765,822],{"stretchy":812},[751,2767,2345],{},[600,2769,642],{},[751,2771,813],{"stretchy":812},[2347,2773,2774,2776],{},[600,2775,1582],{},[1931,2777,1933],{},[751,2779,822],{"stretchy":812},[600,2781,2340],{"mathvariant":808},[751,2783,2131],{},[600,2785,2313],{},[604,2787,2788],{"encoding":606},"\\exists \\varepsilon > 0\\ \\forall \\delta > 0\\ \\exists x : |x - x_0| \u003C \\delta \\wedge |f(x) - f(x_0)| \\geq \\varepsilon",[581,2790,2792,2813,2840,2867,2888,2946,2964,2994,3061],{"className":2791,"ariaHidden":611},[610],[581,2793,2795,2798,2801,2804,2807,2810],{"className":2794},[615],[581,2796],{"className":2797,"style":2404},[619],[581,2799,1605],{"className":2800},[624],[581,2802,2313],{"className":2803},[624,625],[581,2805],{"className":2806,"style":1695},[774],[581,2808,1929],{"className":2809},[1699],[581,2811],{"className":2812,"style":1695},[774],[581,2814,2816,2819,2822,2825,2828,2831,2834,2837],{"className":2815},[615],[581,2817],{"className":2818,"style":2404},[619],[581,2820,1933],{"className":2821},[624],[581,2823,2320],{"className":2824},[774],[581,2826,1579],{"className":2827},[624],[581,2829,2325],{"className":2830,"style":2438},[624,625],[581,2832],{"className":2833,"style":1695},[774],[581,2835,1929],{"className":2836},[1699],[581,2838],{"className":2839,"style":1695},[774],[581,2841,2843,2846,2849,2852,2855,2858,2861,2864],{"className":2842},[615],[581,2844],{"className":2845,"style":1678},[619],[581,2847,1933],{"className":2848},[624],[581,2850,2320],{"className":2851},[774],[581,2853,1605],{"className":2854},[624],[581,2856,1582],{"className":2857},[624,625],[581,2859],{"className":2860,"style":1695},[774],[581,2862,1585],{"className":2863},[1699],[581,2865],{"className":2866,"style":1695},[774],[581,2868,2870,2873,2876,2879,2882,2885],{"className":2869},[615],[581,2871],{"className":2872,"style":835},[619],[581,2874,2340],{"className":2875},[624],[581,2877,1582],{"className":2878},[624,625],[581,2880],{"className":2881,"style":775},[774],[581,2883,2345],{"className":2884},[779],[581,2886],{"className":2887,"style":775},[774],[581,2889,2891,2894,2934,2937,2940,2943],{"className":2890},[615],[581,2892],{"className":2893,"style":835},[619],[581,2895,2897,2900],{"className":2896},[624],[581,2898,1582],{"className":2899},[624,625],[581,2901,2903],{"className":2902},[2511],[581,2904,2906,2926],{"className":2905},[2515,2516],[581,2907,2909,2923],{"className":2908},[2520],[581,2910,2912],{"className":2911,"style":2525},[2524],[581,2913,2914,2917],{"style":2528},[581,2915],{"className":2916,"style":2533},[2532],[581,2918,2920],{"className":2919},[2537,2538,2539,2540],[581,2921,1933],{"className":2922},[624,2540],[581,2924,2548],{"className":2925},[2547],[581,2927,2929],{"className":2928},[2520],[581,2930,2932],{"className":2931,"style":2555},[2524],[581,2933],{},[581,2935,2340],{"className":2936},[624],[581,2938],{"className":2939,"style":1695},[774],[581,2941,1986],{"className":2942},[1699],[581,2944],{"className":2945,"style":1695},[774],[581,2947,2949,2952,2955,2958,2961],{"className":2948},[615],[581,2950],{"className":2951,"style":1678},[619],[581,2953,2325],{"className":2954,"style":2438},[624,625],[581,2956],{"className":2957,"style":775},[774],[581,2959,753],{"className":2960},[779],[581,2962],{"className":2963,"style":775},[774],[581,2965,2967,2970,2973,2976,2979,2982,2985,2988,2991],{"className":2966},[615],[581,2968],{"className":2969,"style":835},[619],[581,2971,2340],{"className":2972},[624],[581,2974,642],{"className":2975,"style":658},[624,625],[581,2977,813],{"className":2978},[842],[581,2980,1582],{"className":2981},[624,625],[581,2983,822],{"className":2984},[867],[581,2986],{"className":2987,"style":775},[774],[581,2989,2345],{"className":2990},[779],[581,2992],{"className":2993,"style":775},[774],[581,2995,2997,3000,3003,3006,3046,3049,3052,3055,3058],{"className":2996},[615],[581,2998],{"className":2999,"style":835},[619],[581,3001,642],{"className":3002,"style":658},[624,625],[581,3004,813],{"className":3005},[842],[581,3007,3009,3012],{"className":3008},[624],[581,3010,1582],{"className":3011},[624,625],[581,3013,3015],{"className":3014},[2511],[581,3016,3018,3038],{"className":3017},[2515,2516],[581,3019,3021,3035],{"className":3020},[2520],[581,3022,3024],{"className":3023,"style":2525},[2524],[581,3025,3026,3029],{"style":2528},[581,3027],{"className":3028,"style":2533},[2532],[581,3030,3032],{"className":3031},[2537,2538,2539,2540],[581,3033,1933],{"className":3034},[624,2540],[581,3036,2548],{"className":3037},[2547],[581,3039,3041],{"className":3040},[2520],[581,3042,3044],{"className":3043,"style":2555},[2524],[581,3045],{},[581,3047,822],{"className":3048},[867],[581,3050,2340],{"className":3051},[624],[581,3053],{"className":3054,"style":1695},[774],[581,3056,2131],{"className":3057},[1699],[581,3059],{"className":3060,"style":1695},[774],[581,3062,3064,3067],{"className":3063},[615],[581,3065],{"className":3066,"style":620},[619],[581,3068,2313],{"className":3069},[624,625],[560,3071,3073],{"id":3072},"typische-fehler","Typische Fehler",[3075,3076,3077,3212,3372],"ul",{},[3078,3079,3080,3083,3084,3149,3150,3211],"li",{},[569,3081,3082],{},"Den Junktor nicht umdrehen."," ",[581,3085,3087,3110],{"className":3086},[584],[581,3088,3090],{"className":3089},[588],[590,3091,3092],{"xmlns":592},[594,3093,3094,3108],{},[597,3095,3096,3098,3100,3102,3104,3106],{},[600,3097,809],{"mathvariant":808},[751,3099,813],{"stretchy":812},[600,3101,686],{},[751,3103,753],{},[600,3105,718],{},[751,3107,822],{"stretchy":812},[604,3109,825],{"encoding":606},[581,3111,3113,3137],{"className":3112,"ariaHidden":611},[610],[581,3114,3116,3119,3122,3125,3128,3131,3134],{"className":3115},[615],[581,3117],{"className":3118,"style":835},[619],[581,3120,809],{"className":3121},[624],[581,3123,813],{"className":3124},[842],[581,3126,686],{"className":3127},[624,625],[581,3129],{"className":3130,"style":775},[774],[581,3132,753],{"className":3133},[779],[581,3135],{"className":3136,"style":775},[774],[581,3138,3140,3143,3146],{"className":3139},[615],[581,3141],{"className":3142,"style":835},[619],[581,3144,718],{"className":3145,"style":733},[624,625],[581,3147,822],{"className":3148},[867]," ist nicht ",[581,3151,3153,3175],{"className":3152},[584],[581,3154,3156],{"className":3155},[588],[590,3157,3158],{"xmlns":592},[594,3159,3160,3172],{},[597,3161,3162,3164,3166,3168,3170],{},[600,3163,809],{"mathvariant":808},[600,3165,686],{},[751,3167,753],{},[600,3169,809],{"mathvariant":808},[600,3171,718],{},[604,3173,3174],{"encoding":606},"\\neg A \\wedge \\neg B",[581,3176,3178,3199],{"className":3177,"ariaHidden":611},[610],[581,3179,3181,3184,3187,3190,3193,3196],{"className":3180},[615],[581,3182],{"className":3183,"style":698},[619],[581,3185,809],{"className":3186},[624],[581,3188,686],{"className":3189},[624,625],[581,3191],{"className":3192,"style":775},[774],[581,3194,753],{"className":3195},[779],[581,3197],{"className":3198,"style":775},[774],[581,3200,3202,3205,3208],{"className":3201},[615],[581,3203],{"className":3204,"style":698},[619],[581,3206,809],{"className":3207},[624],[581,3209,718],{"className":3210,"style":733},[624,625],". „Nicht beide Lampen brennen“ ist auch dann wahr, wenn genau eine brennt.",[3078,3213,3214,3217,3218,3268,3269,3320,3321,1905],{},[569,3215,3216],{},"Bei Ungleichungen falsch verneinen."," Die Verneinung von ",[581,3219,3221,3238],{"className":3220},[584],[581,3222,3224],{"className":3223},[588],[590,3225,3226],{"xmlns":592},[594,3227,3228,3236],{},[597,3229,3230,3232,3234],{},[600,3231,1582],{},[751,3233,1986],{},[1931,3235,1989],{},[604,3237,1992],{"encoding":606},[581,3239,3241,3259],{"className":3240,"ariaHidden":611},[610],[581,3242,3244,3247,3250,3253,3256],{"className":3243},[615],[581,3245],{"className":3246,"style":1946},[619],[581,3248,1582],{"className":3249},[624,625],[581,3251],{"className":3252,"style":1695},[774],[581,3254,1986],{"className":3255},[1699],[581,3257],{"className":3258,"style":1695},[774],[581,3260,3262,3265],{"className":3261},[615],[581,3263],{"className":3264,"style":1965},[619],[581,3266,1989],{"className":3267},[624]," ist ",[581,3270,3272,3290],{"className":3271},[584],[581,3273,3275],{"className":3274},[588],[590,3276,3277],{"xmlns":592},[594,3278,3279,3287],{},[597,3280,3281,3283,3285],{},[600,3282,1582],{},[751,3284,2131],{},[1931,3286,1989],{},[604,3288,3289],{"encoding":606},"x \\geq 5",[581,3291,3293,3311],{"className":3292,"ariaHidden":611},[610],[581,3294,3296,3299,3302,3305,3308],{"className":3295},[615],[581,3297],{"className":3298,"style":2233},[619],[581,3300,1582],{"className":3301},[624,625],[581,3303],{"className":3304,"style":1695},[774],[581,3306,2131],{"className":3307},[1699],[581,3309],{"className":3310,"style":1695},[774],[581,3312,3314,3317],{"className":3313},[615],[581,3315],{"className":3316,"style":1965},[619],[581,3318,1989],{"className":3319},[624],", nicht ",[581,3322,3324,3342],{"className":3323},[584],[581,3325,3327],{"className":3326},[588],[590,3328,3329],{"xmlns":592},[594,3330,3331,3339],{},[597,3332,3333,3335,3337],{},[600,3334,1582],{},[751,3336,1929],{},[1931,3338,1989],{},[604,3340,3341],{"encoding":606},"x > 5",[581,3343,3345,3363],{"className":3344,"ariaHidden":611},[610],[581,3346,3348,3351,3354,3357,3360],{"className":3347},[615],[581,3349],{"className":3350,"style":1946},[619],[581,3352,1582],{"className":3353},[624,625],[581,3355],{"className":3356,"style":1695},[774],[581,3358,1929],{"className":3359},[1699],[581,3361],{"className":3362,"style":1695},[774],[581,3364,3366,3369],{"className":3365},[615],[581,3367],{"className":3368,"style":1965},[619],[581,3370,1989],{"className":3371},[624],[3078,3373,3374,3377,3378,3407,3408,3437,3438,3491,3492,1905],{},[569,3375,3376],{},"Quantoren nicht mitdrehen."," Beim Verneinen wird jeder ",[581,3379,3381,3395],{"className":3380},[584],[581,3382,3384],{"className":3383},[588],[590,3385,3386],{"xmlns":592},[594,3387,3388,3392],{},[597,3389,3390],{},[600,3391,1579],{"mathvariant":808},[604,3393,3394],{"encoding":606},"\\forall",[581,3396,3398],{"className":3397,"ariaHidden":611},[610],[581,3399,3401,3404],{"className":3400},[615],[581,3402],{"className":3403,"style":1678},[619],[581,3405,1579],{"className":3406},[624]," zu ",[581,3409,3411,3425],{"className":3410},[584],[581,3412,3414],{"className":3413},[588],[590,3415,3416],{"xmlns":592},[594,3417,3418,3422],{},[597,3419,3420],{},[600,3421,1605],{"mathvariant":808},[604,3423,3424],{"encoding":606},"\\exists",[581,3426,3428],{"className":3427,"ariaHidden":611},[610],[581,3429,3431,3434],{"className":3430},[615],[581,3432],{"className":3433,"style":1678},[619],[581,3435,1605],{"className":3436},[624]," und umgekehrt, und die Implikation ",[581,3439,3441,3460],{"className":3440},[584],[581,3442,3444],{"className":3443},[588],[590,3445,3446],{"xmlns":592},[594,3447,3448,3457],{},[597,3449,3450,3452,3454],{},[600,3451,1588],{},[751,3453,2361],{},[600,3455,3456],{},"Q",[604,3458,3459],{"encoding":606},"P \\Rightarrow Q",[581,3461,3463,3481],{"className":3462,"ariaHidden":611},[610],[581,3464,3466,3469,3472,3475,3478],{"className":3465},[615],[581,3467],{"className":3468,"style":698},[619],[581,3470,1588],{"className":3471,"style":1712},[624,625],[581,3473],{"className":3474,"style":1695},[774],[581,3476,2361],{"className":3477},[1699],[581,3479],{"className":3480,"style":1695},[774],[581,3482,3484,3488],{"className":3483},[615],[581,3485],{"className":3486,"style":3487},[619],"height:0.8778em;vertical-align:-0.1944em;",[581,3489,3456],{"className":3490},[624,625]," wird zu ",[581,3493,3495,3515],{"className":3494},[584],[581,3496,3498],{"className":3497},[588],[590,3499,3500],{"xmlns":592},[594,3501,3502,3512],{},[597,3503,3504,3506,3508,3510],{},[600,3505,1588],{},[751,3507,753],{},[600,3509,809],{"mathvariant":808},[600,3511,3456],{},[604,3513,3514],{"encoding":606},"P \\wedge \\neg Q",[581,3516,3518,3536],{"className":3517,"ariaHidden":611},[610],[581,3519,3521,3524,3527,3530,3533],{"className":3520},[615],[581,3522],{"className":3523,"style":698},[619],[581,3525,1588],{"className":3526,"style":1712},[624,625],[581,3528],{"className":3529,"style":775},[774],[581,3531,753],{"className":3532},[779],[581,3534],{"className":3535,"style":775},[774],[581,3537,3539,3542,3545],{"className":3538},[615],[581,3540],{"className":3541,"style":3487},[619],[581,3543,809],{"className":3544},[624],[581,3546,3456],{"className":3547},[624,625],{"title":3549,"searchDepth":3550,"depth":3550,"links":3551},"",2,[3552,3553,3554],{"id":562,"depth":3550,"text":563},{"id":1908,"depth":3550,"text":1909},{"id":3072,"depth":3550,"text":3073},[3556,3561,3564,3566,3568,3572,3574,3576],{"lhs":3557,"rhs":3558,"where":3559},"1 - min(a, b)","max(1 - a, 1 - b)",{"a":3560,"b":3560},0,{"lhs":3557,"rhs":3558,"where":3562},{"a":3560,"b":3563},1,{"lhs":3557,"rhs":3558,"where":3565},{"a":3563,"b":3560},{"lhs":3557,"rhs":3558,"where":3567},{"a":3563,"b":3563},{"lhs":3569,"rhs":3570,"where":3571},"1 - max(a, b)","min(1 - a, 1 - b)",{"a":3560,"b":3560},{"lhs":3569,"rhs":3570,"where":3573},{"a":3560,"b":3563},{"lhs":3569,"rhs":3570,"where":3575},{"a":3563,"b":3560},{"lhs":3569,"rhs":3570,"where":3577},{"a":3563,"b":3563},null,"md","de-morgan-logic","\\neg(A \\wedge B) \\Leftrightarrow \\neg A \\vee \\neg B, \\qquad \\neg(A \\vee B) \\Leftrightarrow \\neg A \\wedge \\neg B","\u003Cspan class=\"katex-display\">\u003Cspan class=\"katex\">\u003Cspan class=\"katex-mathml\">\u003Cmath xmlns=\"http:\u002F\u002Fwww.w3.org\u002F1998\u002FMath\u002FMathML\" display=\"block\">\u003Csemantics>\u003Cmrow>\u003Cmi mathvariant=\"normal\">¬\u003C\u002Fmi>\u003Cmo stretchy=\"false\">(\u003C\u002Fmo>\u003Cmi>A\u003C\u002Fmi>\u003Cmo>∧\u003C\u002Fmo>\u003Cmi>B\u003C\u002Fmi>\u003Cmo stretchy=\"false\">)\u003C\u002Fmo>\u003Cmo>⇔\u003C\u002Fmo>\u003Cmi mathvariant=\"normal\">¬\u003C\u002Fmi>\u003Cmi>A\u003C\u002Fmi>\u003Cmo>∨\u003C\u002Fmo>\u003Cmi mathvariant=\"normal\">¬\u003C\u002Fmi>\u003Cmi>B\u003C\u002Fmi>\u003Cmo separator=\"true\">,\u003C\u002Fmo>\u003Cmspace width=\"2em\"\u002F>\u003Cmi mathvariant=\"normal\">¬\u003C\u002Fmi>\u003Cmo stretchy=\"false\">(\u003C\u002Fmo>\u003Cmi>A\u003C\u002Fmi>\u003Cmo>∨\u003C\u002Fmo>\u003Cmi>B\u003C\u002Fmi>\u003Cmo stretchy=\"false\">)\u003C\u002Fmo>\u003Cmo>⇔\u003C\u002Fmo>\u003Cmi mathvariant=\"normal\">¬\u003C\u002Fmi>\u003Cmi>A\u003C\u002Fmi>\u003Cmo>∧\u003C\u002Fmo>\u003Cmi mathvariant=\"normal\">¬\u003C\u002Fmi>\u003Cmi>B\u003C\u002Fmi>\u003C\u002Fmrow>\u003Cannotation encoding=\"application\u002Fx-tex\">\\neg(A \\wedge B) \\Leftrightarrow \\neg A \\vee \\neg B, \\qquad \\neg(A \\vee B) \\Leftrightarrow \\neg A \\wedge \\neg B\u003C\u002Fannotation>\u003C\u002Fsemantics>\u003C\u002Fmath>\u003C\u002Fspan>\u003Cspan class=\"katex-html\" aria-hidden=\"true\">\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:1em;vertical-align:-0.25em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">¬\u003C\u002Fspan>\u003Cspan class=\"mopen\">(\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\">A\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003Cspan class=\"mbin\">∧\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003C\u002Fspan>\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:1em;vertical-align:-0.25em;\">\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\" style=\"margin-right:0.0502em;\">B\u003C\u002Fspan>\u003Cspan class=\"mclose\">)\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2778em;\">\u003C\u002Fspan>\u003Cspan class=\"mrel\">⇔\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2778em;\">\u003C\u002Fspan>\u003C\u002Fspan>\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:0.6833em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">¬\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\">A\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003Cspan class=\"mbin\">∨\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003C\u002Fspan>\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:1em;vertical-align:-0.25em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">¬\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\" style=\"margin-right:0.0502em;\">B\u003C\u002Fspan>\u003Cspan class=\"mpunct\">,\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:2em;\">\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.1667em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">¬\u003C\u002Fspan>\u003Cspan class=\"mopen\">(\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\">A\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003Cspan class=\"mbin\">∨\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003C\u002Fspan>\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:1em;vertical-align:-0.25em;\">\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\" style=\"margin-right:0.0502em;\">B\u003C\u002Fspan>\u003Cspan class=\"mclose\">)\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2778em;\">\u003C\u002Fspan>\u003Cspan class=\"mrel\">⇔\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2778em;\">\u003C\u002Fspan>\u003C\u002Fspan>\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:0.6833em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">¬\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\">A\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003Cspan class=\"mbin\">∧\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.2222em;\">\u003C\u002Fspan>\u003C\u002Fspan>\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:0.6833em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">¬\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\" style=\"margin-right:0.0502em;\">B\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>","university",{},true,"\u002Fde\u002Fformulas\u002Fmath\u002Fdiscrete-math\u002Fde-morgan-regeln-logik",[],[3589,3590],"de-morgan-sets","mathematical-induction",{"title":548,"description":3549},"de\u002Fformulas\u002Fmath\u002Fdiscrete-math\u002Fde-morgan-regeln-logik","Eine verneinte Und-Aussage wird zu einer Oder-Aussage der Verneinungen und umgekehrt.",[3595,3596,3597,3598],"aussagenlogik","negation","verneinung","und oder",[3600,3604,3608,3612],{"symbol":3601,"meaning":3602,"symbolHtml":3603},"A, B","Aussagen, die wahr oder falsch sind","\u003Cspan class=\"katex\">\u003Cspan class=\"katex-mathml\">\u003Cmath xmlns=\"http:\u002F\u002Fwww.w3.org\u002F1998\u002FMath\u002FMathML\">\u003Csemantics>\u003Cmrow>\u003Cmi>A\u003C\u002Fmi>\u003Cmo separator=\"true\">,\u003C\u002Fmo>\u003Cmi>B\u003C\u002Fmi>\u003C\u002Fmrow>\u003Cannotation encoding=\"application\u002Fx-tex\">A, B\u003C\u002Fannotation>\u003C\u002Fsemantics>\u003C\u002Fmath>\u003C\u002Fspan>\u003Cspan class=\"katex-html\" aria-hidden=\"true\">\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:0.8778em;vertical-align:-0.1944em;\">\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\">A\u003C\u002Fspan>\u003Cspan class=\"mpunct\">,\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.1667em;\">\u003C\u002Fspan>\u003Cspan class=\"mord mathnormal\" style=\"margin-right:0.0502em;\">B\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>",{"symbol":3605,"meaning":3606,"symbolHtml":3607},"\\neg","Negation, „nicht“","\u003Cspan class=\"katex\">\u003Cspan class=\"katex-mathml\">\u003Cmath xmlns=\"http:\u002F\u002Fwww.w3.org\u002F1998\u002FMath\u002FMathML\">\u003Csemantics>\u003Cmrow>\u003Cmi mathvariant=\"normal\">¬\u003C\u002Fmi>\u003C\u002Fmrow>\u003Cannotation encoding=\"application\u002Fx-tex\">\\neg\u003C\u002Fannotation>\u003C\u002Fsemantics>\u003C\u002Fmath>\u003C\u002Fspan>\u003Cspan class=\"katex-html\" aria-hidden=\"true\">\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:0.4306em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">¬\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>",{"symbol":3609,"meaning":3610,"symbolHtml":3611},"\\wedge, \\vee","Konjunktion „und“ sowie Disjunktion „oder“ (nicht ausschließend)","\u003Cspan class=\"katex\">\u003Cspan class=\"katex-mathml\">\u003Cmath xmlns=\"http:\u002F\u002Fwww.w3.org\u002F1998\u002FMath\u002FMathML\">\u003Csemantics>\u003Cmrow>\u003Cmo>∧\u003C\u002Fmo>\u003Cmo separator=\"true\">,\u003C\u002Fmo>\u003Cmo>∨\u003C\u002Fmo>\u003C\u002Fmrow>\u003Cannotation encoding=\"application\u002Fx-tex\">\\wedge, \\vee\u003C\u002Fannotation>\u003C\u002Fsemantics>\u003C\u002Fmath>\u003C\u002Fspan>\u003Cspan class=\"katex-html\" aria-hidden=\"true\">\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:0.75em;vertical-align:-0.1944em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">∧\u003C\u002Fspan>\u003Cspan class=\"mpunct\">,\u003C\u002Fspan>\u003Cspan class=\"mspace\" style=\"margin-right:0.1667em;\">\u003C\u002Fspan>\u003Cspan class=\"mord\">∨\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>",{"symbol":3613,"meaning":3614,"symbolHtml":3615},"\\Leftrightarrow","logische Äquivalenz, beide Seiten haben immer denselben Wahrheitswert","\u003Cspan class=\"katex\">\u003Cspan class=\"katex-mathml\">\u003Cmath xmlns=\"http:\u002F\u002Fwww.w3.org\u002F1998\u002FMath\u002FMathML\">\u003Csemantics>\u003Cmrow>\u003Cmo>⇔\u003C\u002Fmo>\u003C\u002Fmrow>\u003Cannotation encoding=\"application\u002Fx-tex\">\\Leftrightarrow\u003C\u002Fannotation>\u003C\u002Fsemantics>\u003C\u002Fmath>\u003C\u002Fspan>\u003Cspan class=\"katex-html\" aria-hidden=\"true\">\u003Cspan class=\"katex-base\">\u003Cspan class=\"katex-strut\" style=\"height:0.3669em;\">\u003C\u002Fspan>\u003Cspan class=\"mrel\">⇔\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>\u003C\u002Fspan>","ra7uHBFrozL5zuFDgQKvT97mxgH9PFb87OBLPw3Feu0",[3618,3621],{"stem":3619,"title":3620,"category":187},"de\u002Fformulas\u002Fmath\u002Fdiscrete-math\u002Fde-morgan-regeln-mengen","De-Morgan-Regeln für Mengen",{"stem":3622,"title":3623,"category":187},"de\u002Fformulas\u002Fmath\u002Fdiscrete-math\u002Fvollstaendige-induktion","Vollständige Induktion",1793824275974]