Professional Documents
Culture Documents
LOGIC Phần-1
LOGIC Phần-1
1. Khái niệm
- Mệnh đề (Proposition): là câu trần thuật mang tính chất chỉ đúng hoặc chỉ sai. (Không xảy ra cả proposition:
hai) mệnh đề
- Giá trị chân lý (Truth Value): Cho p là một mệnh đề.
-> Nếu p đúng thì giá trị chân lý của p là T (True: đúng) (hoặc 1) truth value: giá
trị chân lý
-> Nếu p sai thì giá trị chân lý của p là F(False: sai) (hoặc 0)
VD: giá trị chân lý của mệnh đề "Mặt trời mọc ở hướng Đông" là T (đúng).
Ký hiệu:
● Người ta thường dùng các chữ cái a, b, c,... để ký hiệu cho các mệnh đề.
● Nếu mệnh đề a có giá trị chân lý là 1 thì ta ký hiệu G(a) = 1; nếu mệnh đề a có giá trị
chân lý là 0 thì ta ký hiệu là G(a) = 0.
Chẳng hạn, để ký hiệu a là mệnh đề "Paris là thủ đô của nước Pháp" ta sẽ viết:
● a = "Paris là thủ đô của nước Pháp" hoặc
● a: "Paris là thủ đô của nước Pháp".
Ở đây, a là mệnh đề đúng nên G(a) = 1.
2. Các phép toán logic trên mệnh đề.
negation: phủ
a. Phép phủ định (¬) (negation) định
- Ký hiệu: ¬p
- p là mệnh đề "15 lớn hơn 30" -> ¬p là mệnh đề: "15 KHÔNG lớn hơn 30") conjunction:
phép hội
BẢNG GIÁ TRỊ CHÂN LÝ
disjunction:
phép tuyển
truth table:
bảng giá trị chân
(Có thể thay 1 bằng T, 0 bằng F) lý
Q 1 0 1 0
P∨Q 1 1 1 0
*Chú ý: M
ột số cách đọc thường gặp:
p ¬p p∨ ¬
p (tautology) p ∨ p (contingency) p ∧ ¬p domination
(contradiction) laws: luật nuốt
T F T T F identity laws:
F T T F F luật đồng nhất
idempotent
Thấy M = p ∨ ¬p luôn có các gái trị chân lý bằng T => M là một mệnh đằng hằng đúng. laws: luật lũy
đẳng
BẢNG MỘT SỐ TƯƠNG ĐƯƠNG LOGIC HAY SỬ DỤNG
double
negation law:
luật phủ định
kép
cancellation
laws: luật tương
đương tiện ích
commutative
laws: luật giao
hoán
associative
laws: luật kết
hợp
distributive
laws: luật phân
phối
De Morgan's
laws: luật DM
Implication law:
luật kéo theo
4. Các phép toán logic và bit bit string: chuỗi
- Bit là các chữ số (trạng thái) “0” và “1”. Một chuỗi các bit ghép lại sẽ cho ta một dãy các số 0 bit
1. Độ dài (length) của chuỗi bit là số các bit trong chuỗi.
length: độ dài
(Chuỗi bit: bit string.)
below freezing:
BÀI TẬP dưới 0 độ
either A or B:
Bài 1: hoặc A hoặc B
1. Let p and q be the propositions: 1. Cho p và q là những mệnh đề sau: also: cũng
p: It is below freezing p: dưới 0 độ. (below freezing point (dưới nhiệt độ mà
q: It is snowing có thể đóng băng) = below zero: dưới 0 độ C) necessary and
q: trời có tuyết. sufficient: cần và
Write the propositions using p and q and logical đủ
connectives. Biểu diễn những mệnh đề, sử dụng p q và các phép
liên hợp logic:
a. It is below freezing and snowing. a. Trời dưới 0 độ và có tuyết.
b. It is below freezing but not snowing b. Trời dưới 0 độ nhưng không có tuyết.
c. It ís not under freezing and it's not snowing c. Trời không dưới 0 độ và không có tuyết.
d. It's either snowing or below freezing (or both) d. Trời hoặc dưới 0 độ hoặc có tuyết. (hoặc cả 2)
e. If it's below freezing, it's also snowing. e. Nếu trời dưới 0 độ thì có tuyết.
f. It is either below freezing or it is snowing, but it is f. Trời hoặc dưới 0 độ hoặc có tuyết nhưng sẽ không
not snowing if it is below freezing. có tuyết nếu trời dưới 0 độ.
g. That it's below freezing is necessary and sufficient g. Trời dưới 0 độ là điều kiện cần và đủ để có tuyết.
for it to be snowing.
Giải:
a. p ∧ q
b. p ∧ ¬q
c. ¬p ∧ ¬q
d. p ∨ q
e. p → q
f. (p → q) ∧ (p → ¬q) or p⊕q
g. p ↔ q
Bài 2:
2. For each of these sentences, state what the Trong mỗi câu dưới đây, hãy xác định xem khi nào inclusive: ghép,
sentence means if the "or" is inclusive or versus an dùng ⊕, khi nào dùng ∨: có bao gồm
exclusive or. Which of these meanings of "or" do you
think is intended? a. để được học toán rời rạc, bạn phải từng tham gia exclusive: không
khóa giải tích hoặc một khóa ngành công nghệ máy bao gồm
a. To take discrete math, you must have taken tính.
calculus or a course in computer science. b. Khi mà mua một chiếc xe mới từ AMC, bạn sẽ calculus: giải
b. When you buy a new car from AMC, you get $2000 được nhận lại 2000 đô tiền mặt hoặc được trả góp tích
back in cash or a 2% car loan. với lãi suất 2%.
c. Dinner for two includes 2 items from column A or 3 c. Một bữa tối dành cho 2 người gồm 2 món trong cột loan: khoản vay
items from column B. A và 3 món trong cột B.
d. School is closed if more than 2 feet of snow falls or d. Trường học đóng cửa nếu 2 feet tuyết rơi hoặc nếu item: món đồ
if the wind chill is below -100. độ gió mạnh dưới -100.
column: cột
Giải: p ∨ q: p hoặc q, tức là các trường hợp: chỉ
q xảy ra, chỉ q xảy ra, cả 2 xảy ra thì mệnh đề
a. ∨ vẫn đúng.
b. ⊕ p⊕q: hoặc p hoặc q, tức là chỉ được xảy
c. ⊕ ra 2 trường hợp: p đúng, q sai hoặc q đúng, p
sai, không được cùng tính chất.
d. ∨
BÀI 3: Show that each of these conditional statements is tautology by using truth table
Chứng minh mỗi phát biểu dưới đây là một mệnh đề hằng đúng bằng cách sử dụng bảng giá trị statement: phát
chân lý. biểu
a. (p ∧ q) → p
p q p∧q (p ∧ q) → p
T T T T
T F F T
F T F T
F F F T
b. ¬(p → q) → p
T T T F T
T F F T T
F T T F T
F F T F T
- Uniqueness quantifier: L
ượng hóa duy nhất
"Tồn tại duy nhất một giá trị để P(x) đúng"
Ký hiệu: ∃!xP(x). Đọc là "tồn tại duy nhất một ... ", "một và chỉ một..."
∀xP(x) P(x) đúng với mọi x. Tồn tại x mà làm P(x) sai.
∃xP(x) Tồn tại x để cho P(x) đúng. P(x) sai với mọi x.
BÀI TẬP
1.Determine the truth value of each of Xác định tính đúng sai của mỗi mệnh đề
these statements if the domain consists of sau với miền xác định gồm tất cả các số
all real numbers. thực (x thuộc R).
a. ∃x(x^3 = -1) 1. ∃x(x^3 = -1)
b. ∃x(x^4 < x^2) 2. ∃x(x^4 < x^2)
c. ∀x((-x)^2 = x^2) 3. ∀x((-x)^2 = x^2)
d. ∀x(2x > x) 4. ∀x(2x > x)
Giải:
a. Mệnh đề đúng vì: có x = -1 để (-1)^3 = -1
b. Mệnh đề đúng vì: có x=0,1 để 0,1^4 < 0,1^2
c. Mệnh đề đúng vì với mọi x thuộc R -> (-x)^2 = x^2
d. Mệnh đề sai vì với x=-1 -> -2 <-1
2. Cho L(x): “x loves y” với tập xác định bao gồm Let L(x) be the statement: "x loves y", where the
tất cả mọi người trên thế giới. Dùng phép logic vị domain for both x and y consists of all the people
từ để diễn tả lại từng câu: in the world. Use quantifiers to express each of
the statement.
a. Mọi người đều yêu Jerry.
b. Mọi người đều yêu một ai đấy a. Everybody love Jerry.
c. Có một người mà mọi người đều yêu. b. Everybody loves somebody.
d. Chẳng ai yêu quý tất cả mọi người. c. There is somebody whom everyone loves.
e. Có một người mà Lydia không yêu quý. d. Nobody loves everybody.
f. Có một người mà chẳng ai yêu quý. e. There is somebody whom Lydia does not love.
g. Chỉ có đúng một người mà mọi người đều yêu f. There is somebody whom no one loves.
quý. g. There is exactly one person whom everyone
h. Có đúng hai người mà Lynn yêu quý. loves.
i. Mọi người đều yêu bản thân mình. h. There is exactly 2 people whom Lydia loves.
i. Everyone loves himself or herself.
Giải:
a. ∀xP(x, Jerry)
b. ∀x∃yL(x,y)
c. ∃y∀xL(x,y)
d. ¬(∀x∀yL(x,y))
e. ∃y¬L(Lydia,y)
f. ∃y∀x¬L(x,y)
g. ∃!y∀xL(x,y) or ∃y(∀xL(x, y) ∧ ∀z((∀wL(w, z)) → z = y))
h. ∃x∃y(L(Lynn, x) ∧ L(Lynn, y) ∧ x 6= y ∧ ∀z(L(Lynn, z) → (z = x ∨ z = y)))
i. ∀xL(x, x)
a. ∀yQ(0, y, 0)
b. ∃xQ(x, 1, 1)
c. ∃z¬Q(0, 0, z)
d. ∃x¬Q(x, 0, 1)
Solution (giải):
d. ∃x¬Q(x, 0, 1) ≡ ¬Q(0, 0, 1)∨ ¬Q(1, 0, 1)∨ ¬Q(2, 0, 1) ≡ ¬(Q(0, 0, 1)∧Q(1, 0, 1)∧ Q(2, 0, 1))
V= {u; e; o; a; i}
Các
tập
cần
nhớ:
(the union of A and B) (the intersection of A and B) (the difference of A and B)
- s ub-set: t ập con.
Ký hiệu: A là tập con của B-> A⊆B.
ower-set: tập lũy thừa.
- P
Ký hiệu: tập lũy thừa của tập A là P(A). Tập lũy thừa là tập hợp tất
cả các tập con của tập A.
- Tập rỗng (Ø) là tập con của mọi tập hợp. Mỗi tập hợp luôn là tập con của chính nó.
VD: Nếu A={a, b, c}
=> P(A) = {Ø, {a}, {b}, {c}, {a, b}, {a,c}, {b, c}, {a,b,c}}.
Nếu có |A|=n -> số các tập con: |P(A)| = 2^n.
*Chú ý: A
=B khi và chỉ khi (iff): A⊆B và B⊆A.
Ký hiệu :
TH 1 0 0
2
TH 0 1 0
3
TH 1 1 1
4
BÀI TẬP
1. Use a membership table to show that A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
(Dùng bảng tính thuộc để chứng minh A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C))
A B C B ∪ C A ∩ (B A∩B A∩C (A ∩ B)
∪ ∪ (A
C) ∩
C)
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
1 0 0 0 0 0 0 0
1 1 0 1 1 1 0 1
1 0 1 1 1 0 1 1
0 1 1 1 0 0 0 0
1 1 1 1 1 1 1 1
1. U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Use bit strings to find
the subset of integers not exceeding 5 in U.
(Dùng các chữ số bit (0 và 1) để biểu diễn tập con bao gồm các số nguyên
không quá 5, thuộc U)
1. H
àm
Định nghĩa hàm: Cho 2 tập X và Y .Một hàm f từ tập X tới Y ký hiệu là f: X
-> Y là một quy tắc đạt tương ứng mỗi x ∈ X
một phần tử duy nhât xác
định y ∈ Y
.Phần tử y tương ứng với x được gọi là ảnh của x qua
hàm f ký hiệu là y = f(x) .Tập X được gọi là tập xác định và tập y
được gọi là tập giá trị của hàm f.
cách viết:
f: X ------> Y
x -------> f(x)
1: Ảnh và tạo ảnh:
- Cho f: X ------> Y là 1 hàm. Tập A là tập con của X. Khi đó tập hợp f(A) = {y ∈ Y |
∃a ∈
A, f(a) = y } được gọi ảnh của tập A qua hàm f.
- Hàm f : X---->Y được gọi là một toàn ánh nếu với mỗi y ∈ Y , tồn tại x ∈ X sao
cho
f(x)=y.
- Hàm f : X---->Y được gọi là một song ánh nếu nó vừa là toàn ánh vừa là song
ánh.
Giá trị hàm sàn là một số nguyên, nhỏ hơn hoặc bằng
x. VD: ⌊1 .2⌋ = 1
h: Z->N
n-> h(n) = |n|
2. Cho hàm:
f: R -> R
z -> f(x) = 2x +1
Chứng minh f(x) = 2X + 1 là đơn ánh. (injective)
Giải: là một đơn ánh vì với x1, x2 thuộc R mà f(x1) = f(x2) thì ta có 2.x1 +1 = 2.x2 +1
suy ra x1 = x2.
Cách làm:
Để chứng minh f: X -> Y là đơn ánh (injection), ta chứng minh ∀ x1, x2, [(f(x1) =
f(x2)) -> (x1 = x2)] đúng.
Để chứng minh f: X -> Y là không là đơn ánh, chứng minh ∃ x1, x2 [(x1 khác x2) Λ
f(x1) = f(x2)] đúng.
Để chứng minh f: X -> Y là toàn ánh (surjection), chứng minh ∀ y ∈Y, ∃ x∈ X, f(x) =
y đúng.
Để chứng minh f: X -> Y là không toàn ánh, chứng minh ∃ y ∈Y, ∀ x ∈ X, f(x) khác y
đúng.
Ảnh của số nguyên n được ký hiệu là a(n) -> Dãy a(n) là {a(n)}.
- D
ãy vô hạn (nite sequence) còn được gọi là chuỗi.
- C
huỗi rỗng được ký hiệu là λ.
BẢNG MỘT SỐ DÃY THƯỜNG DÙNG
- V
ới n là chỉ số, b(n) là số hạng.
BÀI TẬP
2+5+8+...+3n−1=n(3n+1)22+5+8+...+3n−1=n(3n+1)2 (1)
Bước 2 (Inductive step): Giả sử (1) đúng với n=k (k≥1k≥1), khi đó ta có:
nạp) Bước 3: Phải chứng minh (1) đúng với n=k+1, tức là phải chứng minh:
2+5+8+...+3k−1+[3(k+1)−1]=(k+1)[3(k+1)+1]22+5+8+...+3k−1+[3(k+1)−1]=(k+
1) [3(k+1)+1]2
⇔2+5+8+...+3k−1+(3k+2)=(k+1)(3k+4)2⇔2+5+8+...+3k−1+(3k+2)=(k+1)(3k+4)
2
(1**)
= k(3k+1)+2(3k+2)2k(3k+1)+2(3k+2)2
= 3k2+7k+423k2+7k+42
= (k+1)(3k+4)2(k+1)(3k+4)2
= VP(1**)
Chap1
Chap2
Chap4
Chap5 (the pigeonhole principle ...: some elegant applications ...)