Aus welchen Bestandteilen besteht eine logische Sprache?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Worduch wird die Semantik eines Ausdrucks festgelegt?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter einer Interpretation?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Nenne die Bestandteile einer Interpretation!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Gegeben: Konstantensymbole $p, q$ , Relationssymbol $r$ und die logischen Konnektoren $+, ^{-1}$.
Was ist eine mögliche Interpretation?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Sei $A$ eine Menge von prädikatenlogischen Ausdrücken $\{A_1, ..., A_n\}$
Eine Interpretation $I$ ist ein Modell von $A :\Leftrightarrow \; ?$
Nenne die Kurzschreibweise!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Sei $A$ eine Menge von prädikatenlogischen Ausdrücken $\{A_1, ..., A_n\}$
$A$ heißt erfüllbar $:\Leftrightarrow \; ?$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Sei $A$ eine Menge von prädikatenlogischen Ausdrücken $\{A_1, ..., A_n\}$
Wann heißt $A$ widerlegbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann nennt man eine Menge von Ausdrücken $A$ tautologisch?
Nenne die Kurzschreibweise!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann nennt man eine Menge von Audrücken $A$ inkonsistent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann sind die Ausdrücke A logische Konsequenz von den Ausdrücken B im Rahmen von Modellen?
Nenne die Kurzschreibweise!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist der Modus Tollens?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist der Modus Ponens?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter einem Deduktionssystem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Menge von Aussagen $T$ aus einer Menge von Aussagen $A$ im Deduktionssystem $i$ herleitbar?
Nenne die Kurzschreibweise!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie werden die einzelnen Bestandteile der Herleitung auch genannt?
$A \vdash _i T$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist ein Deduktionssystem korrekt?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist ein Deduktionssystem vollständig?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche Eigenschaften sollten Beweisstrategien im besten Fall besitzen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist das Zeichen für den atomaren Ausdruck?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wodurch ist der atomare Ausdruck definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was besagt das Deduktionstheorem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist ein gegebenes Deduktionssystem entscheidbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist ein gegebenes Deduktionssystem semi-entscheidbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.