سوال ۱۰۰ کنکور ارشد علوم کامپیوتر ۱۴۰۲

استدلال زیر در سیستم استنتاج طبیعی را در نظر بگیرید:

$\dfrac{\dfrac{\dfrac{[P\land R]}{P}\,\land E \quad [P\to Q]}{Q}\to E \quad \dfrac{[P\land R]}{R}\,\land E}{\dfrac{\dfrac{Q\land R}{(P\land R)\to(Q\land R)}\to I}{(P\to Q)\to\big((P\land R)\to(Q\land R)\big)}\to I}\,\land I$

چند مورد استفاده اشتباه از قوانین در این استدلال وجود دارد؟