• IMP 9
  • anonym
  • 16.05.2022
  • 9
Um die Lizenzinformationen zu sehen, klicken Sie bitte den gewünschten Inhalt an.

Aussagenlogik - Rechenregeln

Grundgesetz

formale Darstellung

Doppelte Negation



Kommutativgesetz



Assoziativgesetz



Distributivgesetz



Tautologie



De Morgansche Gesetz



Vorfahrts-& Klammerregel

Auch in der Aussagenlogik gelten Vorfahrts- und Klammerregeln:

Es gilt „nicht“ vor „und“ bzw. „oder“  



Bsp.:

¬ab=(¬a)b¬(ab)\gdef\cloze#1{{\raisebox{-.05em}{\colorbox{none}{\color{transparent}{\large{$\displaystyle #1$}}}}}} \neg a \wedge b = (\neg a)\wedge b \neq \neg (a \wedge b)
x