若已知p˅q,p→s,q→t,如何推出s˅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)是矛盾式