谓词公式 [img=308x31]17d60d9e00060b6.png[/img]中的x( ).
A: 既是约束变元又是自由变元
B: 只是约束变元
C: 既非约束变元又非自由变元
D: 只是自由变元
A: 既是约束变元又是自由变元
B: 只是约束变元
C: 既非约束变元又非自由变元
D: 只是自由变元
举一反三
- 谓词公式[img=213x25]180349fde8acf98.png[/img]中的x A: 只是约束变元 B: 只是自由变元 C: 既非约束变元也非自由变元 D: 既是约束变元也是自由变元
- 谓词公式[img=224x30]17da6caebae2cb1.png[/img]中[img=16x24]17da6caec83d4c5.png[/img]的( ). A: 既是约束变元又是自由变元 B: 只是约束变元 C: 只是自由变元 D: 既非约束变元又非自由变元
- 谓词公式[img=224x30]17869c50cd89448.png[/img]中[img=16x24]17869c50e2484fb.png[/img]的( ). A: 既非约束变元又非自由变元 B: 只是自由变元 C: 只是约束变元 D: 既是约束变元又是自由变元
- 谓词公式[img=179x21]17e0be189b094ff.png[/img]中变元x 是( ) A: 自由变元 B: 既不是自由变元也不是约束变元 C: 约束变元 D: 既是自由变元又是约束变元
- 谓词公式中的x是()。 A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元