Die Aussagenlogik befaßt sich mit der Analyse von Verknüpfungen gegebener Aussagen A, B, wie z. B. nicht-A; A und B; A oder B; wenn A, so B; A genau dann, wenn B. Dabei wird die logische Struktur nur ...