Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]

Mathematik-Online-Lexikon:

Formelsammlung: Aussagenlogik


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 Übersicht

\begin{tabular}{p{4.5cm}l\vert cc}
Logische Verkn\uml upfungen &
% hline
Be...
...ftrightarrow B$\ & $A$\ \uml aquivalent $B$\ \\
% hline
\\
\end{tabular}
Regeln $ \neg\left(A \wedge B\right) = (\neg A) \vee (\neg B)$     Morgansche Regeln

$ \neg\left(A \vee B\right) = (\neg A) \wedge (\neg B)$

$ (A \wedge B) \vee C = (A \vee C) \wedge (B \vee C)$     Distributivgesetze

$ (A \vee B) \wedge C = (A \wedge C) \vee (B \wedge C)$

$ A \vee \neg A = w\qquad A \wedge \neg A = f$     weitere Regeln

$ A \vee w = w \qquad A \wedge w = A$

$ A \vee f = A \qquad A \wedge f = f$

   
Quantoren Existenzquantor: $ \exists$ (es gibt mindestens ein)

Allquantor: $ \forall$ (für alle)

   

(Autor: Marcus Reble)

[Verweise]

  automatisch erstellt am 25.  1. 2006