>>829
普通にP&Qを仮定してもP&Rを仮定してもP&(Q∨R)が導きだせ
ることを言えばいい。