حل تشریحی سوال شماره 48 ریاضیات گسسته

اگر M و F دو گزاره‌نما باشند، بزرگترین مجموعه عبارات هم ارز از بین عبارت‌های زیر چه اندازه‌ای دارد؟

• $\forall x\left[M\left(x\right)\to \neg F\left(x\right)\right]$
• $\neg \exists x\left[F\left(x\right)\wedge M\left(x\right)\right]$
• $\forall x\left[F\left(x\right)\to \neg M\left(x\right)\right]$
• $\forall x\left[M\left(x\right)\to F\left(x\right)\right]$
• $\neg \forall x\left[\neg F\left(x\right)\vee \neg M\left(x\right)\right]$
• $\forall x\left[\neg \left(M\left(x\right)\wedge \neg F(x\right)\right]$
• $\neg \exists x\left[M\left(x\right)\wedge \neg F\left(x\right)\right]$