约束变元和自由变元区分

第四问t是不是约束变元呢
还有Q（y，t）中的y是不是约束变元呢