Ausgefüllte Übungsklausuren bzw. Lösungen Serie 9 SoSe 2020

Laden Sie hier oder auf StudIP Ihre bearbeiteten Übungsklausuren hoch.

Bemerkungen zu eingereichten Lösungen

Definitionen

Aufgabe 9.1 a)

Definieren Sie den Begriff Viereck. (n-Eck sei noch nicht definiert.)

Definition 1

$\text{Viereck} := \operatorname{nkoll}(A,B,C,D) \land \operatorname{komp}(A,B,C,D) \land \overline{AB} \cup \overline{BC} \cup \overline{CD} \cup \overline{DA}$

oder
$\text{V} : \operatorname{nkoll}(A,B,C,D) \land \land \overline{AB} \cup \overline{BC} \cup \overline{CD} \cup \overline{DA}$

Bemerkungen zu Definition 1

sprachliche Formulierung

Beide Definitionen entsprechen nicht dem Niveau, das zu veranschlagen wäre. Sie müssen eine vollständige formal korrekte Definition abliefern. Die Variante Begriffsbezeichnung:=Aufzählung von Eigenschaften ist keine vollständige Definition. Sie dürfen mathematisch formal mittels mathematischer Symbole formulieren. Das müssen Sie dann aber auch korrekt beherrschen.
Definition: (Viereck)

Ein Viereck V ist die folgende Punktmenge $V:=\overline{AB} \cup \ldots$

Sie können nicht einfach irgendein ungeklärtes Zeichen nehmen und nach einem Doppelpunkt Dinge aufzählen, die mit dem Begriff zu tun haben.
Zum Vergleich: Im Kontext juristischer Gesetze wird festgelegt was Raub ist. Raub

R: gehört dir nicht $\land$ nimmste trotzdem

sprachliche Formulierung aus der Sicht mathematischer Logik

Das Zeichen $\land$ steht für das mathematische UND. Das mathematische UND ist eine Verknüpfung zweier Aussagen und ist nicht mit dem aufzählenden und der deutschen Sprache zu verwechseln.

• aufzählendes und der deutschen Sprache:
  

Wir kaufen einen Kasten Hefeweizen und einen Kasten Pils

Das Auto hat einen Bremsassistenten und Halogenscheinwerfer

• mathematisches UND: Verknüpfung zweier Aussagen

6 ist durch 2 teilbar UND 6 ist durch 3 teilbar

Aussage 1: 6 ist durch 2 teilbar

Aussage 2: 6 ist durch 3 teilbar

Verknüpfung: Aussage 1 und Aussage 2

Merke: Durch UND $(\land)$ können nur mathematische Aussagen verknüpft werden. Die Mathematiker sind schlichten Gemüts und haben fest gelegt, dass es für mathematische Aussagen nur die Wahrheitwerte Wahr oder Falsch geben kann. Sie erkennen, ob eine mathematische Formulierung eine Aussage ist daran, dass der Formulierung eindeutig ein Wahrheitswert zugewiesen werden kann:

Formulierung	Wahrheitswert	Aussage?
ein Sack Kartoffeln	nicht bestimmbar	nein
ein Sack neuer Kartoffeln	nicht bestimmbar	nein
im Keller steht ein Sack neuer Kartoffeln	ist entweder wahr oder falsch, müssen wir im Keller überprüfen	ja
Die Schnittmenge einer Ebene mit einem unendlich hohen Zylinder	kein Wahrheitswert	nein
Die Schnittmenge einer Ebene mit einem unendlich hohen Zylinder ist ein Kegelschnitt oder die leere Menge	wahr	ja