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…

    QUESTION5 Let M be a Kripke Structure with W (A| B) says p? { yZh l( )-(x), J( ) = {(ww) ( ) ( )), J(B) = {(x ) (y ) ( x)). What is the value of W,Z 2. W QUESTION 6 Let M be a Kripke Structure with W = { (A | B) controls p? 0 yz), I( ) = { } JO ) = ( ) ( ) ( 2) J(B) = {(xx) (y ) ( )) What is the value of 1. W 2.{x) 3. sw,x) 4. [y,z)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}

    Expert Answer

     
    1.) W The reason i

    QUESTION5 Let M be a Kripke Structure with W (A| B) says p? { yZh l( )-(x), J( ) = {(ww) ( ) ( )), J(B) = {(x ) (y ) ( x)). What is the rate of W,Z 2. W QUESTION 6 Let M be a Kripke Structure with W = { (A | B) governs p? 0 yz), I( ) = { } JO ) = ( ) ( ) ( 2) J(B) = {(xx) (y ) ( )) What is the rate of 1. W 2.{x) 3. sw,x) 4. [y,z)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.