可以推出,使用反证法(也叫归谬法)
前提：p∨q,p→s,q→t
结论：s∨t
证明：
1 ┐(s∨t)
2 ┐s∧┐t
3 ┐3
4 p→s
5 ┐p34拒取式
6 ┐t
7 q→s
8 ┐q67拒取式
9 ┐p∧┐q
10 ┐(p∨q)
11 p∨q
12 ┐(p∨q)∧(p∨q)
┐(p∨q)∧(p∨q)是矛盾式