问答题
计算题
设A（x）为下列各公式：
①（∀y）P（y，f（x，y））→Q（x）
②（∀z）（P（z）→Q（x））
③（∀y）P（f（y））∧
Q（x，y，z）
④（∀y）P（x，f（x），y）→（∀z）Q（g（x），z）
设t是h（x，z），指出t对于各公式中的x是否自由？
【参考答案】
点击查看答案
