Logichard
0:00.0

Which rule allows us to conclude QQ from PP and PrightarrowQP \\rightarrow Q?