Wiki zum Unterricht

Benutzer-Werkzeuge

Webseiten-Werkzeuge

Zuletzt angesehen: • sql_filtern_bsp • relat • er
profil:klasse9:abschnitt-9-1-1

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen RevisionVorhergehende Überarbeitung
Nächste Überarbeitung		Vorhergehende Überarbeitung
profil:klasse9:abschnitt-9-1-1 [2021/07/15 10:54] – [Zwei Schlussregeln] lutzprofil:klasse9:abschnitt-9-1-1 [2024/08/14 08:59] (aktuell) – [Zwei Schlussregeln] lutz
Zeile 24: Zeile 24:
  
 a) 7 ist eine durch 3 teilbare Zahl.\\ a) 7 ist eine durch 3 teilbare Zahl.\\
-b) a ist ein Vielfaches von 11.\\+b) Die Variable a ist ein Vielfaches von 11.\\
 c) Halte Abstand!\\ c) Halte Abstand!\\
 d) Je höher, desto fliegt es.\\ d) Je höher, desto fliegt es.\\
Zeile 35: Zeile 35:
 Vermutung erfüllt ist! Vermutung erfüllt ist!
  
 +
 +[[profil:klasse9:abschnitt-9-1-1-loe1-2|>> Lösung]]
 =====Einzelaussagen und zusammengesetzte Aussagen===== =====Einzelaussagen und zusammengesetzte Aussagen=====
  
Zeile 72: Zeile 74:
 c) ABC ist ein rechtwinkliges, gleichschenkliges Dreieck.\\ c) ABC ist ein rechtwinkliges, gleichschenkliges Dreieck.\\
 d) Heute Nachmittag scheint die Sonne früher oder später. d) Heute Nachmittag scheint die Sonne früher oder später.
 +
 +[[profil:klasse9:abschnitt-9-1-1-loe3|>> Lösung]]
  
 =====Aussagefunktionen===== =====Aussagefunktionen=====
Zeile 134: Zeile 138:
  
 d) $\overline{X \vee Y}$ d) $\overline{X \vee Y}$
 +
 +[[profil:klasse9:abschnitt-9-1-1-loe4-5|>> Lösung]]
  
 ====Weitere Aussagefunktionen==== ====Weitere Aussagefunktionen====
Zeile 139: Zeile 145:
 **Implikation (wenn-dann)** **Implikation (wenn-dann)**
  
-Als Implikaton werden Aussagen der Form "Wenn $\text{X}$, dann $\text{Y}$" oder "Aus $\text{X}$ folgt $\text{Y}$" bezeichnet. $\text{X}$ ist dabei die Voraussetzung, $\text{Y}$ ist die Behauptung. Abgekürzt kann man für die Implikation schreiben: $\text{X} \rightarrow \text{Y}$. Aus einer wahren Voraussetzung kann nur eine wahre Voraussetzung folgen, deshalb steht in der ersten Zeile der Wahrheitstabelle eine 1 und in der zweiten Zeile eine 0. Aus einer falschen Voraussetzung kann sowohl eine wahre als auch eine falsche Behauptung folgen. Deshalb steht in der dritten und vierten Zeile der Wahrheitstabelle eine 1.+Als Implikaton werden Aussagen der Form "Wenn $\text{X}$, dann $\text{Y}$" oder "Aus $\text{X}$ folgt $\text{Y}$" bezeichnet. $\text{X}$ ist dabei die Voraussetzung, $\text{Y}$ ist die Behauptung. Abgekürzt kann man für die Implikation schreiben: $\text{X} \rightarrow \text{Y}$. Aus einer wahren Voraussetzung kann nur eine wahre Behauptung folgen, deshalb steht in der ersten Zeile der Wahrheitstabelle eine 1 und in der zweiten Zeile eine 0. Aus einer falschen Voraussetzung kann sowohl eine wahre als auch eine falsche Behauptung folgen. Deshalb steht in der dritten und vierten Zeile der Wahrheitstabelle eine 1.
 </WRAP> </WRAP>
  
Zeile 202: Zeile 208:
 e) $(X \rightarrow Y)\rightarrow \left((Y \rightarrow X)\rightarrow(X \leftrightarrow Y)\right)$ e) $(X \rightarrow Y)\rightarrow \left((Y \rightarrow X)\rightarrow(X \leftrightarrow Y)\right)$
  
 +[[profil:klasse9:abschnitt-9-1-1-loe6| >> Lösung]]
 =====Tautologien===== =====Tautologien=====
 Bei den letzten logischen Ausdrücken ergab sich für jede Kombination der Wahrheitswerte der Ausgangsaussage immer der Wahrheitswert 1. Solche Ausdrücke nennt man **Tautologien**. Bei den letzten logischen Ausdrücken ergab sich für jede Kombination der Wahrheitswerte der Ausgangsaussage immer der Wahrheitswert 1. Solche Ausdrücke nennt man **Tautologien**.
Zeile 228: Zeile 234:
 f) $(X \rightarrow Y) \leftrightarrow (\overline{Y} \rightarrow \overline{X})$ f) $(X \rightarrow Y) \leftrightarrow (\overline{Y} \rightarrow \overline{X})$
  
 +[[profil:klasse9:abschnitt-9-1-1-loe7|>> Lösung]]
 =====Zwei Schlussregeln===== =====Zwei Schlussregeln=====
  
Zeile 238: Zeile 244:
  
 <WRAP round box> <WRAP round box>
-Abtrennungsregel Wenn eine wahre Aussage die Form einer Implikation hat und wenn außerdem die Voraussetzung un dieser Implikation den Wahrheitswert 1 hat, dann ist die Behauptung wahr.+**Abtrennungsregel**  
 + 
 +Wenn eine wahre Aussage die Form einer Implikation hat und wenn außerdem die Voraussetzung und dieser Implikation den Wahrheitswert 1 hat, dann ist die Behauptung wahr.
 </WRAP> </WRAP>
  
Zeile 246: Zeile 254:
  
 b) Setze für $X$ den Ausdruck $X \wedge Z$ ein und zeige, dass der entstehende Ausdruck eine Tautologie ist. b) Setze für $X$ den Ausdruck $X \wedge Z$ ein und zeige, dass der entstehende Ausdruck eine Tautologie ist.
 +
 +[[profil:klasse9:abschnitt-9-1-1-loe8|>> Lösung]]
 +
  
 {{ :profil:klasse9:01_arbeitsblatt.pdf | Arbeitsblatt 1 als PDF-Datei}} {{ :profil:klasse9:01_arbeitsblatt.pdf | Arbeitsblatt 1 als PDF-Datei}}
  
  
 +{{ :profil:klasse9:uebersicht_aussagefunktionen.pdf | Übersicht Aussagefunktionen}}
 =====Anwendungen===== =====Anwendungen=====
 +
 +Die Anwendungsaufgaben befinden sich in den folgenden PDF-Dateien!
 +
 +{{ :profil:klasse9:02_arbeitsblatt.pdf | Arbeitsblatt 2 als PDF-Datei}}
 +
 +{{ :profil:klasse9:03_arbeitsblatt.pdf | Arbeitsblatt 3 als PDF-Datei}}
profil/klasse9/abschnitt-9-1-1.1626339271.txt.gz · Zuletzt geändert: von lutz