awkward wording: "it is always the case that in the next state, 'q' holds. is necessary for 'i' holds" #75
Description
The period in particular seems unintentional.
Exercise zebra-flag-c39d
Which of the following LTL formulae best represents this English sentence?
"it is always the case that in the next state, 'q' holds. is necessary for 'i' holds"