Student: Xiao Li likes physics and Xiao Zhang likes math.
If Xiao Zhang likes math, Xiao Li or Xiao Zhao also likes math, symbolized as P → Q ∨ R.
If Xiao Li likes math, he also likes physics, symbolized as Q→S,
Xiao Li doesn't like physics and is symbolized as non-S.
Premise P→Q∨R, Q→S,, p, non-s, conclusion r
The constructive reasoning is as follows:
( 1)Q→S P
(2) Non-Standard & Poor's
(3) Non-Q T (1)(2)
(4)P P
(5)P→Q∨R P
(6)Q∞R T(4)(5)
(7) Rule (3)(6)