Aussagenlogik

Satzlogik

Im Folgenden werden logische Operationen als Verbindungen von elementaren Anweisungen vorgestellt. In der Sprache der Aussagenlogik handelt es sich um eine sehr einfache Sprache, sowohl in Bezug auf die Syntax als auch auf die Semantik. predicate logic - predicate logic ist eine Erweiterung der propositionalen Logik. Es ermöglicht die Untersuchung der inneren Struktur einer Aussage. Bei der Aussagenlogik werden Sätze, wie der Name schon sagt, durch logische Operatoren verknüpft.

Mehr zum Thema