Notes in Logik und Berechenbarkeit::Aussagenlogik

To Subscribe, use this Key

Status	Last Update	Fields
Published	02/06/2024	Was ist eine Syntax?
Published	02/06/2024	Was ist die Semantik?
Published	02/06/2024	Was sind Aussagenlogische Ausdrücke?
Published	02/06/2024	Was ist die Belegung einer Aussagenvariable?
Published	02/06/2024	Wie ist der Wert eines Ausdrucks definiert?
Published	02/06/2024	Was ist die (Un)Erfüllbarkeit von Ausdrücken?
Published	02/06/2024	Was ist das Repräsentantentheorem?
Published	02/06/2024	Was ist die Elementarkonjunktion?
Published	02/06/2024	Nenne den Hilfssatz der Elementarkonjunktionen
Published	02/06/2024	Was ist ein Modell?
Published	02/06/2024	Was ist das Folgern?
Published	02/06/2024	Was ist die Abtrennungsregel?
Published	02/06/2024	Wie lautet die Definition von abla, aba?
Published	02/06/2024	Was ist die Einsetzungsregel?
Published	02/06/2024	Wie ist die Definition von able, abe(X)?
Published	02/06/2024	Wie ist die Definition von abl, ab(X)?
Published	02/06/2024	Was ist das Axiomsystem der Aussagenlogik (axa)?
Published	02/06/2024	Was ist das Cut-Ableiten?
Published	02/06/2024	Was ist ein Literal?
Published	02/06/2024	Was ist eine Klausel?
Published	02/06/2024	Was besagt der Satz der semantischen Äquivalenz?
Published	02/06/2024	Was ist die Konjunktive Normalform (KNF)?
Published	02/06/2024	Was ist die Schnittregel?
Published	02/06/2024	Wie ist die Cut-Ableitbarkeit definiert?
Status	Last Update	Fields