设 S:2是偶数 Q:3是奇数 R:3能被2整除
从题意得到 前提:S->Q SvR ┓R 结论:Q
(1) ┓R P
(2) SvR P
(3)┓R->S T(2)
(4) S T(1)(2)I
(5)S->Q P
(6)Q T(4)(5)I