Incorrect Answer.
Worls x in the following Kripke model does not satisfy E
{1,2}
E
{1,2}
p C
{1,2}
p.
Back to Question.
Next Question.
Incorrect Answer.
