Neue Frage
1

Does the represented Kripke distinguish the difference between the formulas?

gefragt 2017-08-22 16:22:06 +0200

Dieser Post ist als Wiki-Post markiert

Das ist ein Wiki-Beitrag. Jeder mit Karma >75 darf diesen Beitrag verbessern.

aktualisiert 2017-08-22 16:37:36 +0200

arsinux Gravatar-Bild

Bildbeschreibung

bearbeiten retag Als beleidigend melden schließen löschen

1 Antwort

2

geantwortet 2017-08-22 19:32:37 +0200

PS Gravatar-Bild

aktualisiert 2017-08-23 09:22:38 +0200

Difficult to answer if you don't specify a particular path of the structure, since we have to compare here two path formulas with each other. Let me therefore draw your attention to the following path that is included in the above structure:

Bildbeschreibung

Recall that [x SB y] holds on a path at some time t, if and only if at some time x holds and up to that point of time (including that point of time) y does not hold on that path.

Indeed, the only initial path of the above structure can distinguish between the two formulas:

  • [b SB c] holds at no point of time on that path since b never becomes true on the path
  • [a SB [b SB c]] holds therefore at all points of time, since a holds from t=1 on, and [b SB c] never holds on the path, thus a holds before [b SB c]
  • [a SB b] holds at all points of time on that path since b never becomes true, but a does from time t=1 on, so a is true before b
  • [[a SB b] SB c] does not hold at time t=0 on the path since c is already true there and therefore [a SB b] cannot become true before c

To summarize, on that initial path, [a SB [b SB c]] holds at time t=0, but [[a SB b] SB c] does not hold there. Hence, the structure distinguishes between the two formulas.

If you want to double-check the above claims with a tool, then you can check the following formulas for validity:

  • !a & !b & c & X G(a&!b&!c) -> G![b SB c]
  • !a & !b & c & X G(a&!b&!c) -> G[a SB [b SB c]]
  • !a & !b & c & X G(a&!b&!c) -> G[a SB b]
  • !a & !b & c & X G(a&!b&!c) -> ![[a SB b] SB c]
bearbeiten Als beleidigend melden löschen publish Link mehr

Ihre Antwort

Du kannst deinen Eintrag bereits als Gast verfassen. Deine Antwort wird zwischengespeichert, bis du dich eingeloggt oder registriert hast.
Bitte nur konstruktive Antworten auf diese konkrete Frage posten.
Falls du eine Frage stellen willst, dann stelle eine neue Frage.
Für kurze Diskussionen und Nachfragen benutze bitte die Kommentar-Funktion.
Deine Fragen und Antworten kannst du jederzeit nachbearbeiten und verbessern.
Gute Fragen und Antworten kannst du mit einem Upvote oder Downvote bewerten.

Schreibe deine Antwort auf diese Frage

[Vorschau ausblenden]

Fragen-Tools

Beobachten
1 Follower

Statistik

Gefragt: 2017-08-22 16:22:06 +0200

Gesehen: 41 mal

Letztes Update: Aug 23