حل تشریحی سوال شماره 90 مجموعه دروس تخصصی مشترک

$\exists x\left(\forall y\left(P\left(x\right)\wedge \neg Q(x,y\right)\right)\vee \exists z\left(Q\left(z,x\right)\right)$

$\forall y\left(P\left(c_1\right)\wedge \neg Q\left(c_1,y\right)\right)\vee Q\left(c_2,c_1\right)$

$\exists x\forall yP\left(x,y\right)$

${\forall }_{y}P\left(F_1\left(y\right),\right)$

$\exists x\left(P\left(x\right)\wedge Q\left(x,A\right)\right)$

$P\left(c_1\right)\wedge Q\left(c_1,A\right)$