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

اهمیت

۰/۵

فرمول مرتبهٔ اول زیر به‌ترتیب چه تعداد متغیر آزاد و زیرفرمول دارد؟

$(\forall x)(\exists y\, A(x,y) \to \exists y\,(B(x,y,z) \land D(z)))$

#first-order-logic#free-variable#bound-variable#subformula-counting#quantifier-scope#parse-tree