با درنظرگرفتن فرضیات سؤال ۹۶، اگر α ≡ ∀ x (R(x,C) → ∃ y R(y,x)) کدام مورد درست است؟

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

اهمیت

۰/۵

با درنظرگرفتن فرضیات سؤال ۹۶، اگر $\alpha \equiv \forall x\,(R(x,C) \to \exists y\,R(y,x))$ کدام مورد درست است؟

#first-order-logic#model-evaluation#satisfaction#vacuous-truth#least-element