原创力文档- 1
- 0
- 约小于1千字
- 约 1页
- 2026-06-03 发布于北京
- 举报
符号化命题，并推证其结论：
所有的好书定价都高，没有一本书定价高。所以没有一本书是好书。
证明：
设P(x):x是好的；Q(x)：x定价高；R(x):x是书；
则前提为：∀x(P(x)∧R(x)→Q(x))，¬∃x(R(x)∧Q(x))
结论是：¬∃x(P(x)∧R(x))
用反证法证明，过程如下：
(1)∃x(P(x)∧R(x))否定结论引入
(2)P(c)∧R(c)(1)EI
(3)P(c)(2)化简
(
符号化命题，并推证其结论：
所有的好书定价都高，没有一本书定价高。所以没有一本书是好书。
证明：
设P(x):x是好的；Q(x)：x定价高；R(x):x是书；
则前提为：∀x(P(x)∧R(x)→Q(x))，¬∃x(R(x)∧Q(x))
结论是：¬∃x(P(x)∧R(x))
用反证法证明，过程如下：
(1)∃x(P(x)∧R(x))否定结论引入
(2)P(c)∧R(c)(1)EI
(3)P(c)(2)化简
(
文档评论（0）