Mathematik-Online-Aufgabensammlung: Aufgabe 963: Aussagenlogik und Mengenalgebra

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
	Mathematik-Online-Aufgabensammlung:
	Aufgabe 963: Aussagenlogik und Mengenalgebra

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Drücken Sie folgende Tautologien der Aussagenlogik durch entsprechende Gesetze der Mengenalgebra aus:

a) $X \lor \lnot X$ b) $X \Rightarrow (Y \Rightarrow (X \land Y))$ c) $(X \land (X\Rightarrow Y)) \Rightarrow Y$

d) $(X \lor (Y\land Z)) \Rightarrow (X\lor Z)$ e) $X \Rightarrow (Y \Leftrightarrow (\lnot X \lor Y))$

(Autoren: Hörner/Lesky)

siehe auch:

automatisch erstellt am 2. 9. 2005