TU Wien:Logik für Wissensrepräsentation VO (Tompits)/Prüfung 2022-02-14

Aus VoWi
Zur Navigation springen Zur Suche springen

- Alle Einführungs- und Beseitigungsregeln Aussagenlogik

- Was ist eine Theorie? Was ist eine Formel?

- Was ist der Modus Ponens? Welche Regel braucht man zusätzlich noch in der Prädikatenlogik? (Generalisierungsregel)

- Semantik der Modallogik, wie ist ein Kripke Frame/Kripke Modelle definiert? Was ist die Interpretation? Wie ist der Wahrheitswert des Boxoperators definiert?