Um die Lizenzinformationen zu sehen, klicken Sie bitte den gewünschten Inhalt an.

Aussagenlogik - Rechenregeln

Name: tutory UG (haftungsbeschränkt)
Address: Endersstr. 33, Leipzig, SN, 04177
Telephone: +49 341 42348535

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.:

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