تعداد موارد آزاد متغیرها در فرمول ∃ y ∀ x D(x,y) ∧ ∃ x (A(x,y) ∧ ∀ z (B(x) → D(x,w)) برابر با کدام است؟

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

اهمیت

۰/۵

تعداد موارد آزاد متغیرها در فرمول $\exists y\, \forall x\, D(x,y) \land \exists x\,(A(x,y) \land \forall z\,(B(x) \to D(x,w))$ برابر با کدام است؟

#first-order-logic#quantifiers#free-variable#bound-variable#quantifier-scope#predicate-logic