以下命题符号化正确的是( )
A: 张三和李四都去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∧Q
B: 张三或李四中的一人去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∨Q
C: 张三或李四去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∨Q
D: 张三和李四要么都去开会,要么都不去。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P↔Q
E: 仅当张三去开会,李四才去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P→Q
A: 张三和李四都去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∧Q
B: 张三或李四中的一人去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∨Q
C: 张三或李四去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∨Q
D: 张三和李四要么都去开会,要么都不去。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P↔Q
E: 仅当张三去开会,李四才去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P→Q
A,C,D
举一反三
- 设p: 派小王去开会, q: 派小李去开会, 则命题:“派小王或小李中的一人去开会” 可符号化为( ) A: p∨q B: p∧q C: (┐p∨q) ∧(p∨┐q) D: (┐p∧q)∨(p∧┐q)
- 设:p:派小王去开会。q:派小李去开会。则命题:“派小王或小李中的一人去开会”可符号化为:() A: p∨q B: (p∧¬q)∨(¬p∧q) C: (p∧q)∨(¬p∧¬q) D: (p∧q)∨(p∧¬q)
- 设p:小王去开会,q:小李去开会,则命题“派小王或小李一人去开会.”可以符号化为(). 未知类型:{'options': ['', '', '', ''], 'type': 102}
- 设P:张三可以做这件事,Q:李四可以做这件事。命题“张三或李四可以做这件事”符号化为( )。 A: P∨Q B: P∨┐Q C: P«Q D: ┐(┐P∨┐Q)
- 构造下面推理的证明: 下午张三或去看电影或去游泳。他没有去看电影,所以,他去游泳了。证明过程:第一步:命题符号化设 P:下午张三去看电影; Q:下午张三去游泳;则: 下午张三或去看电影或去游泳。可符号化为 (P∧¬Q)∨(¬P∧Q) 他没有去看电影。可符号化为 ( ) 他去游泳了。可符号化为( )第二步写出推理论证的形式:(P∧¬Q)∨(¬P∧Q),¬P=>Q第三步进行推理证明。
内容
- 0
设P:张三可以做这件事,Q:李四可以做这件事。命题“张三或李四可以做这件事”符号化为
- 1
设P:张三可以做这件事;Q:李四可以做这件事,命题“张三或李四可以做这件事”符号化为() A: PVQ B: C: D:
- 2
设命题p:你去,q:我去,则命题“不管你去不去,我去”可符号化为 A: p→q B: p∨q C: (p→q)∧(¬p→q) D: p∧q
- 3
设P:张三可以作这件事,Q:李四可以作这件事。命题“张三或李四可以做这件事”符号化为( ) 未知类型:{'options': ['17e0bd57750f843.png;', ' [img=54x21]17e0bd577f76cf2.png[/img];', ' [img=52x21]17e0bd578a7f170.png[/img];', ' [img=88x21]17e0bd57963daf5.png[/img];'], 'type': 102}
- 4
设P:天晴,Q:我去打球,则命题“当且仅当天晴时,我才不去打球”可符号化为( )。 A: ┐Q®P B: P®┐Q C: P« ┐Q D: ┐P®Q