Incorrect Answer.
The following frame satisfies all the axioms of KD45, but with the given labelling of the worlds, world x, does not satisfy
(p
q)
p
q
Back to Question.
Next Question.
Incorrect Answer.
(p 
q) 
p q