Question

? Let p, q, and r be propositional symbols that represent state variables of a transition system (S, I, R), where S, I, and R denote the state space, initial states, and transition relation, respectively, and are defined as follows: S = true, I = p ^ q, R = (p ^ q ^ \neg p' ^ q') \lor (\neg p ^ q ^ p' ^ \neg q') \lor (p ^ q ^ p' ^ q') \lor (p ^ \neg q ^ p' ^ \neg q') Decide whether this transition system satisfies the following temporal logic properties. In the case of property not being satisfied provide a counter-example. Show the details of your reasoning to get full credit. (a) FGp (b) AF(AGp) (c) pU\neg q

          ? Let p, q, and r be propositional symbols that represent state variables of
a transition system (S, I, R), where S, I, and R denote the state space, initial
states, and transition relation, respectively, and are defined as follows:
S = true,
I = p ^ q,
R = (p ^ q ^ \neg p' ^ q') \lor (\neg p ^ q ^ p' ^ \neg q') \lor (p ^ q ^ p' ^ q') \lor (p ^ \neg q ^ p' ^ \neg q')
Decide whether this transition system satisfies the following temporal logic
properties. In the case of property not being satisfied provide a counter-example.
Show the details of your reasoning to get full credit.
(a) FGp
(b) AF(AGp)
(c) pU\neg q

? Let p, q, and r be propositional symbols that represent state variables of
a transition system (S, I, R), where S, I, and R denote the state space, initial
states, and transition relation, respectively, and are defined as follows:
S = true,
I = p ^ q,
R = (p ^ q ^ p' ^ q') (p ^ q ^ p' ^ q') (p ^ q ^ p' ^ q') (p ^ q ^ p' ^ q')
Decide whether this transition system satisfies the following temporal logic
properties. In the case of property not being satisfied provide a counter-example.
Show the details of your reasoning to get full credit.
(a) FGp
(b) AF(AGp)
(c) pUq

Added by Chase P.

Question

Please give Ace some feedback