حل تشریحی سوال شماره 32 دروس مشترک

کدام‌یک از هم ارزی‌های منطقی زیر (به‌ترتیب الف، ب)، همیشه برقرار است؟

الف) $\left(\forall xA\left(x\right)\right)\to \left(\forall xB\left(x\right)\right)\equiv \forall x\left(A\left(x\right)\to B\left(x\right)\right)$

ب) $\left(\left(a\to b\right)\vee \left(c\to b\right)\right)\to \left(\left(a\wedge c\right)\to b\right)\equiv True$