Formelsammlung Logik

Formelsammlung Logik

Inhaltsverzeichnis

Aussagenlogik

Logische Werte:

  • wahr (true) 1
  • falsch (false) 0

Erweiterte Logik:

  • unbestimmt (Don’t care) X

Logische Verknüpfungen werden Junktionen genannt. Es gibt drei grundlegende Junktionen, welche auch logische Operatoren genannt werden.

Operation sparachliche Umschreibung Definition Operator (Junktor) und Symbol
Negation „nicht“ Die Negation eines logischen Werts ist genau dann wahr, wenn der Wert falsch ist. Negator \neg
Konjunktion „und“ Die Konjunktion von zwei Werten ist genau dann wahr, wenn beide Werte wahr sind. Konjunktor \wedge
Disjunktion „oder“ Die Disjunktion von zwei Werten ist genau dann wahr, wenn mindestens ein Wert wahr ist. Disjunktor \vee

Um die Symbole des Konjunktor und des Disjunktor leicht auseinander halten zu können, gibt es die Eselsbrücke mit den drei O: "Oder ist Oben Offen"


Darüber hinaus gibt es noch folgende, auf eine Kombination der Grundoperatoren rückführbare Junktoren:

Operation Umschreibung Definition Operator und Symbol
Subjunktion (materiale Implikation) „wenn …, dann …“ Subjunktor \rightarrow (Pfeil)
Bisubjunktion (Äquivalenz) „wenn … dann … und umgekehrt“ Bisubjunktor \leftrightarrow (Doppelpfeil)

Die Wahrheitstafeln der Junktoren

a \neg a
w f
f w
a b (a\wedge b)
w w w
w f f
f w f
f f f
a b (a \vee b)
w w w
w f w
f w w
f f f
a b (a \rightarrow b)
w w w
w f f
f w w
f f w
a b (a \leftrightarrow b)
w w w
w f f
f w f
f f w

Logische Grundgesetze

Gesetz der doppelten Negation 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 )
Idempotenz x \and x = x x \or x = x
Gesetze der Negation (Tautologie / Kontradiktion) x \or \neg x = 1 x \and \neg x = 0
Absorptionsgesetze x \and ( x \or y ) = x x \or ( x \and y ) = x
Neutralität (x \and \neg x) \or y = y (x \or \neg x) \and y = y
De Morgansche 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

Implikation

(a \rightarrow b) \leftrightarrow \neg a \or b
(a \rightarrow b) \leftrightarrow (\neg b \rightarrow \neg a)
(a \rightarrow b) \leftrightarrow \neg(a \and \neg b)

Äquivalenz und Antivalenz

 (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 \leftrightarrow b) = (a \and \neg b) \or (\neg a \and b) = (a \or b) \and (\neg a \or \neg b)

Sheffer-Strich (NAND)

  • \neg a ist äquivalent zu (a | a)\,
  • (a \wedge b) ist äquivalent zu ((a | b) | (a | b))\,
  • (a \vee b) ist äquivalent zu ((a | a) | (b | b))\,

Schlussregeln

Modus Ponens ((a \rightarrow b) \and a) \rightarrow b
Modus Tollens ((a \rightarrow b) \and \neg b) \rightarrow \neg a
Hypothetischer Syllogismus  (a \rightarrow b) \and (b \rightarrow c) \rightarrow (a \rightarrow c)
Disjunktiver Syllogismus  ((a \or b) \and \neg a) \rightarrow b

Prädikatenlogik

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)

Pränexform

(\forall x \phi) \land \psi = \forall x ( \phi \land \psi), (\forall x \phi) \lor \psi = \forall x ( \phi \lor \psi);
(\exists x \phi) \land \psi = \exists x (\phi \land \psi), (\exists x \phi) \lor \psi = \exists x (\phi \lor \psi).
\lnot \exists x \phi = \forall x \lnot \phi \lnot \forall x \phi = \exists x \lnot \phi.
(\forall x \phi ) \rightarrow \psi = \exists x (\phi \rightarrow \psi), (\exists x \phi ) \rightarrow \psi = \forall x (\phi \rightarrow \psi).
\phi \rightarrow (\exists x \psi) = \exists x (\phi \rightarrow \psi), \phi \rightarrow (\forall x \psi) = \forall x (\phi \rightarrow \psi).

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Grundsätze der Logik — Als Denkgesetze wurden in der Geschichte der Philosophie und der philosophischen Logik, vor allem im Psychologismus des 19. Jahrhunderts, logische Regeln, Gesetzmäßigkeiten oder Grundsätze bezeichnet, insofern sie – dies war die psychologistische …   Deutsch Wikipedia

  • Liste der Referenztabellen/Wissenschaft — Inhaltsverzeichnis 1 Wissenschaft allgemein 2 Mathematik 3 Physik 4 Chemie 5 Astronomie und Raumfahrt 5.1 Astronomische Objekte …   Deutsch Wikipedia

  • Rechenregel — Eine Formelsammlung ist eine Sammlung meist naturwissenschaftlicher Formeln. Es werden in Formelsammlungen meist keine nähere Erklärungen bzw. Beweise gemacht. Als Buch oder Broschüre dient die Formelsammlung als Referenz in Prüfungen oder als… …   Deutsch Wikipedia

  • True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • DIN 40700 — Ein Logikgatter oder Gatter (engl. gate) vollzieht in der technischen Informatik eine logische Auswertung von Eingangssignalen an einer Schaltung der Digitaltechnik. Dabei werden an einem oder mehreren Eingängen Spannungszustände angelegt –… …   Deutsch Wikipedia

  • Gatter (Elektronik) — Ein Logikgatter oder Gatter (engl. gate) vollzieht in der technischen Informatik eine logische Auswertung von Eingangssignalen an einer Schaltung der Digitaltechnik. Dabei werden an einem oder mehreren Eingängen Spannungszustände angelegt –… …   Deutsch Wikipedia

  • Logische Gatter — Ein Logikgatter oder Gatter (engl. gate) vollzieht in der technischen Informatik eine logische Auswertung von Eingangssignalen an einer Schaltung der Digitaltechnik. Dabei werden an einem oder mehreren Eingängen Spannungszustände angelegt –… …   Deutsch Wikipedia

  • Logisches Gatter — Ein Logikgatter oder Gatter (engl. gate) vollzieht in der technischen Informatik eine logische Auswertung von Eingangssignalen an einer Schaltung der Digitaltechnik. Dabei werden an einem oder mehreren Eingängen Spannungszustände angelegt –… …   Deutsch Wikipedia

  • Schaltgatter — Ein Logikgatter oder Gatter (engl. gate) vollzieht in der technischen Informatik eine logische Auswertung von Eingangssignalen an einer Schaltung der Digitaltechnik. Dabei werden an einem oder mehreren Eingängen Spannungszustände angelegt –… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”