指出下列公式的约束变元和自由变元,并指出约束变元受什么量词约束.[tex=7.429x1.357]AOVaTI5zoRbF9I8uWHgNgNVfGGQ6zxR9tQlX8OqU0v38MEGBnVtH+XUe7uQpMzJY[/tex]
举一反三
- 指出下列公式的约束变元和自由变元，并指出约束变元受什么量词约束.[p=align:center][tex=6.071x1.357]X7jn7ApxjAOlpTuelR98jTGxwZB91WAXKSeCs+5PpoQcmGkpBNqF3sApElWYarnJ[/tex]
- 指出下列公式的约束变元和自由变元，并指出约束变元受什么量词的约束．(1)(2)(3)(4)
- 指出下列谓词公式中的量词及其辖域,指出各自由变元和约束变元,并回答它们是否是命题,[tex=9.857x1.357]A/mLfHT27xmZQRzt4W65I6JCF+UGEQB5alJGpBOoGeQ26bnQeisxKAB3L0B3YgBY[/tex]
- 谓词公式[tex=12.643x1.357]A8jEtcEnK8VJhCz059qDK0mUDbAcHE/rAx/SQKggze6/HEmjxms8gV2RPoKBkUnsdrHcLFQTOGNQT0jTg24b0Q==[/tex]中奕元x是 未知类型：{'options': ['自由变元', '约束变元', '既不是自由变元也不是约束变元', '既是自由变元也是也是约束变元'], 'type': 102}
- 谓词公式[tex=10.571x1.357]s5MiJhp2euSIOWe/D16KfUmg1pcmPoHKwYfr6bhq/xRQdNPoJkTUZBMinpjuTSGv92qcz5tDiPrto3jN1PaMIA==[/tex]中变元[tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex]是（ ）. 未知类型：{'options': ['自由变元', '约束变元', '既不是自由变元，也不是约束变元', '既是自由变元，也是约束变元'], 'type': 102}