Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
S1 = b ∧ X(¬b ∧ GFa)
S2 = b ∧ X(¬b ∧ Ga)
I believe 1 in the picture below satisfies S1 and S2 but i am not sure if 2 satisfies S1 and not S2
Both structures satisfy S1 but not S2.
Let's look at the formulas from inside out: