Aussagenlogik

 

(= A.) [engl. propositional/sentential calculus; gr. λόγος (lógos) Wort, Vernunft], [PHI], elementarster Teil der formalen Logik. Die Sätze der A. werden durch Verknüpfung von Aussagen durch logische Junktoren wie «und», «oder», «IF … THEN», «nicht» gebildet. Sätze der A. sind wahr oder falsch. Die Wahrheit (Wahrheit, wahr) oder Falschheit von Sätzen der A. ergibt sich aus der Wahrheit oder Falschheit der Aussagen, aus denen sie zus.gesetzt sind, und der Art ihrer Verknüpfung durch Junktoren. Sind z. B. die Aussagen A und B wahr, so auch die zus.gesetzte Aussage «A und B». Dagegen ist dann die zus.gesetzte Aussage «wenn A, dann nicht B» falsch. Kritischer Rationalismus.

Verwendete Literatur

Sie sind schon registriert? Zur Anmeldung
Erstellen Sie einen Account um das komplette Literaturverzeichnis einzusehen.