Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
| spielplatz:mathematik-fun [2023/04/15 14:53] – wi | spielplatz:mathematik-fun [2023/04/15 15:30] (aktuell) – [Aussagenlogik] wi | ||
|---|---|---|---|
| Zeile 58: | Zeile 58: | ||
| Behauptung: $2=1$ | Behauptung: $2=1$ | ||
| - | <hidden Lösung $...$> | + | (Fake-) |
| - | + | ||
| - | Beweis: | + | |
| Sei $a=b$, dann gilt: | Sei $a=b$, dann gilt: | ||
| Zeile 69: | Zeile 67: | ||
| \end{eqnarray*} | \end{eqnarray*} | ||
| + | |||
| + | <hidden Lösung $...$> | ||
| \begin{eqnarray} | \begin{eqnarray} | ||
| Zeile 81: | Zeile 81: | ||
| ===== - Beweise, dass 3=4 ===== | ===== - Beweise, dass 3=4 ===== | ||
| Behauptung: $3=4$ | Behauptung: $3=4$ | ||
| - | |||
| - | <hidden Lösung $...$> | ||
| Beweis: | Beweis: | ||
| Zeile 93: | Zeile 91: | ||
| 4 &=& 3 \qquad\qquad\qquad \square | 4 &=& 3 \qquad\qquad\qquad \square | ||
| \end{eqnarray*} | \end{eqnarray*} | ||
| - | </hidden> | + | |
| + | ===== Aussagenlogik ===== | ||
| + | |||
| + | < | ||
| + | digraph G { rankdir=LR; | ||
| + | node [shape=box, style=filled, | ||
| + | edge [labelfontsize=10, | ||
| + | Anna -> Brigitte -> Charlotte; | ||
| + | } | ||
| + | </ | ||
| + | |||
| + | - Anna ist verheiratet | ||
| + | - Charlotte ist unverheiratet | ||
| + | |||
| + | <WRAP tip> | ||
| + | Sieht die verheiratete Person die unverheiratete? | ||
| + | - Ja | ||
| + | - Nein | ||
| + | - Zu wenig Information | ||
| + | </WRAP> | ||
| + | |||
