若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.如果能再列举一些类似的推理就更好了.我的系统上是能显示的；干脆用文字描述吧：若已知p或q,p蕴含s,q蕴含t,如何

若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.如果能再列举一些类似的推理就更好了.我的系统上是能显示的；干脆用文字描述吧：若已知p或q,p蕴含s,q蕴含t,如何
若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.
如果能再列举一些类似的推理就更好了.
我的系统上是能显示的；干脆用文字描述吧：
若已知p或q,p蕴含s,q蕴含t,如何推出s或t?

若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也请说明还需要什么条件.如果能再列举一些类似的推理就更好了.我的系统上是能显示的；干脆用文字描述吧：若已知p或q,p蕴含s,q蕴含t,如何
可以推出,使用反证法(也叫归谬法)
前提：p∨q,p→s,q→t
结论：s∨t
证明：
1 ┐(s∨t)
2 ┐s∧┐t
3 ┐3
4 p→s
5 ┐p 34拒取式
6 ┐t
7 q→s
8 ┐q 67拒取式
9 ┐p∧┐q
10 ┐(p∨q)
11 p∨q
12 ┐(p∨q)∧(p∨q)
┐(p∨q)∧(p∨q)是矛盾式

符号没打出来。