Formelsammlung Lexikon Formelsammlung Logik


Startseite	Bookmark setzen Sitemap Impressum

» Formelsammlung:

» Interaktiv:

» Informationen:

» Partnerseiten:

» Partner:

Formelsammlung Logik

Sie befinden Sie in: Formelsammlung Lexikon > f > Formelsammlung Logik

Formelsammlung Logik

Inhaltsverzeichnis

1 Logische Grundgesetze

2 Quantoren

3 Äquivalenz und Antivalenz

4 Implikation

Gesetz des doppelten Komplements	$x = \neg (\neg x)$
Kommutativgesetze	$x \and y = y \and x$	$x \or y = y \or x$
Assoziativgesetze	$x \and ( y \and z ) = ( x \and y ) \and z$	$x \or ( y \or z ) = ( x \or y ) \or z$
Distributivgesetze	$x \and ( y \or z ) = ( x \and y ) \or ( x \and z )$	$x \or ( y \and z ) = ( x \or y ) \and ( x \or z )$
Gesetze der Tautologie	$x \and x = x$	$x \or x = x$
Absorptionsgesetze	$x \and ( x \or y ) = x$	$x \or ( x \and y ) = x$
Gesetze für das Komplement	$x \and \neg x = 0$	$x \or \neg x = 1$
De Morgans Gesetze	$\neg ( x \and y ) = \neg x \or \neg y$	$\neg ( x \or y ) = \neg x \and \neg y$
Operationen mit 0 und 1	$0 \and x = 0$	$1 \or x = 1$
	$1 \and x = x$	$0 \or x = x$
	$\neg 0 = 1$	$\neg 1 = 0$

$\forall _x p=\neg (\exist _x \neg p)$	$\exist _x p=\neg (\forall _x \neg p)$
$\neg \forall _x p= (\exist _x \neg p)$	$\neg \exist _x p= (\forall _x \neg p)$