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

دنیای مکعب‌ها (شامل سه مکعب B، A و C را در نظر بگیرید P(x,y) نشان میدهد که مکعب x جز یکی از مکعب های بالای مکعب y است، از بین جملات زیر کدام گزینه فقط شامل جملات درست است؟

$\alpha :\forall x\forall yP\left(x,y\right)\Rightarrow \neg P\left(y,x\right)$

$\beta :\forall x\forall y\forall P\left(x,y\right)\wedge P\left(y,x\right)\Rightarrow P\left(x,z\right)$

$\gamma :\exists x\forall y\neg P\left(y,x\right)$

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