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

654 questions

767 answers

1.1k comments

378 users

Most popular tags

Categories

Exam August 2019, Problem 8a, phi2

0 votes
This step is unclear to me:
AGa & AG(Fa & b)
= AG(Fa & b)

Shouldn't it be (?):
AGa & AG(Fa & b)
= AG(a & b)

As AGa should hold, AGFa is trivial, right?
in * TF "Emb. Sys. and Rob." by (130 points)

1 Answer

+1 vote

You are right. AGa & AG(Fa & b) = AG(a & Fa & b) = AG(a & b); an update of the example solution has been made.

by (91.8k points)

Related questions

0 votes
1 answer
Problem 8.Conversion 2019.08.27
asked Jan 27 in * TF "Emb. Sys. and Rob." by dn (1.4k points)
0 votes
1 answer
Exam August 21, 2018 Q.8(e)
asked Jan 24 in * TF "Emb. Sys. and Rob." by dn (1.4k points)
0 votes
1 answer
Problem 7 of Exams
asked Jan 23 in * TF "Emb. Sys. and Rob." by dn (1.4k points)
+1 vote
1 answer
2019 August
asked Feb 12 in * TF "Emb. Sys. and Rob." by daodubasit (790 points)
 | Snow Theme by Q2A Market
Powered by Question2Answer
Imprint | Privacy Policy
...