Professional Documents
Culture Documents
)
www.hot-ed.co.th
2
2 2543 ~ p q , ~ p r , ~ r
. p q . q r . p r . p ~ q
2 2544 p q p (~ q )
. p ( p q ) . q ( p q ) . p ( p q ) . q ( p q )
2 2544 p, p q p (~ q r )
. q (~ r p ) . r (~ p ~ q ) . ~ p (q r ) . (~ p q ) (~ r )
2 2545 p, q [( p q )] ( p ~ q )
. ~ p q . ~ p q . p q . ~ p q
2 2545 p, q, r, s, t ( p q ) r
A [s (t q )] (r p )
. A . A
. A s . A t
2 2546 p, q r ( p q ) (~ p ~ r )
. q ( p r ) . ( p q ) r . q ( p r ) . ( p q ) r
2 2546 A ( p q) (r s) B (( p r ) s ) q
p (q (r s )) A, B
. A B . A B
. A B . A B
2 2547 p, q r ( p q ) ( p q )
. p ~ q . p ~ q . ( p q ) r . q ( p r )
2 2547
(1) p ~ q q r ( p q ) ~ (q ~ r )
(2) ( p r ) (q ~ r ) ~ q (~ p r ) p
. ( p q ) ~ r . ~ ( p q) r . ( p r ) (q r ) . ( p r ) (q r )
2 2543 ( p q ) r
. ( p ~ q ) ~ r . ( p ~ q ) ~ r . (~ p q ) ~ r . ( p ~ q ) ~ r
3 (.)
www.hot-ed.co.th
2 2545
(1) q p (q r )
(2) ( p q ) r (~ p ~ r ) (~ r q )