Aussagenlogik
Aussagenlogik
Aussagenlogik
WENIGER ANZEIGEN
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Logik > logische Aussagen > Syntax und Semantik der <strong>Aussagenlogik</strong><br />
Negation<br />
Definition (Negation)<br />
Ist A eine Formel, dann ist auch ¬A (nicht A) eine Formel. Die<br />
Aussage ¬A ist genau dann wahr, wenn die Aussage A falsch ist.<br />
Beispiel:<br />
A Deutschland ist Fußballweltmeister<br />
¬A Deutschland ist nicht Fußballweltmeister<br />
Vorkurs Informatik - Theorie - WS2012/13
![Vorsemesterkurs [1.5ex] Informatik [1.5ex]](https://img.yumpu.com/34826663/1/190x143/vorsemesterkurs-15ex-informatik-15ex.jpg?quality=85)
Change language