若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.如果能再列举一些类似的推理就更好了.我的系统上是能显示的；干脆用文字描述吧：若已知p或q,p蕴含s,q蕴含t,如何
更新时间： 2025-08-29 14:17:57
1人问答
问题描述：
若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.
如果能再列举一些类似的推理就更好了.
我的系统上是能显示的；干脆用文字描述吧：
若已知p或q,p蕴含s,q蕴含t,如何推出s或t?
陶杰回答：
可以推出,使用反证法(也叫归谬法)
前提：p∨q,p→s,q→t
结论：s∨t
证明：
1┐(s∨t)
2┐s∧┐t
3┐3
4p→s
5┐p34拒取式
6┐t
7q→s
8┐q67拒取式
9┐p∧┐q
10┐(p∨q)
11p∨q
12┐(p∨q)∧(p∨q)
┐(p∨q)∧(p∨q)是矛盾式
数学推荐
数学推荐
最新更新
精品分类
优秀数学推荐
热门数学