Modallogische Systeme - wer kennt sich damit aus?

03.12.2008, 17:36	g-o-r-e	Auf diesen Beitrag antworten »
Modallogische Systeme - wer kennt sich damit aus? Hi, ich stecke in der Klausurvorbereitung für Logik und hänge bei den Systemen der Modallogik. Wer kann mir mit der 1/0-Methode zeigen, ob (i) Raute (p und q) $\begin{eqnarray} \Rightarrow \end{eqnarray}$ Box (Box (Box p $\begin{eqnarray} \Rightarrow \end{eqnarray}$ Box q) $\begin{eqnarray} \Rightarrow \end{eqnarray}$ Raute q) eine Tautologie im ML System B ist bzw., ob (ii) Box (Box (p $\begin{eqnarray} \equiv \end{eqnarray}$ q) $\begin{eqnarray} \Rightarrow \end{eqnarray}$ Raute q) $\begin{eqnarray} \Rightarrow \end{eqnarray}$ Box ( Box (p $\begin{eqnarray} \equiv \end{eqnarray}$ q) $\begin{eqnarray} \rightarrow \end{eqnarray}$ q) eine Tautologie im System S5 ist? Das Konzept der Modallogik habe ich grob verstanden, denke ich. Allerdings habe ich absolut keine Ansätze, wie ich zeigen kann, dass eine Formel in einem bestimmten ML System gilt oder nicht gilt. Ich weiß, dass es was mit den individuellen Eigenschaften der Systeme zu tun hat (reflexiv, symmetrisch, transitiv, etc.), allerdings weiß ich nicht, wie ich generell an so ein Problem herangehen soll. Für jede Hilfe/jeden Tipp bin ich sehr dankbar. DANKESCHÖN!! Grüße, Eure Sabrina (Sorry, wenn ich hier im falschen Forum gelandet bin, ich weiß nicht, wo das Thema angebrachter ist, denn ein direktes Forum hierfür gibt es wohl nicht...)

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »