Chemie

Allgemeine Wahrheitsuntersuchungen

Zusätzlich zum direkten Beweis, ist es auch möglich den Wahrheitsgehalt einer Aussage über den indirekten Beweis zu führen. Dazu wird die Negation der Aussage gebildet und anschließend auf ihren Wahrheitsgehalt geprüft.

Gegenbeweis

Die Wahrheitstafel stellt eine hilfreiche Methodik dar, um den Wahrheitsgehalt einer komplexen Aussage systematisch zu untersuchen. Die Aussage setzt sich dabei aus mehreren einfacheren Teilaussagen zusammen.

Wahrheitstafeln

Wahrheitstafel

Integralgleichung

kettenregel

Lösbarkeit einer Matrix

Glechgewicht

Schiefe Ebene

Elektrische Anlage mit Abzweigunen

Flächenträgheit

Wechselstrom

Cauchy Verdichtungssatz 

Schaltvorgänge

Singulärwertzerlegung

Spann

Lineares Gleichungssystem

spannung

LR-Zerlegung mit pivotisierung 

Basis bestimmen

trigonalisierbarkeit

Fourier Koeffizienten bestimmen

Reimann-Summen

Ungleichungen 

Statik in der Ebene

Fourier-Reihen

Funktionsfolgen

Unterschied In/Homogen

Basis, Basiswechsel

Abbildungsmatrizen

Funktionen bestimmen

Geraden und Ebenen

Gruppen

lineare abbildung 

quadratische ergänzung

Baustatik 1

Anfangswertprobleme :)

Differentialgleichungen

basis 

QR-Algorithmus

QR-Zerlegung

Cholesky-Zerlegung

Bild & Urbild

Zweigstromanalyse

Transistor als Thermometer

Investment

Teilfolgen

Epsilon Delta Kriterium

prinzip der virtuellen verrückung 

Linear Kombination

Folgen, Reihen und Potenzreihen

Flächenpressung

Arbeit 

Cholesky Zerlegung

Polynomfunktionen beschreiben

Zu Maß-und Integrationstheorie: Majorisierte Konvergenz

Teilchenphysik und Festkörperphysik

Orthogonaltrajektorien

test

Taylorreihen

Regel von de L'Hopital

Mathe

KRAFT

Grenzwert Funktion 

Folgenkriterium

ϵ-δ Kriterium 

Beweis Stetigkeit 

Wahrheitstabelle

2x2 Matrix

Matrix invertieren

Basiswechselsatz

Lineare Abbildunge 

Vorderrad fahradgabel lagerkräfte berechnen 

Spannungsregelung

Jordan Normal Form

Test

Induktion 

Jordan-Normalform

Ansatz der Störfunktion zur Bestimmung der Partikulären Lösung

Kurvenintegral

dlg mithilfe inhomogenen linearen system lösen

Inverse einer Matrix

Gleichmäßige Stetigkeit

addition

Regel von L´Hospital

Lineare Abbildungen

dimension eines Untervektorraumes bestimmen

Stationäre Stoffübertragung

Polplan, Prinzip der virtuellen Verrückungen

komplexe Ungleichungen 

Bidualräume

Dualräume

Taylorpolynome

Kern und Basis

Diagonalisieren einer Matrix

Rekursive Folgen

Exponentialreihe

Darstellungsmatrizen

restglied

Basiswechsel

Gamma Funktion

<p>Die ursprüngliche Aussage ist wahr, da die Negation falsch ist.</p>

<p>Die Aussage bedeutet: Für jedes $x$ existiert ein $y$ mit $x &amp;lt; y$.</p>


<p>Die Aussage bedeutet: Für jedes <mjx-container class="MathJax" jax="SVG"><svg alt="x" style="vertical-align: -0.025ex;" xmlns="http://www.w3.org/2000/svg" width="1.294ex" height="1.025ex" role="img" focusable="false" viewBox="0 -442 572 453" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-55-TEX-I-1D465" d="M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D465" xlink:href="#MJX-55-TEX-I-1D465"></use></g></g></g></svg></mjx-container> existiert ein <mjx-container class="MathJax" jax="SVG"><svg alt="y" style="vertical-align: -0.464ex;" xmlns="http://www.w3.org/2000/svg" width="1.109ex" height="1.464ex" role="img" focusable="false" viewBox="0 -442 490 647" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-56-TEX-I-1D466" d="M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D466" xlink:href="#MJX-56-TEX-I-1D466"></use></g></g></g></svg></mjx-container> mit <mjx-container class="MathJax" jax="SVG"><svg alt="x < y" style="vertical-align: -0.464ex;" xmlns="http://www.w3.org/2000/svg" width="5.42ex" height="1.686ex" role="img" focusable="false" viewBox="0 -540 2395.6 745" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-57-TEX-I-1D465" d="M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"></path><path id="MJX-57-TEX-N-3C" d="M694 -11T694 -19T688 -33T678 -40Q671 -40 524 29T234 166L90 235Q83 240 83 250Q83 261 91 266Q664 540 678 540Q681 540 687 534T694 519T687 505Q686 504 417 376L151 250L417 124Q686 -4 687 -5Q694 -11 694 -19Z"></path><path id="MJX-57-TEX-I-1D466" d="M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D465" xlink:href="#MJX-57-TEX-I-1D465"></use></g><g data-mml-node="mo" transform="translate(849.8,0)"><use data-c="3C" xlink:href="#MJX-57-TEX-N-3C"></use></g><g data-mml-node="mi" transform="translate(1905.6,0)"><use data-c="1D466" xlink:href="#MJX-57-TEX-I-1D466"></use></g></g></g></svg></mjx-container>.</p>


<p>$1$. Bilde die Negation der Aufgabe:</p>


<p><mjx-container class="MathJax" jax="SVG"><svg alt="1" style="vertical-align: 0;" xmlns="http://www.w3.org/2000/svg" width="1.131ex" height="1.507ex" role="img" focusable="false" viewBox="0 -666 500 666" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-58-TEX-N-31" d="M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mn"><use data-c="31" xlink:href="#MJX-58-TEX-N-31"></use></g></g></g></svg></mjx-container>. Bilde die Negation der Aufgabe:</p>


<p>$$\exists x\in \mathbb{R} , \ \forall y\in \mathbb{N}:x \geq y$$</p>


<p>Die Negation bedeutet also: Es existiert ein $x$, sodass für jedes $y$ gilt: $x \geq y$.</p>


<p>Die Negation bedeutet also: Es existiert ein <mjx-container class="MathJax" jax="SVG"><svg alt="x" style="vertical-align: -0.025ex;" xmlns="http://www.w3.org/2000/svg" width="1.294ex" height="1.025ex" role="img" focusable="false" viewBox="0 -442 572 453" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-60-TEX-I-1D465" d="M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D465" xlink:href="#MJX-60-TEX-I-1D465"></use></g></g></g></svg></mjx-container>, sodass für jedes <mjx-container class="MathJax" jax="SVG"><svg alt="y" style="vertical-align: -0.464ex;" xmlns="http://www.w3.org/2000/svg" width="1.109ex" height="1.464ex" role="img" focusable="false" viewBox="0 -442 490 647" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-61-TEX-I-1D466" d="M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D466" xlink:href="#MJX-61-TEX-I-1D466"></use></g></g></g></svg></mjx-container> gilt: <mjx-container class="MathJax" jax="SVG"><svg alt="x \geq y" style="vertical-align: -0.464ex;" xmlns="http://www.w3.org/2000/svg" width="5.42ex" height="1.903ex" role="img" focusable="false" viewBox="0 -636 2395.6 841" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-62-TEX-I-1D465" d="M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"></path><path id="MJX-62-TEX-N-2265" d="M83 616Q83 624 89 630T99 636Q107 636 253 568T543 431T687 361Q694 356 694 346T687 331Q685 329 395 192L107 56H101Q83 58 83 76Q83 77 83 79Q82 86 98 95Q117 105 248 167Q326 204 378 228L626 346L360 472Q291 505 200 548Q112 589 98 597T83 616ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z"></path><path id="MJX-62-TEX-I-1D466" d="M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D465" xlink:href="#MJX-62-TEX-I-1D465"></use></g><g data-mml-node="mo" transform="translate(849.8,0)"><use data-c="2265" xlink:href="#MJX-62-TEX-N-2265"></use></g><g data-mml-node="mi" transform="translate(1905.6,0)"><use data-c="1D466" xlink:href="#MJX-62-TEX-I-1D466"></use></g></g></g></svg></mjx-container>.</p>


<p>$2$. Prüfe den Wahrheitsgehalt der Negation und begründe deine Aussage</p>


<p><mjx-container class="MathJax" jax="SVG"><svg alt="2" style="vertical-align: 0;" xmlns="http://www.w3.org/2000/svg" width="1.131ex" height="1.507ex" role="img" focusable="false" viewBox="0 -666 500 666" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-63-TEX-N-32" d="M109 429Q82 429 66 447T50 491Q50 562 103 614T235 666Q326 666 387 610T449 465Q449 422 429 383T381 315T301 241Q265 210 201 149L142 93L218 92Q375 92 385 97Q392 99 409 186V189H449V186Q448 183 436 95T421 3V0H50V19V31Q50 38 56 46T86 81Q115 113 136 137Q145 147 170 174T204 211T233 244T261 278T284 308T305 340T320 369T333 401T340 431T343 464Q343 527 309 573T212 619Q179 619 154 602T119 569T109 550Q109 549 114 549Q132 549 151 535T170 489Q170 464 154 447T109 429Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mn"><use data-c="32" xlink:href="#MJX-63-TEX-N-32"></use></g></g></g></svg></mjx-container>. Prüfe den Wahrheitsgehalt der Negation und begründe deine Aussage</p>


<p>Die Negation der Aussage ist falsch, da sich immer ein $y$ findet, welches größer ist als das gewählte $x$. Dies gilt, da die natürlichen Zahlen nicht nach oben beschränkt sind.</p>


<p>Die Negation der Aussage ist falsch, da sich immer ein <mjx-container class="MathJax" jax="SVG"><svg alt="y" style="vertical-align: -0.464ex;" xmlns="http://www.w3.org/2000/svg" width="1.109ex" height="1.464ex" role="img" focusable="false" viewBox="0 -442 490 647" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-64-TEX-I-1D466" d="M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D466" xlink:href="#MJX-64-TEX-I-1D466"></use></g></g></g></svg></mjx-container> findet, welches größer ist als das gewählte <mjx-container class="MathJax" jax="SVG"><svg alt="x" style="vertical-align: -0.025ex;" xmlns="http://www.w3.org/2000/svg" width="1.294ex" height="1.025ex" role="img" focusable="false" viewBox="0 -442 572 453" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-65-TEX-I-1D465" d="M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D465" xlink:href="#MJX-65-TEX-I-1D465"></use></g></g></g></svg></mjx-container>. Dies gilt, da die natürlichen Zahlen nicht nach oben beschränkt sind.</p>


<p>Bilden Sie die Negation der angegebenen Aussage</p>
<p style="padding-left: 40px;">\[\forall x\in \mathbb{R}, \ \exists y\in \mathbb{N}: x &amp;lt; y\]</p>
<p>und überprüfen Sie deren Wahrheitsgehalt mit einer kurzen Begründung oder durch Angabe eines Gegenbeispiels.</p>

<p>Bilden Sie die Negation der angegebenen Aussage</p>
<p style="padding-left: 40px;"><mjx-container class="MathJax" jax="SVG" display="true" justify="left"><svg alt="\forall x\in \mathbb{R}, \ \exists y\in \mathbb{N}: x < y" style="vertical-align: -0.464ex;" xmlns="http://www.w3.org/2000/svg" width="22.595ex" height="2.034ex" role="img" focusable="false" viewBox="0 -694 9986.9 899" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-54-TEX-N-2200" d="M0 673Q0 684 7 689T20 694Q32 694 38 680T82 567L126 451H430L473 566Q483 593 494 622T512 668T519 685Q524 694 538 694Q556 692 556 674Q556 670 426 329T293 -15Q288 -22 278 -22T263 -15Q260 -11 131 328T0 673ZM414 410Q414 411 278 411T142 410L278 55L414 410Z"></path><path id="MJX-54-TEX-I-1D465" d="M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"></path><path id="MJX-54-TEX-N-2208" d="M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z"></path><path id="MJX-54-TEX-D-211D" d="M17 665Q17 672 28 683H221Q415 681 439 677Q461 673 481 667T516 654T544 639T566 623T584 607T597 592T607 578T614 565T618 554L621 548Q626 530 626 497Q626 447 613 419Q578 348 473 326L455 321Q462 310 473 292T517 226T578 141T637 72T686 35Q705 30 705 16Q705 7 693 -1H510Q503 6 404 159L306 310H268V183Q270 67 271 59Q274 42 291 38Q295 37 319 35Q344 35 353 28Q362 17 353 3L346 -1H28Q16 5 16 16Q16 35 55 35Q96 38 101 52Q106 60 106 341T101 632Q95 645 55 648Q17 648 17 665ZM241 35Q238 42 237 45T235 78T233 163T233 337V621L237 635L244 648H133Q136 641 137 638T139 603T141 517T141 341Q141 131 140 89T134 37Q133 36 133 35H241ZM457 496Q457 540 449 570T425 615T400 634T377 643Q374 643 339 648Q300 648 281 635Q271 628 270 610T268 481V346H284Q327 346 375 352Q421 364 439 392T457 496ZM492 537T492 496T488 427T478 389T469 371T464 361Q464 360 465 360Q469 360 497 370Q593 400 593 495Q593 592 477 630L457 637L461 626Q474 611 488 561Q492 537 492 496ZM464 243Q411 317 410 317Q404 317 401 315Q384 315 370 312H346L526 35H619L606 50Q553 109 464 243Z"></path><path id="MJX-54-TEX-N-2C" d="M78 35T78 60T94 103T137 121Q165 121 187 96T210 8Q210 -27 201 -60T180 -117T154 -158T130 -185T117 -194Q113 -194 104 -185T95 -172Q95 -168 106 -156T131 -126T157 -76T173 -3V9L172 8Q170 7 167 6T161 3T152 1T140 0Q113 0 96 17Z"></path><path id="MJX-54-TEX-N-A0" d=""></path><path id="MJX-54-TEX-N-2203" d="M56 661T56 674T70 694H487Q497 686 500 679V15Q497 10 487 1L279 0H70Q56 7 56 20T70 40H460V327H84Q70 334 70 347T84 367H460V654H70Q56 661 56 674Z"></path><path id="MJX-54-TEX-I-1D466" d="M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z"></path><path id="MJX-54-TEX-D-2115" d="M20 664Q20 666 31 683H142Q256 683 258 681Q259 680 279 653T342 572T422 468L582 259V425Q582 451 582 490T583 541Q583 611 573 628T522 648Q500 648 493 654Q484 665 493 679L500 683H691Q702 676 702 666Q702 657 698 652Q688 648 680 648Q633 648 627 612Q624 601 624 294V-8Q616 -20 607 -20Q601 -20 596 -15Q593 -13 371 270L156 548L153 319Q153 284 153 234T152 167Q152 103 156 78T172 44T213 34Q236 34 242 28Q253 17 242 3L236 -1H36Q24 6 24 16Q24 34 56 34Q58 35 69 36T86 40T100 50T109 72Q111 83 111 345V603L96 619Q72 643 44 648Q20 648 20 664ZM413 419L240 648H120L136 628Q137 626 361 341T587 54L589 68Q589 78 589 121V192L413 419Z"></path><path id="MJX-54-TEX-N-3A" d="M78 370Q78 394 95 412T138 430Q162 430 180 414T199 371Q199 346 182 328T139 310T96 327T78 370ZM78 60Q78 84 95 102T138 120Q162 120 180 104T199 61Q199 36 182 18T139 0T96 17T78 60Z"></path><path id="MJX-54-TEX-N-3C" d="M694 -11T694 -19T688 -33T678 -40Q671 -40 524 29T234 166L90 235Q83 240 83 250Q83 261 91 266Q664 540 678 540Q681 540 687 534T694 519T687 505Q686 504 417 376L151 250L417 124Q686 -4 687 -5Q694 -11 694 -19Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="2200" xlink:href="#MJX-54-TEX-N-2200"></use></g><g data-mml-node="mi" transform="translate(556,0)"><use data-c="1D465" xlink:href="#MJX-54-TEX-I-1D465"></use></g><g data-mml-node="mo" transform="translate(1405.8,0)"><use data-c="2208" xlink:href="#MJX-54-TEX-N-2208"></use></g><g data-mml-node="TeXAtom" data-mjx-texclass="ORD" transform="translate(2350.6,0)"><g data-mml-node="mi"><use data-c="211D" xlink:href="#MJX-54-TEX-D-211D"></use></g></g><g data-mml-node="mo" transform="translate(3072.6,0)"><use data-c="2C" xlink:href="#MJX-54-TEX-N-2C"></use></g><g data-mml-node="mtext" transform="translate(3517.2,0)"><use data-c="A0" xlink:href="#MJX-54-TEX-N-A0"></use></g><g data-mml-node="mi" transform="translate(3767.2,0)"><use data-c="2203" xlink:href="#MJX-54-TEX-N-2203"></use></g><g data-mml-node="mi" transform="translate(4323.2,0)"><use data-c="1D466" xlink:href="#MJX-54-TEX-I-1D466"></use></g><g data-mml-node="mo" transform="translate(5091,0)"><use data-c="2208" xlink:href="#MJX-54-TEX-N-2208"></use></g><g data-mml-node="TeXAtom" data-mjx-texclass="ORD" transform="translate(6035.8,0)"><g data-mml-node="mi"><use data-c="2115" xlink:href="#MJX-54-TEX-D-2115"></use></g></g><g data-mml-node="mo" transform="translate(7035.6,0)"><use data-c="3A" xlink:href="#MJX-54-TEX-N-3A"></use></g><g data-mml-node="mi" transform="translate(7591.3,0)"><use data-c="1D465" xlink:href="#MJX-54-TEX-I-1D465"></use></g><g data-mml-node="mo" transform="translate(8441.1,0)"><use data-c="3C" xlink:href="#MJX-54-TEX-N-3C"></use></g><g data-mml-node="mi" transform="translate(9496.9,0)"><use data-c="1D466" xlink:href="#MJX-54-TEX-I-1D466"></use></g></g></g></svg></mjx-container></p>
<p>und überprüfen Sie deren Wahrheitsgehalt mit einer kurzen Begründung oder durch Angabe eines Gegenbeispiels.</p>

Dies ist eine interaktive Aufgabe zu: Gegenbeweis mit praktischen Tipps zum Lösen und einer Zusammenfassung der nötigen Theorie

Logik - Gegenbeweis | Aufgabe mit Lösung


<h2 class="content_sub_heading">Übersicht der wichtigsten Quantoren/Junktoren</h2>
<table style="border-collapse: collapse; width: 100%; height: 162px; border-style: hidden; float: left;" border="1">
<tbody>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;"><strong>Name</strong></td>
<td style="width: 33.3333%; text-align: center; height: 18px;"><strong>Zeichen</strong></td>
<td style="width: 33.3333%; height: 18px;"><strong>Gesprochen</strong></td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Existenzquantor</td>
<td style="width: 33.3333%; height: 18px; text-align: center;">$\exists$</td>
<td style="width: 33.3333%; height: 18px;">Es gibt ein...</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Existenzquantor</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"> $\exists !$</td>
<td style="width: 33.3333%; height: 18px;">Es gibt genau ein...</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Allquantor</td>
<td style="width: 33.3333%; height: 18px; text-align: center;">$\forall$</td>
<td style="width: 33.3333%; height: 18px;">Für alle...</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Negation</td>
<td style="width: 33.3333%; height: 18px; text-align: center;">$\neg A$</td>
<td style="width: 33.3333%; height: 18px;">NIcht A</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Konjunktion (logisches und)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;">$A \wedge B$</td>
<td style="width: 33.3333%; height: 18px;">A und B</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Disjunktion (logisches oder)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;">$A \vee B$</td>
<td style="width: 33.3333%; height: 18px;">A oder B</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Subjunktion (Implikation)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;">$A \Rightarrow B$</td>
<td style="width: 33.3333%; height: 18px;">Wenn A, dann auch B</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Bisubjunktion (Äquivalenz)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;">$A \Leftrightarrow B$</td>
<td style="width: 33.3333%; height: 18px;">A genau dann, wenn B gilt und umgekehrt</td>
</tr>
</tbody>
</table>



<h2 class="content_sub_heading">Übersicht der wichtigsten Quantoren/Junktoren</h2>
<table style="border-collapse: collapse; width: 100%; height: 162px; border-style: hidden; float: left;" border="1">
<tbody>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;"><strong>Name</strong></td>
<td style="width: 33.3333%; text-align: center; height: 18px;"><strong>Zeichen</strong></td>
<td style="width: 33.3333%; height: 18px;"><strong>Gesprochen</strong></td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Existenzquantor</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"><mjx-container class="MathJax" jax="SVG"><svg alt="\exists" style="vertical-align: 0" xmlns="http://www.w3.org/2000/svg" width="1.258ex" height="1.57ex" role="img" focusable="false" viewBox="0 -694 556 694" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-109-TEX-N-2203" d="M56 661T56 674T70 694H487Q497 686 500 679V15Q497 10 487 1L279 0H70Q56 7 56 20T70 40H460V327H84Q70 334 70 347T84 367H460V654H70Q56 661 56 674Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="2203" xlink:href="#MJX-109-TEX-N-2203"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">Es gibt ein...</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Existenzquantor</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"> <mjx-container class="MathJax" jax="SVG"><svg alt="\exists !" style="vertical-align: 0" xmlns="http://www.w3.org/2000/svg" width="1.887ex" height="1.62ex" role="img" focusable="false" viewBox="0 -716 834 716" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-110-TEX-N-2203" d="M56 661T56 674T70 694H487Q497 686 500 679V15Q497 10 487 1L279 0H70Q56 7 56 20T70 40H460V327H84Q70 334 70 347T84 367H460V654H70Q56 661 56 674Z"></path><path id="MJX-110-TEX-N-21" d="M78 661Q78 682 96 699T138 716T180 700T199 661Q199 654 179 432T158 206Q156 198 139 198Q121 198 119 206Q118 209 98 431T78 661ZM79 61Q79 89 97 105T141 121Q164 119 181 104T198 61Q198 31 181 16T139 1Q114 1 97 16T79 61Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="2203" xlink:href="#MJX-110-TEX-N-2203"></use></g><g data-mml-node="mo" transform="translate(556,0)"><use data-c="21" xlink:href="#MJX-110-TEX-N-21"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">Es gibt genau ein...</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Allquantor</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"><mjx-container class="MathJax" jax="SVG"><svg alt="\forall" style="vertical-align: -0.05ex" xmlns="http://www.w3.org/2000/svg" width="1.258ex" height="1.62ex" role="img" focusable="false" viewBox="0 -694 556 716" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-111-TEX-N-2200" d="M0 673Q0 684 7 689T20 694Q32 694 38 680T82 567L126 451H430L473 566Q483 593 494 622T512 668T519 685Q524 694 538 694Q556 692 556 674Q556 670 426 329T293 -15Q288 -22 278 -22T263 -15Q260 -11 131 328T0 673ZM414 410Q414 411 278 411T142 410L278 55L414 410Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="2200" xlink:href="#MJX-111-TEX-N-2200"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">Für alle...</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Negation</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"><mjx-container class="MathJax" jax="SVG"><svg alt="\neg A" style="vertical-align: 0" xmlns="http://www.w3.org/2000/svg" width="3.206ex" height="1.62ex" role="img" focusable="false" viewBox="0 -716 1417 716" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-112-TEX-N-AC" d="M56 323T56 336T70 356H596Q603 353 611 343V102Q598 89 591 89Q587 89 584 90T579 94T575 98T572 102L571 209V316H70Q56 323 56 336Z"></path><path id="MJX-112-TEX-I-1D434" d="M208 74Q208 50 254 46Q272 46 272 35Q272 34 270 22Q267 8 264 4T251 0Q249 0 239 0T205 1T141 2Q70 2 50 0H42Q35 7 35 11Q37 38 48 46H62Q132 49 164 96Q170 102 345 401T523 704Q530 716 547 716H555H572Q578 707 578 706L606 383Q634 60 636 57Q641 46 701 46Q726 46 726 36Q726 34 723 22Q720 7 718 4T704 0Q701 0 690 0T651 1T578 2Q484 2 455 0H443Q437 6 437 9T439 27Q443 40 445 43L449 46H469Q523 49 533 63L521 213H283L249 155Q208 86 208 74ZM516 260Q516 271 504 416T490 562L463 519Q447 492 400 412L310 260L413 259Q516 259 516 260Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="AC" xlink:href="#MJX-112-TEX-N-AC"></use></g><g data-mml-node="mi" transform="translate(667,0)"><use data-c="1D434" xlink:href="#MJX-112-TEX-I-1D434"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">NIcht A</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Konjunktion (logisches und)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"><mjx-container class="MathJax" jax="SVG"><svg alt="A \wedge B" style="vertical-align: -0.05ex" xmlns="http://www.w3.org/2000/svg" width="5.929ex" height="1.67ex" role="img" focusable="false" viewBox="0 -716 2620.4 738" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-113-TEX-I-1D434" d="M208 74Q208 50 254 46Q272 46 272 35Q272 34 270 22Q267 8 264 4T251 0Q249 0 239 0T205 1T141 2Q70 2 50 0H42Q35 7 35 11Q37 38 48 46H62Q132 49 164 96Q170 102 345 401T523 704Q530 716 547 716H555H572Q578 707 578 706L606 383Q634 60 636 57Q641 46 701 46Q726 46 726 36Q726 34 723 22Q720 7 718 4T704 0Q701 0 690 0T651 1T578 2Q484 2 455 0H443Q437 6 437 9T439 27Q443 40 445 43L449 46H469Q523 49 533 63L521 213H283L249 155Q208 86 208 74ZM516 260Q516 271 504 416T490 562L463 519Q447 492 400 412L310 260L413 259Q516 259 516 260Z"></path><path id="MJX-113-TEX-N-2227" d="M318 591Q325 598 333 598Q344 598 348 591Q349 590 414 445T545 151T611 -4Q609 -22 591 -22Q588 -22 586 -21T581 -20T577 -17T575 -13T572 -9T570 -4L333 528L96 -4Q87 -20 80 -21Q78 -22 75 -22Q57 -22 55 -4Q55 2 120 150T251 444T318 591Z"></path><path id="MJX-113-TEX-I-1D435" d="M231 637Q204 637 199 638T194 649Q194 676 205 682Q206 683 335 683Q594 683 608 681Q671 671 713 636T756 544Q756 480 698 429T565 360L555 357Q619 348 660 311T702 219Q702 146 630 78T453 1Q446 0 242 0Q42 0 39 2Q35 5 35 10Q35 17 37 24Q42 43 47 45Q51 46 62 46H68Q95 46 128 49Q142 52 147 61Q150 65 219 339T288 628Q288 635 231 637ZM649 544Q649 574 634 600T585 634Q578 636 493 637Q473 637 451 637T416 636H403Q388 635 384 626Q382 622 352 506Q352 503 351 500L320 374H401Q482 374 494 376Q554 386 601 434T649 544ZM595 229Q595 273 572 302T512 336Q506 337 429 337Q311 337 310 336Q310 334 293 263T258 122L240 52Q240 48 252 48T333 46Q422 46 429 47Q491 54 543 105T595 229Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D434" xlink:href="#MJX-113-TEX-I-1D434"></use></g><g data-mml-node="mo" transform="translate(972.2,0)"><use data-c="2227" xlink:href="#MJX-113-TEX-N-2227"></use></g><g data-mml-node="mi" transform="translate(1861.4,0)"><use data-c="1D435" xlink:href="#MJX-113-TEX-I-1D435"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">A und B</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Disjunktion (logisches oder)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"><mjx-container class="MathJax" jax="SVG"><svg alt="A \vee B" style="vertical-align: -0.05ex" xmlns="http://www.w3.org/2000/svg" width="5.929ex" height="1.67ex" role="img" focusable="false" viewBox="0 -716 2620.4 738" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-114-TEX-I-1D434" d="M208 74Q208 50 254 46Q272 46 272 35Q272 34 270 22Q267 8 264 4T251 0Q249 0 239 0T205 1T141 2Q70 2 50 0H42Q35 7 35 11Q37 38 48 46H62Q132 49 164 96Q170 102 345 401T523 704Q530 716 547 716H555H572Q578 707 578 706L606 383Q634 60 636 57Q641 46 701 46Q726 46 726 36Q726 34 723 22Q720 7 718 4T704 0Q701 0 690 0T651 1T578 2Q484 2 455 0H443Q437 6 437 9T439 27Q443 40 445 43L449 46H469Q523 49 533 63L521 213H283L249 155Q208 86 208 74ZM516 260Q516 271 504 416T490 562L463 519Q447 492 400 412L310 260L413 259Q516 259 516 260Z"></path><path id="MJX-114-TEX-N-2228" d="M55 580Q56 587 61 592T75 598Q86 598 96 580L333 48L570 580Q579 596 586 597Q588 598 591 598Q609 598 611 580Q611 574 546 426T415 132T348 -15Q343 -22 333 -22T318 -15Q317 -14 252 131T121 425T55 580Z"></path><path id="MJX-114-TEX-I-1D435" d="M231 637Q204 637 199 638T194 649Q194 676 205 682Q206 683 335 683Q594 683 608 681Q671 671 713 636T756 544Q756 480 698 429T565 360L555 357Q619 348 660 311T702 219Q702 146 630 78T453 1Q446 0 242 0Q42 0 39 2Q35 5 35 10Q35 17 37 24Q42 43 47 45Q51 46 62 46H68Q95 46 128 49Q142 52 147 61Q150 65 219 339T288 628Q288 635 231 637ZM649 544Q649 574 634 600T585 634Q578 636 493 637Q473 637 451 637T416 636H403Q388 635 384 626Q382 622 352 506Q352 503 351 500L320 374H401Q482 374 494 376Q554 386 601 434T649 544ZM595 229Q595 273 572 302T512 336Q506 337 429 337Q311 337 310 336Q310 334 293 263T258 122L240 52Q240 48 252 48T333 46Q422 46 429 47Q491 54 543 105T595 229Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D434" xlink:href="#MJX-114-TEX-I-1D434"></use></g><g data-mml-node="mo" transform="translate(972.2,0)"><use data-c="2228" xlink:href="#MJX-114-TEX-N-2228"></use></g><g data-mml-node="mi" transform="translate(1861.4,0)"><use data-c="1D435" xlink:href="#MJX-114-TEX-I-1D435"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">A oder B</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Subjunktion (Implikation)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"><mjx-container class="MathJax" jax="SVG"><svg alt="A \Rightarrow B" style="vertical-align: -0.054ex" xmlns="http://www.w3.org/2000/svg" width="6.933ex" height="1.674ex" role="img" focusable="false" viewBox="0 -716 3064.6 740" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-115-TEX-I-1D434" d="M208 74Q208 50 254 46Q272 46 272 35Q272 34 270 22Q267 8 264 4T251 0Q249 0 239 0T205 1T141 2Q70 2 50 0H42Q35 7 35 11Q37 38 48 46H62Q132 49 164 96Q170 102 345 401T523 704Q530 716 547 716H555H572Q578 707 578 706L606 383Q634 60 636 57Q641 46 701 46Q726 46 726 36Q726 34 723 22Q720 7 718 4T704 0Q701 0 690 0T651 1T578 2Q484 2 455 0H443Q437 6 437 9T439 27Q443 40 445 43L449 46H469Q523 49 533 63L521 213H283L249 155Q208 86 208 74ZM516 260Q516 271 504 416T490 562L463 519Q447 492 400 412L310 260L413 259Q516 259 516 260Z"></path><path id="MJX-115-TEX-N-21D2" d="M580 514Q580 525 596 525Q601 525 604 525T609 525T613 524T615 523T617 520T619 517T622 512Q659 438 720 381T831 300T927 263Q944 258 944 250T935 239T898 228T840 204Q696 134 622 -12Q618 -21 615 -22T600 -24Q580 -24 580 -17Q580 -13 585 0Q620 69 671 123L681 133H70Q56 140 56 153Q56 168 72 173H725L735 181Q774 211 852 250Q851 251 834 259T789 283T735 319L725 327H72Q56 332 56 347Q56 360 70 367H681L671 377Q638 412 609 458T580 514Z"></path><path id="MJX-115-TEX-I-1D435" d="M231 637Q204 637 199 638T194 649Q194 676 205 682Q206 683 335 683Q594 683 608 681Q671 671 713 636T756 544Q756 480 698 429T565 360L555 357Q619 348 660 311T702 219Q702 146 630 78T453 1Q446 0 242 0Q42 0 39 2Q35 5 35 10Q35 17 37 24Q42 43 47 45Q51 46 62 46H68Q95 46 128 49Q142 52 147 61Q150 65 219 339T288 628Q288 635 231 637ZM649 544Q649 574 634 600T585 634Q578 636 493 637Q473 637 451 637T416 636H403Q388 635 384 626Q382 622 352 506Q352 503 351 500L320 374H401Q482 374 494 376Q554 386 601 434T649 544ZM595 229Q595 273 572 302T512 336Q506 337 429 337Q311 337 310 336Q310 334 293 263T258 122L240 52Q240 48 252 48T333 46Q422 46 429 47Q491 54 543 105T595 229Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D434" xlink:href="#MJX-115-TEX-I-1D434"></use></g><g data-mml-node="mo" transform="translate(1027.8,0)"><use data-c="21D2" xlink:href="#MJX-115-TEX-N-21D2"></use></g><g data-mml-node="mi" transform="translate(2305.6,0)"><use data-c="1D435" xlink:href="#MJX-115-TEX-I-1D435"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">Wenn A, dann auch B</td>
</tr>
<tr style="height: 18px;">
<td style="width: 33.3333%; height: 18px;">Bisubjunktion (Äquivalenz)</td>
<td style="width: 33.3333%; height: 18px; text-align: center;"><mjx-container class="MathJax" jax="SVG"><svg alt="A \Leftrightarrow B" style="vertical-align: -0.057ex" xmlns="http://www.w3.org/2000/svg" width="6.933ex" height="1.676ex" role="img" focusable="false" viewBox="0 -716 3064.6 741" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-116-TEX-I-1D434" d="M208 74Q208 50 254 46Q272 46 272 35Q272 34 270 22Q267 8 264 4T251 0Q249 0 239 0T205 1T141 2Q70 2 50 0H42Q35 7 35 11Q37 38 48 46H62Q132 49 164 96Q170 102 345 401T523 704Q530 716 547 716H555H572Q578 707 578 706L606 383Q634 60 636 57Q641 46 701 46Q726 46 726 36Q726 34 723 22Q720 7 718 4T704 0Q701 0 690 0T651 1T578 2Q484 2 455 0H443Q437 6 437 9T439 27Q443 40 445 43L449 46H469Q523 49 533 63L521 213H283L249 155Q208 86 208 74ZM516 260Q516 271 504 416T490 562L463 519Q447 492 400 412L310 260L413 259Q516 259 516 260Z"></path><path id="MJX-116-TEX-N-21D4" d="M308 524Q318 526 323 526Q340 526 340 514Q340 507 336 499Q326 476 314 454T292 417T274 391T260 374L255 368Q255 367 500 367Q744 367 744 368L739 374Q734 379 726 390T707 416T685 453T663 499Q658 511 658 515Q658 525 680 525Q687 524 690 523T695 519T701 507Q766 359 902 287Q921 276 939 269T961 259T966 250Q966 246 965 244T960 240T949 236T930 228T902 213Q763 137 701 -7Q697 -16 695 -19T690 -23T680 -25Q658 -25 658 -15Q658 -11 663 1Q673 24 685 46T707 83T725 109T739 126L744 132Q744 133 500 133Q255 133 255 132L260 126Q265 121 273 110T292 84T314 47T336 1Q341 -11 341 -15Q341 -25 319 -25Q312 -24 309 -23T304 -19T298 -7Q233 141 97 213Q83 221 70 227T51 235T41 239T35 243T34 250T35 256T40 261T51 265T70 273T97 287Q235 363 299 509Q305 522 308 524ZM792 319L783 327H216Q183 294 120 256L110 250L120 244Q173 212 207 181L216 173H783L792 181Q826 212 879 244L889 250L879 256Q826 288 792 319Z"></path><path id="MJX-116-TEX-I-1D435" d="M231 637Q204 637 199 638T194 649Q194 676 205 682Q206 683 335 683Q594 683 608 681Q671 671 713 636T756 544Q756 480 698 429T565 360L555 357Q619 348 660 311T702 219Q702 146 630 78T453 1Q446 0 242 0Q42 0 39 2Q35 5 35 10Q35 17 37 24Q42 43 47 45Q51 46 62 46H68Q95 46 128 49Q142 52 147 61Q150 65 219 339T288 628Q288 635 231 637ZM649 544Q649 574 634 600T585 634Q578 636 493 637Q473 637 451 637T416 636H403Q388 635 384 626Q382 622 352 506Q352 503 351 500L320 374H401Q482 374 494 376Q554 386 601 434T649 544ZM595 229Q595 273 572 302T512 336Q506 337 429 337Q311 337 310 336Q310 334 293 263T258 122L240 52Q240 48 252 48T333 46Q422 46 429 47Q491 54 543 105T595 229Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mi"><use data-c="1D434" xlink:href="#MJX-116-TEX-I-1D434"></use></g><g data-mml-node="mo" transform="translate(1027.8,0)"><use data-c="21D4" xlink:href="#MJX-116-TEX-N-21D4"></use></g><g data-mml-node="mi" transform="translate(2305.6,0)"><use data-c="1D435" xlink:href="#MJX-116-TEX-I-1D435"></use></g></g></g></svg></mjx-container></td>
<td style="width: 33.3333%; height: 18px;">A genau dann, wenn B gilt und umgekehrt</td>
</tr>
</tbody>
</table>



<h2 class="content_sub_heading">Zahlenarten im Überblick</h2>
<p><strong>Natürliche Zahlen:</strong></p>
<p style="padding-left: 40px;">$$\mathbb{N}=\{1,2,3,4,5,6, \ldots\}$$</p>
<p style="padding-left: 40px;">$$\mathbb{N}_{0}=\{0,1,2,3,4,5,6, \ldots\}$$</p>
<p> </p>
<p><strong>Ganze Zahlen:</strong></p>
<p style="padding-left: 40px;">$$\mathbb{Z}=\{\ldots,-2,-1,0,1,2, \ldots\}$$</p>
<p> </p>
<p><strong>Rationale Zahlen:</strong></p>
<p style="padding-left: 40px;">$$\mathbb{Q}=\left\{x=\frac{a}{b} \ \middle| \ a, b \in \mathbb{Z}, \ b \neq 0\right\}$$</p>
<p> </p>
<p><strong>Rationale Zahlen:</strong></p>
<p style="padding-left: 40px;">$\mathbb{R}=(-\infty, \infty)$</p>
<p> </p>
<p><strong>Komplexe Zahlen:</strong></p>
<p style="padding-left: 40px;">$$\mathrm{C}=\left\{a+b \cdot i \ \middle| \ a, b \in \mathrm{R}\right\}$$</p>
<p> </p>
<p><strong>Zusammenhang der Zahlenmengen:</strong></p>
<p style="padding-left: 40px;">$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$</p>



<h2 class="content_sub_heading">Gegenbeweis</h2>
<p><strong>1)</strong> Bilde die Negation der zu untersuchenden Aussage. Nutze:</p>
<p> </p>
<p>$$\begin{array}{c|c} {\text {Symbol}} &amp; {\text{Negation}} \\ \hline \forall &amp; {\exists} \\ \hline=&amp; {\neq} \\ \hline&amp;lt;&amp; {\geq} \\ \hline \vee &amp; {\wedge}\end{array}$$</p>
<p> </p>
<p><strong>2) </strong>Prüfe den Wahrheitsgehalt der Negation. Gegebenenfalls musst du hierfür ein allgemeines Gegenbeispiel finden.</p>
<p> </p>
<p><strong>3)</strong> Aus dem Wahrheitsgehalt der Negation ergibt sich im Umkehrschluss direkt auch der Wahrheitsgehalt der ursprünglichen Aussage. Denn:</p>
<ul>
<li>Gilt eine Aussage nicht für alle Elemente, so existiert (mindestens) eines, für das die Negation gilt.</li>
<li>Wenn eine Aussage nicht für ein Element gilt, also für keines, so gilt die negierte Aussage für alle.</li>
</ul>



<h2 class="content_sub_heading">Gegenbeweis</h2>
<p><strong>1)</strong> Bilde die Negation der zu untersuchenden Aussage. Nutze:</p>
<p> </p>
<p><mjx-container class="MathJax" jax="SVG" display="true" justify="left"><svg alt="\begin{array}{c|c} {\text {Symbol}} & {\text{Negation}} \\ \hline \forall & {\exists} \\ \hline=& {\neq} \\ \hline<& {\geq} \\ \hline \vee & {\wedge}\end{array}" style="vertical-align: -7.217ex" xmlns="http://www.w3.org/2000/svg" width="18.638ex" height="15.566ex" role="img" focusable="false" viewBox="0 -3690 8238 6880" xmlns:xlink="http://www.w3.org/1999/xlink"><defs><path id="MJX-376-TEX-N-53" d="M55 507Q55 590 112 647T243 704H257Q342 704 405 641L426 672Q431 679 436 687T446 700L449 704Q450 704 453 704T459 705H463Q466 705 472 699V462L466 456H448Q437 456 435 459T430 479Q413 605 329 646Q292 662 254 662Q201 662 168 626T135 542Q135 508 152 480T200 435Q210 431 286 412T370 389Q427 367 463 314T500 191Q500 110 448 45T301 -21Q245 -21 201 -4T140 27L122 41Q118 36 107 21T87 -7T78 -21Q76 -22 68 -22H64Q61 -22 55 -16V101Q55 220 56 222Q58 227 76 227H89Q95 221 95 214Q95 182 105 151T139 90T205 42T305 24Q352 24 386 62T420 155Q420 198 398 233T340 281Q284 295 266 300Q261 301 239 306T206 314T174 325T141 343T112 367T85 402Q55 451 55 507Z"></path><path id="MJX-376-TEX-N-79" d="M69 -66Q91 -66 104 -80T118 -116Q118 -134 109 -145T91 -160Q84 -163 97 -166Q104 -168 111 -168Q131 -168 148 -159T175 -138T197 -106T213 -75T225 -43L242 0L170 183Q150 233 125 297Q101 358 96 368T80 381Q79 382 78 382Q66 385 34 385H19V431H26L46 430Q65 430 88 429T122 428Q129 428 142 428T171 429T200 430T224 430L233 431H241V385H232Q183 385 185 366L286 112Q286 113 332 227L376 341V350Q376 365 366 373T348 383T334 385H331V431H337H344Q351 431 361 431T382 430T405 429T422 429Q477 429 503 431H508V385H497Q441 380 422 345Q420 343 378 235T289 9T227 -131Q180 -204 113 -204Q69 -204 44 -177T19 -116Q19 -89 35 -78T69 -66Z"></path><path id="MJX-376-TEX-N-6D" d="M41 46H55Q94 46 102 60V68Q102 77 102 91T102 122T103 161T103 203Q103 234 103 269T102 328V351Q99 370 88 376T43 385H25V408Q25 431 27 431L37 432Q47 433 65 434T102 436Q119 437 138 438T167 441T178 442H181V402Q181 364 182 364T187 369T199 384T218 402T247 421T285 437Q305 442 336 442Q351 442 364 440T387 434T406 426T421 417T432 406T441 395T448 384T452 374T455 366L457 361L460 365Q463 369 466 373T475 384T488 397T503 410T523 422T546 432T572 439T603 442Q729 442 740 329Q741 322 741 190V104Q741 66 743 59T754 49Q775 46 803 46H819V0H811L788 1Q764 2 737 2T699 3Q596 3 587 0H579V46H595Q656 46 656 62Q657 64 657 200Q656 335 655 343Q649 371 635 385T611 402T585 404Q540 404 506 370Q479 343 472 315T464 232V168V108Q464 78 465 68T468 55T477 49Q498 46 526 46H542V0H534L510 1Q487 2 460 2T422 3Q319 3 310 0H302V46H318Q379 46 379 62Q380 64 380 200Q379 335 378 343Q372 371 358 385T334 402T308 404Q263 404 229 370Q202 343 195 315T187 232V168V108Q187 78 188 68T191 55T200 49Q221 46 249 46H265V0H257L234 1Q210 2 183 2T145 3Q42 3 33 0H25V46H41Z"></path><path id="MJX-376-TEX-N-62" d="M307 -11Q234 -11 168 55L158 37Q156 34 153 28T147 17T143 10L138 1L118 0H98V298Q98 599 97 603Q94 622 83 628T38 637H20V660Q20 683 22 683L32 684Q42 685 61 686T98 688Q115 689 135 690T165 693T176 694H179V543Q179 391 180 391L183 394Q186 397 192 401T207 411T228 421T254 431T286 439T323 442Q401 442 461 379T522 216Q522 115 458 52T307 -11ZM182 98Q182 97 187 90T196 79T206 67T218 55T233 44T250 35T271 29T295 26Q330 26 363 46T412 113Q424 148 424 212Q424 287 412 323Q385 405 300 405Q270 405 239 390T188 347L182 339V98Z"></path><path id="MJX-376-TEX-N-6F" d="M28 214Q28 309 93 378T250 448Q340 448 405 380T471 215Q471 120 407 55T250 -10Q153 -10 91 57T28 214ZM250 30Q372 30 372 193V225V250Q372 272 371 288T364 326T348 362T317 390T268 410Q263 411 252 411Q222 411 195 399Q152 377 139 338T126 246V226Q126 130 145 91Q177 30 250 30Z"></path><path id="MJX-376-TEX-N-6C" d="M42 46H56Q95 46 103 60V68Q103 77 103 91T103 124T104 167T104 217T104 272T104 329Q104 366 104 407T104 482T104 542T103 586T103 603Q100 622 89 628T44 637H26V660Q26 683 28 683L38 684Q48 685 67 686T104 688Q121 689 141 690T171 693T182 694H185V379Q185 62 186 60Q190 52 198 49Q219 46 247 46H263V0H255L232 1Q209 2 183 2T145 3T107 3T57 1L34 0H26V46H42Z"></path><path id="MJX-376-TEX-N-4E" d="M42 46Q74 48 94 56T118 69T128 86V634H124Q114 637 52 637H25V683H232L235 680Q237 679 322 554T493 303L578 178V598Q572 608 568 613T544 627T492 637H475V683H483Q498 680 600 680Q706 680 715 683H724V637H707Q634 633 622 598L621 302V6L614 0H600Q585 0 582 3T481 150T282 443T171 605V345L172 86Q183 50 257 46H274V0H265Q250 3 150 3Q48 3 33 0H25V46H42Z"></path><path id="MJX-376-TEX-N-65" d="M28 218Q28 273 48 318T98 391T163 433T229 448Q282 448 320 430T378 380T406 316T415 245Q415 238 408 231H126V216Q126 68 226 36Q246 30 270 30Q312 30 342 62Q359 79 369 104L379 128Q382 131 395 131H398Q415 131 415 121Q415 117 412 108Q393 53 349 21T250 -11Q155 -11 92 58T28 218ZM333 275Q322 403 238 411H236Q228 411 220 410T195 402T166 381T143 340T127 274V267H333V275Z"></path><path id="MJX-376-TEX-N-67" d="M329 409Q373 453 429 453Q459 453 472 434T485 396Q485 382 476 371T449 360Q416 360 412 390Q410 404 415 411Q415 412 416 414V415Q388 412 363 393Q355 388 355 386Q355 385 359 381T368 369T379 351T388 325T392 292Q392 230 343 187T222 143Q172 143 123 171Q112 153 112 133Q112 98 138 81Q147 75 155 75T227 73Q311 72 335 67Q396 58 431 26Q470 -13 470 -72Q470 -139 392 -175Q332 -206 250 -206Q167 -206 107 -175Q29 -140 29 -75Q29 -39 50 -15T92 18L103 24Q67 55 67 108Q67 155 96 193Q52 237 52 292Q52 355 102 398T223 442Q274 442 318 416L329 409ZM299 343Q294 371 273 387T221 404Q192 404 171 388T145 343Q142 326 142 292Q142 248 149 227T179 192Q196 182 222 182Q244 182 260 189T283 207T294 227T299 242Q302 258 302 292T299 343ZM403 -75Q403 -50 389 -34T348 -11T299 -2T245 0H218Q151 0 138 -6Q118 -15 107 -34T95 -74Q95 -84 101 -97T122 -127T170 -155T250 -167Q319 -167 361 -139T403 -75Z"></path><path id="MJX-376-TEX-N-61" d="M137 305T115 305T78 320T63 359Q63 394 97 421T218 448Q291 448 336 416T396 340Q401 326 401 309T402 194V124Q402 76 407 58T428 40Q443 40 448 56T453 109V145H493V106Q492 66 490 59Q481 29 455 12T400 -6T353 12T329 54V58L327 55Q325 52 322 49T314 40T302 29T287 17T269 6T247 -2T221 -8T190 -11Q130 -11 82 20T34 107Q34 128 41 147T68 188T116 225T194 253T304 268H318V290Q318 324 312 340Q290 411 215 411Q197 411 181 410T156 406T148 403Q170 388 170 359Q170 334 154 320ZM126 106Q126 75 150 51T209 26Q247 26 276 49T315 109Q317 116 318 175Q318 233 317 233Q309 233 296 232T251 223T193 203T147 166T126 106Z"></path><path id="MJX-376-TEX-N-74" d="M27 422Q80 426 109 478T141 600V615H181V431H316V385H181V241Q182 116 182 100T189 68Q203 29 238 29Q282 29 292 100Q293 108 293 146V181H333V146V134Q333 57 291 17Q264 -10 221 -10Q187 -10 162 2T124 33T105 68T98 100Q97 107 97 248V385H18V422H27Z"></path><path id="MJX-376-TEX-N-69" d="M69 609Q69 637 87 653T131 669Q154 667 171 652T188 609Q188 579 171 564T129 549Q104 549 87 564T69 609ZM247 0Q232 3 143 3Q132 3 106 3T56 1L34 0H26V46H42Q70 46 91 49Q100 53 102 60T104 102V205V293Q104 345 102 359T88 378Q74 385 41 385H30V408Q30 431 32 431L42 432Q52 433 70 434T106 436Q123 437 142 438T171 441T182 442H185V62Q190 52 197 50T232 46H255V0H247Z"></path><path id="MJX-376-TEX-N-6E" d="M41 46H55Q94 46 102 60V68Q102 77 102 91T102 122T103 161T103 203Q103 234 103 269T102 328V351Q99 370 88 376T43 385H25V408Q25 431 27 431L37 432Q47 433 65 434T102 436Q119 437 138 438T167 441T178 442H181V402Q181 364 182 364T187 369T199 384T218 402T247 421T285 437Q305 442 336 442Q450 438 463 329Q464 322 464 190V104Q464 66 466 59T477 49Q498 46 526 46H542V0H534L510 1Q487 2 460 2T422 3Q319 3 310 0H302V46H318Q379 46 379 62Q380 64 380 200Q379 335 378 343Q372 371 358 385T334 402T308 404Q263 404 229 370Q202 343 195 315T187 232V168V108Q187 78 188 68T191 55T200 49Q221 46 249 46H265V0H257L234 1Q210 2 183 2T145 3Q42 3 33 0H25V46H41Z"></path><path id="MJX-376-TEX-N-2200" d="M0 673Q0 684 7 689T20 694Q32 694 38 680T82 567L126 451H430L473 566Q483 593 494 622T512 668T519 685Q524 694 538 694Q556 692 556 674Q556 670 426 329T293 -15Q288 -22 278 -22T263 -15Q260 -11 131 328T0 673ZM414 410Q414 411 278 411T142 410L278 55L414 410Z"></path><path id="MJX-376-TEX-N-2203" d="M56 661T56 674T70 694H487Q497 686 500 679V15Q497 10 487 1L279 0H70Q56 7 56 20T70 40H460V327H84Q70 334 70 347T84 367H460V654H70Q56 661 56 674Z"></path><path id="MJX-376-TEX-N-3D" d="M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z"></path><path id="MJX-376-TEX-N-2260" d="M166 -215T159 -215T147 -212T141 -204T139 -197Q139 -190 144 -183L306 133H70Q56 140 56 153Q56 168 72 173H327L406 327H72Q56 332 56 347Q56 360 70 367H426Q597 702 602 707Q605 716 618 716Q625 716 630 712T636 703T638 696Q638 692 471 367H707Q722 359 722 347Q722 336 708 328L451 327L371 173H708Q722 163 722 153Q722 140 707 133H351Q175 -210 170 -212Q166 -215 159 -215Z"></path><path id="MJX-376-TEX-N-3C" d="M694 -11T694 -19T688 -33T678 -40Q671 -40 524 29T234 166L90 235Q83 240 83 250Q83 261 91 266Q664 540 678 540Q681 540 687 534T694 519T687 505Q686 504 417 376L151 250L417 124Q686 -4 687 -5Q694 -11 694 -19Z"></path><path id="MJX-376-TEX-N-2265" d="M83 616Q83 624 89 630T99 636Q107 636 253 568T543 431T687 361Q694 356 694 346T687 331Q685 329 395 192L107 56H101Q83 58 83 76Q83 77 83 79Q82 86 98 95Q117 105 248 167Q326 204 378 228L626 346L360 472Q291 505 200 548Q112 589 98 597T83 616ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z"></path><path id="MJX-376-TEX-N-2228" d="M55 580Q56 587 61 592T75 598Q86 598 96 580L333 48L570 580Q579 596 586 597Q588 598 591 598Q609 598 611 580Q611 574 546 426T415 132T348 -15Q343 -22 333 -22T318 -15Q317 -14 252 131T121 425T55 580Z"></path><path id="MJX-376-TEX-N-2227" d="M318 591Q325 598 333 598Q344 598 348 591Q349 590 414 445T545 151T611 -4Q609 -22 591 -22Q588 -22 586 -21T581 -20T577 -17T575 -13T572 -9T570 -4L333 528L96 -4Q87 -20 80 -21Q78 -22 75 -22Q57 -22 55 -4Q55 2 120 150T251 444T318 591Z"></path></defs><g stroke="currentColor" fill="currentColor" stroke-width="0" transform="scale(1,-1)"><g data-mml-node="math"><g data-mml-node="mtable"><g data-mml-node="mtr" transform="translate(0,2940)"><g data-mml-node="mtd"><g data-mml-node="TeXAtom" data-mjx-texclass="ORD"><g data-mml-node="mtext"><use data-c="53" xlink:href="#MJX-376-TEX-N-53"></use><use data-c="79" xlink:href="#MJX-376-TEX-N-79" transform="translate(556,0)"></use><use data-c="6D" xlink:href="#MJX-376-TEX-N-6D" transform="translate(1084,0)"></use><use data-c="62" xlink:href="#MJX-376-TEX-N-62" transform="translate(1917,0)"></use><use data-c="6F" xlink:href="#MJX-376-TEX-N-6F" transform="translate(2473,0)"></use><use data-c="6C" xlink:href="#MJX-376-TEX-N-6C" transform="translate(2973,0)"></use></g></g></g><g data-mml-node="mtd" transform="translate(4321,0)"><g data-mml-node="TeXAtom" data-mjx-texclass="ORD"><g data-mml-node="mtext"><use data-c="4E" xlink:href="#MJX-376-TEX-N-4E"></use><use data-c="65" xlink:href="#MJX-376-TEX-N-65" transform="translate(750,0)"></use><use data-c="67" xlink:href="#MJX-376-TEX-N-67" transform="translate(1194,0)"></use><use data-c="61" xlink:href="#MJX-376-TEX-N-61" transform="translate(1694,0)"></use><use data-c="74" xlink:href="#MJX-376-TEX-N-74" transform="translate(2194,0)"></use><use data-c="69" xlink:href="#MJX-376-TEX-N-69" transform="translate(2583,0)"></use><use data-c="6F" xlink:href="#MJX-376-TEX-N-6F" transform="translate(2861,0)"></use><use data-c="6E" xlink:href="#MJX-376-TEX-N-6E" transform="translate(3361,0)"></use></g></g></g></g><g data-mml-node="mtr" transform="translate(0,1470)"><g data-mml-node="mtd" transform="translate(1347.5,0)"><g data-mml-node="mi"><use data-c="2200" xlink:href="#MJX-376-TEX-N-2200"></use></g></g><g data-mml-node="mtd" transform="translate(6001.5,0)"><g data-mml-node="TeXAtom" data-mjx-texclass="ORD"><g data-mml-node="mi"><use data-c="2203" xlink:href="#MJX-376-TEX-N-2203"></use></g></g></g></g><g data-mml-node="mtr" transform="translate(0,0)"><g data-mml-node="mtd" transform="translate(1236.5,0)"><g data-mml-node="mo"><use data-c="3D" xlink:href="#MJX-376-TEX-N-3D"></use></g></g><g data-mml-node="mtd" transform="translate(5890.5,0)"><g data-mml-node="TeXAtom" data-mjx-texclass="ORD"><g data-mml-node="mo"><use data-c="2260" xlink:href="#MJX-376-TEX-N-2260"></use></g></g></g></g><g data-mml-node="mtr" transform="translate(0,-1470)"><g data-mml-node="mtd" transform="translate(1236.5,0)"><g data-mml-node="mo"><use data-c="3C" xlink:href="#MJX-376-TEX-N-3C"></use></g></g><g data-mml-node="mtd" transform="translate(5890.5,0)"><g data-mml-node="TeXAtom" data-mjx-texclass="ORD"><g data-mml-node="mo"><use data-c="2265" xlink:href="#MJX-376-TEX-N-2265"></use></g></g></g></g><g data-mml-node="mtr" transform="translate(0,-2940)"><g data-mml-node="mtd" transform="translate(1292,0)"><g data-mml-node="mo"><use data-c="2228" xlink:href="#MJX-376-TEX-N-2228"></use></g></g><g data-mml-node="mtd" transform="translate(5946,0)"><g data-mml-node="TeXAtom" data-mjx-texclass="ORD"><g data-mml-node="mo"><use data-c="2227" xlink:href="#MJX-376-TEX-N-2227"></use></g></g></g></g><line data-line="v" class="mjx-solid" x1="3786" y1="-3190" x2="3786" y2="3690"></line><line data-line="h" class="mjx-solid" x1="0" y1="2455" x2="8238" y2="2455"></line><line data-line="h" class="mjx-solid" x1="0" y1="985" x2="8238" y2="985"></line><line data-line="h" class="mjx-solid" x1="0" y1="-485" x2="8238" y2="-485"></line><line data-line="h" class="mjx-solid" x1="0" y1="-1955" x2="8238" y2="-1955"></line></g></g></g></svg></mjx-container></p>
<p> </p>
<p><strong>2) </strong>Prüfe den Wahrheitsgehalt der Negation. Gegebenenfalls musst du hierfür ein allgemeines Gegenbeispiel finden.</p>
<p> </p>
<p><strong>3)</strong> Aus dem Wahrheitsgehalt der Negation ergibt sich im Umkehrschluss direkt auch der Wahrheitsgehalt der ursprünglichen Aussage. Denn:</p>
<ul>
<li>Gilt eine Aussage nicht für alle Elemente, so existiert (mindestens) eines, für das die Negation gilt.</li>
<li>Wenn eine Aussage nicht für ein Element gilt, also für keines, so gilt die negierte Aussage für alle.</li>
</ul>


Aufgabenstellung:

Lösungsweg:

Lösung: