Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

529 users

0 votes

I have solved this question but my procedure is a little different is it correct?

Finally the answer is same sets {p} and {p,q}.

And how is universal predecessor changed to existential predecessor in the sample solution? Is it possible?

in * TF "Emb. Sys. and Rob." by (370 points)

1 Answer

0 votes

I don't understand you computation. I understand that you can replace the universal quantification on p' with only one of the cofactors, since the other one is trivial, but the same is not true for the second quantification on q'. If you don't like the example solution, then you probably want the following one:

    ∀p'. ∀q'. ( ((p↔q) ∨ (p'⊕q')) ∧ ((p↔q')∨(p'⊕q)) ) -> p'
    = ∀q'. ( ((p↔q) ∨ (0⊕q')) ∧ ((p↔q')∨(0⊕q)) ) -> 0
    = ∀q'. !( ((p↔q) ∨ q') ∧ ((p↔q')∨q) ) 
    = !( ((p↔q) ∨ 0) ∧ ((p↔0)∨q) ) 
    & !( ((p↔q) ∨ 1) ∧ ((p↔1)∨q) )
    = !( (p↔q) ∧ (!p∨q) ) 
    & !( 1 ∧ (p∨q) )
    = !((p↔q) ∧ (!p∨q)) & !(p∨q)
    = !((p↔q) ∧ (!p∨q)) & !p∧!q
    = !((0↔0) ∧ (!0∨0)) & !p∧!q
    = !(1 ∧ 1) & !p∧!q
    = !1 & !p∧!q
    = 0 & !p∧!q
    = 0

This time, the result is as given in the example solution, namely false. 

The change from universal to existential quantifiers is due to shifting the negation inside. Note that we have ¬ ∀x.phi = ∃x. ¬phi

by (166k points)
how do you put p=0 and q=0
how do you put p=0 and q=0 ??
That is due to page 69 of the Kripke structure chapter
φ ∧ x ⇔ [φ][x<-1] ∧ x and φ ∧ ¬ x ⇔ [φ][x<-0]
Imprint | Privacy Policy
...