设 p: 3+3=6. q: 乌鸦是黑色的. r: 太阳从西方升起. 求出下列复合命题的真值。(p∧q∧¬r) [img=14x9]17e0a78ab72d44b.jpg[/img] (([img=10x11]17e0a839b915354.jpg[/img]p∨[img=10x11]17e0a839b915354.jpg[/img]q) →r)
举一反三
- 设前提集合Γ={P→(Q→S), ¬R∨P, Q},公式G=R→S,证明Γ=>;G。 未知类型:{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' P', ' Q[img=14x9]17da55be8bf714b.jpg[/img]S', ' P[img=14x9]17da55be8bf714b.jpg[/img]S', ' S', ' [img=10x11]17da588760fa5e4.jpg[/img]S', 'H. R[img=14x9]17da55be8bf714b.jpg[/img]S'], 'type': 102}
- 公式(p[img=10x12]17da58ca5149efb.jpg[/img]q)[img=14x9]17da55be8bf714b.jpg[/img][img=10x11]17da588760fa5e4.jpg[/img]p的成真赋值 A: 00 B: 01 C: 10 D: 11
- 使用演绎法构造下列推理的证明。 未知类型:{'options': ['R', ' [img=10x11]17da588760fa5e4.jpg[/img]R', ' ¬(P∧Q)', ' (P∧Q)', ' ¬P∨¬Q', ' P∨¬Q'], 'type': 102}
- 令F(x):x是有理数,G(x):x是实数。将命题“所有的有理数都是实数,但有的有实数不是有理数”符号化为() 未知类型:{'options': ['17e0a83a4157352.jpgx(F(x)∧G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)[img=14x9]17e0a73094b5dcf.jpg[/img][img=10x11]17e0a839b915354.jpg[/img]F(x))', ' [img=8x14]17e0a83a4157352.jpg[/img]x(F(x)[img=14x9]17e0a73094b5dcf.jpg[/img]G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)∧[img=10x11]17e0a839b915354.jpg[/img]F(x))', ' [img=8x14]17e0a83a4157352.jpg[/img]x(F(x)∧G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)∧[img=10x11]17e0a839b915354.jpg[/img]F(x))', ' [img=8x14]17e0a83a4157352.jpg[/img]x(F(x)[img=14x9]17e0a73094b5dcf.jpg[/img]G(x))∧[img=8x14]17e0a83a35505d4.jpg[/img]x(G(x)[img=14x9]17e0a73094b5dcf.jpg[/img][img=10x11]17e0a839b915354.jpg[/img]F(x))'], 'type': 102}
- 以下属于等值规则的是()。 未知类型:{'options': ['p→p', 'p[img=14x9]17da3b7c689df98.jpg[/img](p∧p)', '(p[img=14x9]17da55be8bf714b.jpg[/img]q)[img=14x9]17da3b7c689df98.jpg[/img]([img=10x11]17da588760fa5e4.jpg[/img]p∨q)', 'p→q, p,∴q'], 'type': 102}