教材P140思考题[img=681x381]17e44b01bea34af.png[/img]
举一反三
- 下列公式中（ ）不是命题 。 A: ([img=10x19]180361811d22e4e.png[/img]x)P(x) B: ([img=10x19]18036181259b0de.png[/img]x)P(x) C: ([img=10x19]180361811d22e4e.png[/img]x)(P(x)[img=12x16]18036181351b766.png[/img]p(y)) D: ([img=10x19]18036181259b0de.png[/img]x)([img=10x19]18036181259b0de.png[/img]y)(P(x)[img=18x11]180361814f231a2.png[/img]p(y))
- 下列公式中（ ）不是命题 。 A: ([img=10x19]1802fc729227794.png[/img]x)P(x) B: ([img=10x19]1802fc729a47f04.png[/img]x)P(x) C: ([img=10x19]1802fc729227794.png[/img]x)(P(x)[img=12x16]1802fc72ab56bf4.png[/img]p(y)) D: ([img=10x19]1802fc729a47f04.png[/img]x)([img=10x19]1802fc729a47f04.png[/img]y)(P(x)[img=18x11]1802fc72c373eac.png[/img]p(y))
- 下列公式中（ ）不是命题 。 A: ([img=10x19]180323d46bb2977.png[/img]x)P(x) B: ([img=10x19]180323d47572f03.png[/img]x)P(x) C: ([img=10x19]180323d46bb2977.png[/img]x)(P(x)[img=12x16]180323d48718b32.png[/img]p(y)) D: ([img=10x19]180323d47572f03.png[/img]x)([img=10x19]180323d47572f03.png[/img]y)(P(x)[img=18x11]180323d4a05a5c9.png[/img]p(y))
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧ Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img]x)P(x) ∨([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img] x)Q(x)'], 'type': 102}
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∨ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧([img=8x14]17e4385aa223929.jpg[/img]x)Q(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧ Q(x))'], 'type': 102}