Benutzer-Werkzeuge

Webseiten-Werkzeuge


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/09/24 07:29] 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 234: 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 244: 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 252: 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=====
  
profil/klasse9/abschnitt-9-1-1.1632461340.txt.gz · Zuletzt geändert: von lutz