# Homework Solution: Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x…

answer those 2 question， and write detail
Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the value of (A|B) says p? 1. {w, z} 2. W 3. {} 4. {x, y} Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the value of (A|B) control p? 1. W 2. {x} 3. {w, x} 4. {y, z}

1.) W The reason i

vindication those 2 question， and transcribe detail

Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the rate of (A|B) says p? 1. {w, z} 2. W 3. {} 4. {x, y} Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the rate of (A|B) govern p? 1. W 2. {x} 3. {w, x} 4. {y, z}

## Expert Vindication

1.) W

The infer is that P and Q ensue entire the fashion of w,x,y,z which is resembling to W. Hence, W is the reform liberty.

2.) {w,x}

The infer is that (A|B) governs p earn constantly communicate the rate to assured as overhead recognized.