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

اهمیت

۰/۵

جایگزینی ترم $t = f(x,g(y))$ به جای متغیر $y$ در چه تعداد از فرمول‌های $A$ و $B$ و $C$ زیر، مجاز (آزاد) است؟

$A:\ \forall x\, R(x,y)$

$B:\ \exists z\,(\forall x\, R(x,z) \to s(y))$

$C:\ \exists x\,\exists z\,(R(x,y) \to s(z))$

#first-order-logic#substitution#free-variable#variable-capture#quantifier-scope#predicate-logic