{"entries":[{"key":"sec-sprache-und-logik","order":{"section":[2,0,0,0,0,0,0],"number":1}},{"caption":"Logische Äquivalenzen","key":"thm-logische-äquivalenzen","order":{"section":[2,3,0,0,0,0,0],"number":1}},{"caption":"Disjunktion","key":"def-disjunktion","order":{"section":[2,3,0,0,0,0,0],"number":4}},{"caption":"2.2 Grundbausteine mathematischer Kommunikation","key":"sec-grundbausteine-mathematischer-kommunikation","order":{"section":[2,2,0,0,0,0,0],"number":2}},{"caption":"Implikation","key":"def-implikation","order":{"section":[2,3,0,0,0,0,0],"number":5}},{"caption":"Negation","key":"def-negation","order":{"section":[2,3,0,0,0,0,0],"number":2}},{"caption":"Quadrate positiver Zahlen","key":"thm-quadrate-positiver-zahlen","order":{"section":[2,4,0,0,0,0,0],"number":2}},{"caption":"2.5 Selbstkontrollfragen","key":"sec-selbstkontrollfragen-sprache-und-logik","order":{"section":[2,5,0,0,0,0,0],"number":5}},{"caption":"2.3 Aussagenlogik","key":"sec-aussagenlogik","order":{"section":[2,3,0,0,0,0,0],"number":3}},{"caption":"2.1 Mathematik ist eine Sprache","key":"sec-mathematik-ist-eine-sprache","order":{"section":[2,1,0,0,0,0,0],"number":1}},{"caption":"Aussage","key":"def-aussage","order":{"section":[2,3,0,0,0,0,0],"number":1}},{"caption":"Äquivalenz","key":"def-äquivalenz","order":{"section":[2,3,0,0,0,0,0],"number":6}},{"caption":"Logische Äquivalenz","key":"def-logische-äquivalenz","order":{"section":[2,3,0,0,0,0,0],"number":7}},{"caption":"2.4 Beweistechniken","key":"sec-beweistechniken","order":{"section":[2,4,0,0,0,0,0],"number":4}},{"caption":"Konjunktion","key":"def-konjunktion","order":{"section":[2,3,0,0,0,0,0],"number":3}}],"options":{"chapters":true,"chapter-id":"sec-sprache-und-logik"},"headings":["sec-mathematik-ist-eine-sprache","sec-grundbausteine-mathematischer-kommunikation","sec-aussagenlogik","aussage","negation","konjunktion","disjunktion","implikation","äquivalenz","logische-äquivalenz","logische-äquivalenzen","sec-beweistechniken","quadrate-positiver-zahlen","sec-selbstkontrollfragen-sprache-und-logik","sec-sprache-und-logik"]}