Slide 10
Slide 10 text
● S = {s1, s2, s3}
● ⇝ = {(s1, s1), (s1, s2), (s2, s1), (s2, s3), (s3, s2) (s3, s1)}
● AP = {p, q}
● f(s1, p) = false, f(s1, q) = false
f(s2, p) = true, f(s2, q) = false
f(s3, p) = true, f(s3, q) = true
Kripke 構造の例
表現したいグラフ構造
¬p
¬q
¬p
q
p
q
s1 s2 s3