>> V-U - mathematik / mathematik_formeln / logik_formeln / formelsammlung_logik.html

Diplomarbeiten zum Runterladen

DIENSTE

	Newsletter abonnieren
	Sag's einem Freund!
	VirtualUniversity als Startseite
	Zu den Favoriten hinzufügen
	Feedback Formular
	e-Learning für Lehrer
	Spenden
	Autoren login

KURSE SUCHEN

Kurse veröffentlichen

Suche nach Datum:

Suche mit Schlüsselwort:

Suche nach Land:

Suche nach Kategorie:



	PARTNER



ausbildung24.ch - Ausbildungsportal, Seminare, Kursen... www.ausbildung24.ch >> HTMLopen.de - Alles was ein Webmaster braucht www.HTMLopen.de >> PCopen.de - PC LAN Netze und Netzwerke - alles was ein IT Profi und Systemtechnicker braucht www.PCopen.de >>

MATHEMATIK

Zurück

Inhaltsverzeichnis

Formelsammlung Logik

Hier finden Sie die Formensammlung der Logik

Inhaltsverzeichnis

1 Logische Grundgesetze

2 Quantoren

3 Äquivalenz und Antivalenz

4 Implikation

Logische Grundgesetze

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$

[Bearbeiten]

Quantoren

$\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)$

[Bearbeiten]

Äquivalenz und Antivalenz

$(a \equiv b) = (a \Leftrightarrow b) = (a \and b) \or (\neg a \and \neg b) = (a \or \neg b) \and (\neg a \or b) = (a \Rightarrow b) \and (b \Rightarrow a)$

$(a \not \equiv b) = \neg (a \equiv b)= (a \not \Leftrightarrow b) = (a \and \neg b) \or (\neg a \and b) = (a \or b) \and (\neg a \or \neg b)$

[Bearbeiten]

Implikation

$(a \Rightarrow b) = \neg a \or b$

$(a \Rightarrow b) = (\neg b \Rightarrow \neg a)$

$\neg (a \Rightarrow b)=(a \and \neg b)$

Von "http://de.wikipedia.org/wiki/Formelsammlung_Logik"

Zurück

Inhaltsverzeichnis

DIPLOMARBEITEN UND BÜCHER

Diplomarbeiten zum Runterladen:

Architektur / Raumplanung
Betriebswirtschaft - Funktional
Erziehungswissenschaften
Geowissenschaften
Geschichtswissenschaften
Informatik
Kulturwissenschaften

Medien- und Kommunikationswissenschaften
Medizin
Psychologie
Physik
Rechtswissenschaft
Soziale Arbeit
Sozialwissenschaften

	JOBS