Correct Answer.
p implies p
q (and similarly q implies p
q), so from K
1
p we can derive K
1
(p
q) and similarly from K
2
q we can derive K
2
(p
q). K
1
(p
q) and K
2
(p
q) both being true is equivalent to E
{1,2}
(p
q) being true.
Back to Question.
Next Question.
Correct Answer.
q (and similarly q implies p