Professional Documents
Culture Documents
)
www.hot-ed.co.th
2
2541 p, q, r ~p q (p q) r
(1) p (~r q)
(2) (q ~r) p
. (p r) (s t) . (p s) (q t) . (p s) (r t) . (r p) (s t)
1 2544 p, q, r p (q r)
(p q) r
(1) (p q) ~ r
(2) p (q ~r)
. ~ p ( q r ) . ~ p ( q r ) . p q ~ r . p q ~ r
1 2548 p, q, r, s [( p ~ q ) r ] (q s ) ( p s ) r
. p q . q r . r s . s p
2 (.)
www.hot-ed.co.th
2540 x y [(xy = 0 x 0) y = 0]
. x y [(xy = 0 x = 0) y 0] . x y [(xy 0 x = 0) y = 0]
. x y [(xy = 0 x 0) y 0] . x y [(xy 0 x = 0) y = 0]
2541 x[P(x) ~Q(x)]
. x[~P(x) Q(x)] . x[P(x) Q(x)]
. x[~Q(x) ~P(x)] . x[P(x) ~Q(x)]
1 2543 x[P(x) ~Q(x)]
. x[P(x) ~Q(x)] . x[~P(x) Q(x)] . x[P(x) Q(x)] . x[Q(x) P(x)]
1 2547
(1) [ p (q r )] (r s ) p q s
(2) xy [(x > y ) (x 2 < y )] xy [(x > y ) (y x 2 )]
. s r . s ~r . r ~s . ~r s
1 2546 p, q, r s
(1) ( p q ) ( r s )
(2) r ~ s
. p . q . ~ p ~ q . ~ p q
4 (.)
www.hot-ed.co.th
1 2546
(1) pq
(qr ) (s p)
p ~ r
s ~ r
(2) P(x) ~Q(x)
Q(x) R(x)
P(x) R(x)
. (1) (2)
. (1) (2)
. (1) (2)
. (1) (2)
5 (.)