BI TP N TP THI TUYN CAO HC

GV: Nguyn Ngc Trung PHN LOGIC 1. (CH, BK, 2007). a. Chng minh lut hp th sau:

( p ( p q )) p ( p ( p q )) p

b. Dng lut hp th c chng minh cu a) v cc lut suy din cho php chng minh s tng ng sau: ( p q) ( p q) q 2. (CH, BK, 2007) Chuyn cu sau y sang dng cng thc v t: Mi ngn hng Vit Nam cho mt ngi no vay tin ch nu ngi y c ti sn th chp hoc c mt ai c ti sn th chp bo lnh. 3. (CH, BK, 2006) Gi , , l cc cng thc mnh sao cho , l tha mn c, cn l khng tha mn c. a. Minh ha cc m hnh ca cc cng thc mnh , , bng gin Venn b. Da trn gin Venn, chng minh cng thc ko theo cng thc ( )

4. Chng minh rng cc cp mnh sau l tng ng vi nhau: a. E = x( P( x) Q( x)) v F = xP( x) xQ( x) b. E = x( P( x) Q( x)) v F = xP( x) xQ( x) 5. Cho P(x), Q(x), R(x) v S(x) tng ng l cc v t: x l mt a b, x l logic, x c kh nng cai qun mt con c su, v x b coi thng. Hy din t cc mnh sau bng cch s dng cc lng t v cc v t trn. a. Nhng a b l khng logic b. Khng ai b coi thng nu cai qun c c su c. Nhng ngi khng logic b coi thng d. Nhng a b khng cai qun c c su e. T cc mnh cc cu a), b), v c), liu ta c th suy ra c mnh cu d) hay khng? Gii thch. 6. Chng minh rng cp mnh sau vi nhau: a. E = xP( x) xQ( x) v F = xy ( P ( x) Q( y ) ) b. E = xP( x) xQ( x) v F = xy ( P ( x) Q ( y ) ) 7. (CH, BK, 2006) Xt cc v t giup_do(x,y) = x gip y v tot(x) = x l ngi tt. Hy din t ngha ca cng thc v t sau bng ngn ng t nhin: a. xy ( giup _ do( x, y ) tot ( x) ) b. Cng thc trn c tng ng vi cng thc di y hay khng. Ti sao? x ( y, giup _ do( x, y ) ) tot ( x)
8. (CH, BK, 2005) Chuyn cc cu sau y thnh cng thc v t. Sau chng minh mt cch hnh thc cu kt lun. Gi thit: - Ai cng ging b hoc ging m ca mnh - Nam khng ging b Kt lun: - Nam ging m

9. (CH, BK, 2006) a. S dng cc lut suy din chng minh cng thc v t sau y l chnh xc ( x ( P( x) Q( x) ) R( x) ) yP( y ) y , P ( y ) b. Vit li cng thc v t sau di dng chun tuyn (DNF): x ( ( P ( x) Q ( x)) R ( x) ) yP ( y )

10. Xt cng thc mnh sau y: ( ( P Q ) (R S ) ) ( ( P R ) ( Q S ) ) . Hy chng t cng thc mnh l lun ng.