谓词公式[tex=10.571x1.357]s5MiJhp2euSIOWe/D16KfUmg1pcmPoHKwYfr6bhq/xRQdNPoJkTUZBMinpjuTSGv92qcz5tDiPrto3jN1PaMIA==[/tex]中变元[tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex]是（ ）.
未知类型：{'options': ['自由变元', '约束变元', '既不是自由变元，也不是约束变元', '既是自由变元，也是约束变元'], 'type': 102}
未知类型：{'options': ['自由变元', '约束变元', '既不是自由变元，也不是约束变元', '既是自由变元，也是约束变元'], 'type': 102}
D
举一反三
- 谓词公式[tex=12.643x1.357]A8jEtcEnK8VJhCz059qDK0mUDbAcHE/rAx/SQKggze6/HEmjxms8gV2RPoKBkUnsdrHcLFQTOGNQT0jTg24b0Q==[/tex]中奕元x是 未知类型：{'options': ['自由变元', '约束变元', '既不是自由变元也不是约束变元', '既是自由变元也是也是约束变元'], 'type': 102}
- 谓词公式[img=113x21]17e44327c430b72.png[/img]中,变元x是 ( ) A: 自由变元 B: 既是自由变元也是约束变元 C: 约束变元 D: 既不是自由变元也不是约束变元
- 谓词公式(x)( F(x) ® G(x)) ®y（G(y) ®∀xF(x)）中变元x是 A: 自由变元 B: 既是自由变元又是约束变元 C: 既不是自由变元也不是约束变元 D: 约束变元
- 谓词公式[img=179x21]17e0be189b094ff.png[/img]中变元x 是( ) A: 自由变元 B: 既不是自由变元也不是约束变元 C: 约束变元 D: 既是自由变元又是约束变元
- 谓词公式中的x是()。 A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
内容
- 0
谓词公式(x)F(x,y)→(y)G(x,y)中变元x是() A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
- 1
谓词公式[img=213x25]180349fde8acf98.png[/img]中的x A: 只是约束变元 B: 只是自由变元 C: 既非约束变元也非自由变元 D: 既是约束变元也是自由变元
- 2
谓词公式 [img=308x31]17d60d9e00060b6.png[/img]中的x( ). A: 既是约束变元又是自由变元 B: 只是约束变元 C: 既非约束变元又非自由变元 D: 只是自由变元
- 3
指出下列公式的约束变元和自由变元,并指出约束变元受什么量词约束.[tex=7.429x1.357]AOVaTI5zoRbF9I8uWHgNgNVfGGQ6zxR9tQlX8OqU0v38MEGBnVtH+XUe7uQpMzJY[/tex]
- 4
谓词公式[img=224x30]17da6caebae2cb1.png[/img]中[img=16x24]17da6caec83d4c5.png[/img]的( ). A: 既是约束变元又是自由变元 B: 只是约束变元 C: 只是自由变元 D: 既非约束变元又非自由变元