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