1. Let M be a Kripke Structure with W = {a,b.c,d), I(p) = {a}, 1(q) =...

 

Transcribed Image Text:

1. Let M be a Kripke Structure with W = {a,b.c,d), I(p) = {a}, 1(q) = (b}, I(r) = {c,d). In what worlds is p ɔ q true? 1. {a.b,c} 2. {b,c} 3. {b,c,d} 4. {a} QUESTION 2 Let M be a Kripke Structure with W = {w,x,y,z}, I(a) = {x}, I(b) = {x.y,z}, I(c) = {w,z}. In what worlds is a ɔ (b A c) true? 1. {w.y,z} 2. {w,x.y.z} 3. {w,x.y,z} 4. {w.y} QUESTION 3 Let M be a Kripke Structure with W = {w,x,y.z}, J(A) = {(w,w). (x.y).(y,z)}, J(B) = {(x,x),(y,x),(Z,x)}. What is the value of J(A & B}? 1. {(w,w),(x.y).(y.z).(x.x).(y,x),(z,x)} 2. } O 3. {(x.y),(y.y).(z,y)} 4. {(x,x),(y,x)} 1. Let M be a Kripke Structure with W = {a,b.c,d), I(p) = {a}, 1(q) = (b}, I(r) = {c,d). In what worlds is p ɔ q true? 1. {a.b,c} 2. {b,c} 3. {b,c,d} 4. {a} QUESTION 2 Let M be a Kripke Structure with W = {w,x,y,z}, I(a) = {x}, I(b) = {x.y,z}, I(c) = {w,z}. In what worlds is a ɔ (b A c) true? 1. {w.y,z} 2. {w,x.y.z} 3. {w,x.y,z} 4. {w.y} QUESTION 3 Let M be a Kripke Structure with W = {w,x,y.z}, J(A) = {(w,w). (x.y).(y,z)}, J(B) = {(x,x),(y,x),(Z,x)}. What is the value of J(A & B}? 1. {(w,w),(x.y).(y.z).(x.x).(y,x),(z,x)} 2. } O 3. {(x.y),(y.y).(z,y)} 4. {(x,x),(y,x)}

Answer rating: 100% (QA)

Answel Q0 det M be a kaibke Stauc... View the full answer