clkgtr

Modus ponendo ponens! ^9 ]3 r$ [* b7 f- \+ f, y  ?
P --> Q, 因為 P  所以 Q6 A( }5 Q7 m9 Q8 z
' J0 a: V* k! l( V$ G& X( j
Modus tollendo tollens
3 y' ~; o1 D  u6 h. ?4 h/ fP --> Q, 取得 ~P  所以 ~Q8 e$ Z( V$ y, s) w- D% [; T3 o; W
3 [9 o. T% }7 ^+ ^' D1 U6 V$ r
Disjunctive syllogism
5 z2 D; U. f! F1 |$ h  g% uP or Q, 取得 ~P  所以 Q6 D. @7 ]( v- s& F
P or Q, 取得 ~Q  所以 P
6 x" S' \* E8 w. O- |3 w/ L, J( S8 {$ I; `% M" x$ E0 ?
Conjunctive syllogism. U. r& o1 B  _
~(P & Q), 取得 P  所以 ~Q
/ b& }3 m# D0 F9 o~(P & Q), 取得 Q  所以 ~P6 I7 s  `, S' _: e$ O* O; `9 Z* [/ v
( t$ g. C9 D1 `& Y; z
Hypothetical syllogism
2 K$ d7 ?+ ?+ yP --> Q, 取得 Q --> R  所以 P --> R
# V5 Z9 O& `. q2 w( D$ ~) m( p) ?, @1 m( r- T6 L- h) `( z
De Morgan's theorem
" d6 M. E" U! X~(P & Q)  所以 ~P or ~Q
! r: o/ ]& ^5 ~' Y/ w7 S$ D! k: Q~(P or Q)  所以 ~P & ~Q