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

فرض کنیم P یک نماد محمولی یک‌موضعی باشد. بخش زیر از یک استنتاج در سیستم استنتاج طبیعی را در نظر بگیرید. کدام گزینه درست است؟

$\begin{array}{c} \vdots \\ \hline P(y),\, z = y \vdash P(z) \\ \hline P(y) \vdash z = y \to P(z) \\ \hline P(y) \vdash \forall x\,(x = y \to P(x)) \end{array}$