Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
I have a question regarding the solution for Problem 8(g) of the exam from Feb. 2022 (2022.02.16.vrs.solutions.pdf):
Shouldn't the underlined part be X( (a -> Ga) & (!a -> G(!a)) ) instead?The underlined formula in the solution is equivalent to X( (a -> Ga) & (!a -> !Ga) ), but if I understood it correctly, the latter subformula is not what we want, since we want to express that if a is false at that point in time, it should also always be false in the future (i.e. G(!a)).
Thanks in advance :)