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?

Abgerufen von „https://vowi.fsinf.at/index.php?title=TU_Wien:Logik_für_Wissensrepräsentation_VO_(Tompits)/Prüfung_2022-02-14&oldid=145382“