Toán học rời rạc là tên chung của nhiều ngành toán học có đối tượng nghiên cứu là các tập hợp rời rạc, các ngành này được tập hợp lại từ khi xuất hiện khoa học máy tính làm thành cơ sở toán học của khoa học máy tính. Nó còn được gọi là toán học dành cho máy tính.
Trang 1TOÁN R I R C
Ph m Th B o
email: ptbao@hcmus.edu.vn
www.math.hcmus.edu.vn/~ptbao/TRR/
Trang 31 ThS Nguy n Duy Nh t, ThS Nguy n
V n Phong, PGS.TS inh Ng c Thanh, Toán r i r c
Trang 4Ki m tra gi a k : 30%
Ki m tra cu i k : 70%
Trang 6đ đ nh có giá tr chân lý xác đ nh, đúng ho c sai
Câu h i, câu c m thán, m nh l nh… không là m nh đ
Ví d :
- m t tr i quay quanh trái đ t
- 1+1 =2
- Hôm nay tr i đ p quá ! (ko là m nh đ )
- H c bài đi ! (ko là m nh đ )
- 3 là s ch n ph i không? (ko là m nh đ )
Trang 7Chân tr c a m nh đ :
M t m nh đ ch có th đúng ho c sai, không th
đ ng th i v a đúng v a sai Khi m nh đ P đúng ta nói P có chân tr đúng, ng c l i ta nói P có chân tr sai
Chân tr đúng và chân tr sai s đ c ký hi u l n
l t là 1 (hay ,T) và 0 (hay S,F)
Trang 9a M nh đ ph c h p: là m nh đ đ c xây d ng t các
m nh đ khác nh liên k t b ng các liên t (và, hay, khi
và ch khi,…) ho c tr ng t “không”
b M nh đ s c p (nguyên th y): Là m nh đ không th
xây d ng t các m nh đ khác thông qua liên t ho c
Trang 13Ví d
- “Hôm nay, An giúp m lau nhà và r a chén”
- “Hôm nay, cô y đ p và thông minh ”
- “Ba đang đ c báo hay xem phim”
Trang 14d Phép kéo theo: M nh đ P kéo theo Q c a hai m nh đ
P và Q, kí hi u b i P → Q (đ c là “P kéo theo Q” hay
“N u P thì Q” hay “P là đi u ki n đ c a Q” hay “Q là
đi u ki n c n c a P”) là m nh đ đ c đ nh b i:
P → Q sai khi và ch khi P đúng mà Q sai
B ng chân tr
Trang 16e Phép kéo theo hai chi u: M nh đ P kéo theo Q và
Trang 17- 2=4 khi và ch khi 2+1=0
- 6 chia h t cho 3 khi và chi khi 6 chia h t cho 2
- London là thành ph n c Anh n u và ch n u thành ph HCM là th đô c a VN
- π >4 là đi u ki n c n và đ c a 5 >6
Trang 22Bài t p: L p b ng chân tr c a nh ng d ng m nh đ sau
E(p,q) = ¬(p ∧q) ∧p
F(p,q,r) = p ∧(q ∨r) ↔ ¬q
Trang 23t ng đ ng logic n u chúng có cùng b ng chân tr (hay
Trang 24Trong phép tính m nh đ ng i ta không phân bi t nh ng
Trang 25Qui t c thay th : Trong d ng m nh đ E, n u ta thay th bi u
th c con F b i m t d ng m nh đ t ng đ ng logic thì d ng
m nh đ thu đ c v n còn t ng đ ng logic v i E
Ví d ¬(p ∧ q) ∨ r⇔ ( ¬p ∨ ¬ q) ∨ r
Trang 2810 Lu t h p th p ∨ (p ∧ q) ⇔ p
p ∧ (p ∨ q) ⇔ p
Trang 31Trong các ch ng minh toán h c, xu t phát t m t s kh ng
đ nh đúng p, q, r…(ti n đ ), ta áp d ng các qui t c suy di n
Trang 34Qui t c này đ c th hi n b ng h ng đúng:
Trang 35N u An đi h c đ y đ thì An đ u toán r i r c
An không đ u toán r i r c
Suy ra: An không đi h c đ y đ
Trang 363 Qui t c tam đo n lu n
Qui t c này đ c th hi n b ng h ng đúng:
Ho c d i d ng s đ
Trang 39Ch nh t, An th ng lên th vi n ho c v quê
Ch nh t này, An không v quê
Suy ra: Ch nh t này, An lên th vi n
Trang 40Qui t c này đ c th hi n b ng h ng đúng:
Trang 41Hôm nay An h c bài
Hôm nay An ph m n u n
Suy ra: Hôm nay An h c bài và ph m n u n
Trang 42Qui t c này đ c th hi n b ng h ng đúng:
Trang 43Hôm nay An đi h c Toán r i r c và h c Anh v n
Suy ra: Hôm nay An h c Toán r i r c
Trang 447 Qui t c mâu thu n (ch ng minh b ng ph n ch ng)
Ta có t ng đ ng logic
ch ng minh v trái là m t h ng đúng ta ch ng minh n u
thêm ph đ nh c a h vào các ti n đ thì đ c m t mâu thu n
Ví d Cho a, b, c là 3 đ ng th ng phân bi t và a//c và
b//c ch ng minh a//b
Trang 45⇔
D ng s đ
Trang 46Hãy ch ng minh: Cm b ng ph n ch ng
Trang 478 Qui t c ch ng minh theo tr ng h p
D a trên h ng đúng:
Ý ngh a: n u p suy ra r và q suy ra r thì p hay q c ng có
th suy ra r
• Ch ng minh r ng:
Trang 48ch ng minh m t phép suy lu n là sai hay
không là m t h ng đúng Ta ch c n ch ra
m t ph n ví d
Trang 50Ch ng minh suy lu n sau:
Trang 51Theo lu t logic, ta có
Trang 56à
Trang 581 nh ngh a V t là m t kh ng đ nh p(x,y, ), trong đó x,y là
các bi n thu c t p h p A, B, Cho tr c sao cho:
- B n thân p(x,y, ) không ph i là m nh đ
- N u thay x,y,… thành giá tr c th thì p(x,y, ) là m nh đ
Ví d
- p(n) = “n +1 là s nguyên t ”
- q(x,y) = “x2 + y = 1”
- r(x,y,z) = “x2 + y2 >z”
Trang 592 Các phép toán trên v t Cho tr c các v t p(x), q(x)
theo m t bi n x ∈ A Khi y, ta c ng có các phép toán t ng
Trang 61“∃x ∈ A, p(x)”
Trang 62Ví d Các m nh đ sau đúng hay sai
Trang 63nh ngh a Cho p(x, y) là m t v t theo hai bi n x, y xác đ nh trên A×B Ta đ nh ngh a các m nh đ l ng t hóa c a p(x, y)
nh sau:
“∀x ∈ A,∀y ∈ B, p(x, y)” = “∀x ∈ A, (∀y ∈ B, p(x, y))”
“∀x ∈ A, ∃y ∈ B, p(x, y)” = “∀x ∈ A, (∃y ∈ B, p(x, y))”
“∃x ∈ A, ∀y ∈ B, p(x, y)” = “∃x ∈ A, (∀y ∈ B, p(x, y))”
“∃x ∈ A, ∃y ∈ B, p(x, y)” = “∃x ∈ A, (∃y ∈ B, p(x, y))”
Trang 66- M nh đ “∃x ∈ R, ∀y ∈ R, x + 2y < 1” đúng hay sai
M nh đ sai vì không th có x = a ∈ R đ b t đ ng th c
a + 2y < 1 đ c th a v i m i y ∈ R (ch ng h n, y = –a/2 + 2 không th th a b t đ ng th c này)
- M nh đ “∃x ∈ R, ∃y ∈ R, x + 2y < 1 ” đúng hay sai?
M nh đ đng vì t n t i x0 = 0, y0 = 0 ∈ R ch ng h n th a
x0 + 2y0 < 1
Trang 67trên A×B Khi đó:
1) “∀x ∈ A, ∀y ∈ B, p(x, y)” ⇔ “∀y ∈ B, ∀x ∈ A, p(x, y)”
2) “∃x ∈ A, ∃y ∈ B, p(x, y)” ⇔ “∃y ∈ B, ∃x ∈ A, p(x, y)”
3) “∃x ∈ A, ∀y ∈ B, p(x, y)” ⇒ “∀y ∈ B, ∃x ∈ A, p(x, y)”
Chi u đ o c a 3) nói chung không đúng
Trang 69V i v t theo 2 bi n
Trang 71Qui t c đ c bi t hóa ph d ng:
N u m t m nh đ đúng có d ng l ng t hóa trong đó
m t bi n x ∈ A b bu c b i l ng t ph d ng ∀, khi y n u thay th x b i a ∈ A ta s đ c m t m nh đ đúng
Ví d :
“M i ng i đ u ch t”
“Socrate là ng i”
V y “Socrate c ng ch t”
Trang 72T p h p là m t khái ni m
c b n c a Toán h c
Ví d : 1) T p h p sinh viên c a
m t tr ng đ i h c
2) T p h p các s nguyên 3) T p h p các trái táo trên m t cây c th
Trang 78Lu t De Morgan:
Trang 79Ví d
Trang 80Tích các c a t p h p A v i t p h p B là t p h p bao g m t t c các c p th t (x,y) v i
Ký hi u A.B ho c
Chú ý: Tích c a 2 t p h p không có tính ch t giao hoán
Trang 81h p
Trang 82t p X và Y là m t qui t c sao cho m i x thu c X t n t i
duy nh t m t y thu c y đ y = f(x)
Ta vi t:
Ngh a là
Trang 85f–1(B) = {x ∈ X | f(x) ∈ B} đ c g i là nh ng c c a B
Nh v y y ∈ f(A) ⇔ ∃x ∈ A, y = f(x);
y ∉ f(A) ⇔ ∀x ∈ A, y ≠ f(x)
f –1 (B)
Trang 87a n ánh Ta nói f : X → Y là m t đ n ánh n u hai ph n t
khác nhau b t k c a X đ u có nh khác nhau, ngh a là:
Ví d Cho f: N →R đ c xác đ nh f(x)=x2 +1 (là đ n ánh)
Trang 88Nh v y f : X → Y là m t đ n ánh
⇔ (∀x, x' ∈ X, f(x) = f(x') ⇒ x = x')
⇔ (∀y ∈ Y, f–1(y) có nhi u nh t m t ph n t )
⇔ (∀y ∈ Y, ph ng trình f(x) = y (y đ c xem nh tham s )
Trang 89Ví d Cho f: R →R đ c xác đ nh f(x)=x3 +1 (là toàn ánh)
g: R →R đ c xác đ nh g(x)=x2 +1 (không là toàn ánh)
Trang 91Ví d Cho f: R →R đ c xác đ nh f(x)=x3 +1 (là song ánh)
g: R →R đ c xác đ nh g(x)=x2 +1 (không là song ánh)
Trang 94trong đó Y ⊂ Y' Ánh x tích h c a f và g là ánh x t X vào Z
xác đ nh b i: h : X → Z
x h(x) = g(f(x))
Ta vi t: h = gof : X → Y → Z
Trang 961 Ph ng pháp
V i nh ng bài toán ch ng minh tính đúng đ n c a m t bi u
th c m nh đ có ch a tham s n, nh P(n) Quy n p toán
h c là m t k thu t ch ng minh P(n) đúng v i m i s t nhiên n ≥N0
B c c s : Ch ra P(N0) đúng
B c quy n p: Ch ng minh n u P(k) đúng thì P(k+1)
đúng Trong đó P(k) đ c g i là gi thi t quy n p
Trang 97G i P(n) = “1+3+…(2n-1)=n2 “
+ B c c s :
Hi n nhiên P(1) đúng vì 1= 12
d ng n