设[img=15x19]1803a0f3a1d3198.png[/img]、[img=15x19]1803a0f3aa8b975.png[/img]是一阶逻辑公式,[img=36x25]1803a0f3b28b8da.png[/img]是一个谓词,[img=85x25]1803a0f3ba9c502.png[/img], [img=86x25]1803a0f3c37b7c0.png[/img],则一阶逻辑公式[img=58x19]1803a0f3d421b9d.png[/img]是
A: 可满足的
B: 恒真的
C: 恒假的
D: 其他答案皆不正确
A: 可满足的
B: 恒真的
C: 恒假的
D: 其他答案皆不正确
举一反三
- 设[img=15x19]18036a79431e02b.png[/img]、[img=15x19]18036a794b8b1c8.png[/img]是一阶逻辑公式,[img=36x25]18036a79549d203.png[/img]是一个谓词,[img=85x25]18036a795d206d6.png[/img], [img=86x25]18036a796610d6d.png[/img],则一阶逻辑公式[img=58x19]18036a796f0ace2.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 设[img=15x19]1803707a0078023.png[/img]、[img=15x19]1803707a0976651.png[/img]是一阶逻辑公式,[img=36x25]1803707a11f91f2.png[/img]是一个谓词,[img=85x25]1803707a19fc7ed.png[/img], [img=86x25]1803707a22ced3f.png[/img],则一阶逻辑公式[img=58x19]1803707a2bc9ff6.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 设[img=15x19]1802f91a79e935c.png[/img]、[img=15x19]1802f91a8181298.png[/img]是一阶逻辑公式,[img=36x25]1802f91a8a90c69.png[/img]是一个谓词,[img=85x25]1802f91a92cbdcf.png[/img], [img=86x25]1802f91a9b11e26.png[/img],则一阶逻辑公式[img=58x19]1802f91aa2d8dc6.png[/img]是 A: 可满足的 B: 恒真的 C: 恒假的 D: 其他答案皆不正确
- 在下列命题中:如果f(x)=[img=28x44]17e0bf9914bb2f1.png[/img],那么[img=27x29]17e0bf97582597b.png[/img]f(x)=0;如果f(x)=[img=28x44]17e0bf992111a1c.png[/img],那么[img=27x29]17e0bf97582597b.png[/img]f(x)=0;如果f(x)=[img=55x44]17e0bf992d8de0a.png[/img],那么[img=29x29]17e0bf9939482bb.png[/img]f(x)不存在;如果f(x)=[img=87x53]17e0bf99450fa82.png[/img],那么[img=27x29]17e0bf97582597b.png[/img]f(x)=0。其中错误命题的个数是( A: 0 B: 1 C: 2 D: 3
- 设 f(x)=1-2x,g(f(x))=(1-x)/x ,则 [img=51x43]180349caea51829.png[/img] A: 0 B: 1 C: 2 D: 3