0 votes

Hello all,

I cannot understand the last step. I can get to !EF!EFa. Could someone help, please.

This is from Question paper 2020.02.19, Ques 8a.

Thanks

in * TF "Intelligent Systems" by (350 points)

1 Answer

+1 vote
 
Best answer
The negation of EF phi is AG ¬phi. (In words: “Not all paths have a point at which something holds” is the same as “There is a path where at every points the opposite of something holds)

Thus we get AG ¬¬EF a. The double negation cancels itself out. We are left with AGEF a.
by (24.7k points)
selected by
perfect..thank you.

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Feb 1 in * TF "Emb. Sys. and Rob." by dn (1.4k points)
0 votes
1 answer
Imprint | Privacy Policy
...