Toan Tin

CHAPTER 1
The Foundations: Logic and Proofs
- Logic mệnh đề là nghiên cứu về ý nghĩa và các mối quan hệ suy luận nắm giữ,
trong số đó các câu dựa trên vai trò của toán tử logic , cụ thể là liên kết mệnh đề
trong việc xác định điều kiện đúng hoặc có thể khẳng định của câu đó
- Khi trình bày logic mệnh đề, chúng ta sẽ không thừa nhận bất kỳ lý thuyết cụ
thể nào về các mệnh đề. Như chúng ta sẽ thấy, sự phát triển và tính đa dạng của
các hệ thống logic mệnh đề chỉ có thể được đánh giá cao khi không có khái
niệm cụ thể nào về mệnh đề. Quy định duy nhất là các liên kết luôn hoạt động
trên toàn bộ câu và không bao giờ hoạt động trên các mục câu phụ như vị từ
hoặc thuật ngữ, và chúng tạo ra các câu trong cùng một lớp đánh giá như các
câu mà chúng hoạt động, không bao giờ biểu hiện ở cấp độ cao hơn về các câu
trong lớp đó.
- Các mệnh đề phải có các giá trị chân lý được xác định rõ ràng, vì vậy một mệnh
đề phải là một câu khai báo không có biến tự do.
- Cú pháp và quy tắc hình thành của mệnh đề logic
Trong bất kỳ ngôn ngữ thông thường nào, một câu phát biểu sẽ không bao giờ bao
gồm một từ duy nhất mà ít nhất sẽ luôn bao gồm một danh từ hoặc đại từ cùng với
một động từ. Tuy nhiên, do logic mệnh đề không xem xét các phần nhỏ hơn của
các câu lệnh và coi các câu lệnh đơn giản là những tổng thể không thể chia cắt nên
ngôn ngữ PL sử dụng các chữ cái viết hoa 'A', 'B', 'C', v.v., thay cho các câu lệnh
hoàn chỉnh. Các dấu hiệu logic 'Λ’
, '∨’, '→', '↔' và '¬’ được sử dụng thay cho các toán tử hàm xác thực, “và”, “hoặc”,
“nếu… thì… ”, “nếu và chỉ khi” và “không”.
- Biểu diên mệnh đề bằng 1 kí tự: VD: p, q, r, s, t, ...
1. Bảng chân trị :

- Các phép toán logic dc định nghĩa bởi bảng chân trị ( Truth table ). Bảng này
xác định chân trị của mệnh đề phức hợp theo từng trường hợp của các mệnh đề
sơ cấp tạo thành mệnh đề phức hợp.
Mệnh đề phức hợp : Các phát biểu thường gồm 1 hay nhiều mệnh đề.
 Các mệnh đề kết hợp bằng toán tử logic (logical operators)
Toán tử logic : Gọi p, q là các mệnh đề:
¬p, p  q, p  q, p  q, p  q
negation (phủ định).

conjunction (hội).
disjunction (tuyển).
exclusive-OR (tuyển loại – phép XOR). implication (kéo theo).
Kết quả của việc kết hợp các mệnh đề bằng các toán tử cũng là một mệnh đề
 Phép phủ định: Cho P là một mệnh đề, câu “không phải là P” là một mệnh đề
được gọi là phủ định của mệnh đề P.
Kí hiệu: ¬P
 Bảng chân trị
P ¬P
TF
FT
  Phép hội (conjunction): Cho hai mệnh đề P, Q.

“P và Q” là một mệnh đề được gọi là hội của 2 mệnh đề
P và Q.
  Kí hiệu: PQ

  Bảng chân trị:
P Q PQ
T
TT
T
TF F
FT F
FF F
 Phép tuyển (disjunction): “P hay Q” là một mệnh đề được gọi là tuyển của 2
mệnh đề P và Q.
Kí hiệu: P  Q  Bảng chân trị:
P Q PQ
TT T
TF T
FT T
FF F
 Phép XOR: “loại trừ P hoặc loại trừ Q”, nghĩa là “hoặc là P đúng hoặc Q đúng”.
 Bảng chân trị
P
PQ
Q
TT F
TF T
FT T
FF F
PQ = (P  Q)  ¬(P  Q)
PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ
 Phép kéo theo: “Nếu P thì Q” là một mệnh đề kéo theo của hai mệnh đề P, Q.
 Bảng chân trị:

P Q P®Q
TT T
TF F
FT T
FF T
P ® Q = ¬P  Q
 Mệnh đề đảo và mệnh đề phản đảo
 CácmệnhđềkéotheokháccủamệnhđềP®Q:  Q® P:mệnhđềđảo
 ¬Q ® ¬P: mệnh đề phản đảo
 Phép tương đương: “P nếu và chỉ nếu Q” là một mệnh đề được gọi là P tương
đương Q.
 Bảng chân trị:
1.Mệnh đề
2.Vị từ
Q
P PQ
TT T
TF F
FT F
FF T
P  Q = (P ® Q)  (Q ® P)
 Cho P, Q, R,... là các mệnh đề. Nếu các mệnh đề này liên kết với nhau bằng các
phép toán thì ta được một biểu thức mệnh đề.
Chú ý:
 - Một mệnh đề cũng là một biểu thức mệnh đề.
 - Nếu P là một biểu thức mệnh đề thì ¬P cũng là biểu thức mệnh
đề
 - Chân trị của biểu thức mệnh đề là kết quả nhận được từ sự kết hợp giữa
các phép toán và chân trị của các biến mệnh đề.
 Hằng đúng: là một mệnh đề luôn có chân trị là đúng Ví dụ: ¬P  P
P ¬P ¬P P
T
F TT T
F
 Hằng sai: là một mệnh đề luôn có chân trị là sai Ví dụ: ¬P  P
P ¬P ¬P  P
F
TF FF
T
Ví dụ:
(P  Q )  (¬Q)
1.Mệnh đề
2.Vị từ
 Tiếp liên: là một mệnh đề không phải là hằng đúng và không phải là hằng sai.
P
P Q ¬Q (P  Q )  (¬Q)
Q
TT F T T
TF T F T
FT F F F
FF T F T
 Mệnh đề hệ quả:ChoFvàGlà2biểuthứcmệnhđề.Glà

mệnhđềhệquảcủaFhayGđượcsuyratừFnếu F®Glà hằng đúng.
FG  Tương đương logic:
Kí hiệu:
 Định nghĩa 1: Mệnh đề P và Q được gọi là tương đương
logic nếu phép tương đương của P và Q là hằng đúng.
 Định nghĩa 2: Hai mệnh đề P và Q được gọi là tương đương
logic nếu và chỉ nếu chúng có cùng chân trị.
 Các quy tắc tương đương logic: Đặt T= hằng đúng,
F = hằng sai

PT =T  P  F = F

P  T = P  P  F = P

P  P = P  P  P = P
P=P
Luật thống trị
Luật trung hòa
Luật lũy đẳng
Luật phủ định của phủ định
 Các quy tắc tương đương logic:

Đặt T= hằng đúng, F = hằng sai
P  P = T
 P  P = F PQ=QP

Luật về phần tử bù
Luật giao hoán
PQ=QP
(PQ)R=P(QR)
Luật kết hợp
(PQ)R=P(QR)
P  (Q  R) = (P  Q)  (P  RP  (Q  R) = (P  Q)  (P  R)
Luật phân phối
 Các quy tắc tương đương logic: Đặt T= hằng đúng,
F = hằng sai
PQ=PQ
PQ=PQ
P(PQ)=P
P(PQ)=P
P->Q=PQ
Luật De Morgan
Luật hấp thụ

Luật về phép kéo theo
B,... cho trước, sao cho:

 Bản thân P(x,y,...) không phải là mệnh đề.
 Nếu thay x, y,... bằng những giá trị cụ thể thuộc tập hợp A, B,... cho
trước ta sẽ được một mệnh đề P(x, y,...). Các biến x, y,... được gọi là các biến tự do
của vị từ.
 Khônggiancủavịtừ:cóthểxemvịtừnhưlàmộtánhxạP,  xE ta được một ảnh

P(x){0, 1}. Tập hợp E này được gọi là không gian của vị từ.
 Trọng lượng của vị từ: số biến của vị từ
 Cho trước các vị từ P(x),Q(x)theo một biến xA.Tacócác phép toán vị từ tương
ứng như trên phép tính mệnh đề.
 Phủ định ¬P(x)

 Phép hội P(x)  Q(x)
 Phép tuyển P(x)  Q(x)
 Phép XOR P(x)  Q(x)
 Phép kéo theo P(x) -> Q(x)
 Phép tương đương P(x)  Q(x)
 Định nghĩa: Cho P(x) là một vị từ có không gian là A. Các mệnh đề lượng tử
hóa (quantified statement) của P(x) như sau:
Mệnh đề “Với mọi x thuộc A, P(x) ”, kí hiệu bởi “ x  A, P(x)”,
là mệnh đề đúng => P(a) luôn đúng với mọi giá trị a  A.  Mệnh đề “Tồn tại một x
thuộc A, P(x))” kí hiệu bởi :
“ x  A, P(x)”,
là mệnh đề đúng khi và chỉ khi có một giá trị
x = a nào đó sao cho mệnh đề P(a) đúng.
CHAPTER 2
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
1. Tập hợp
● Các đối tượng trong một tập hợp được gọi là phần tử hoặc thành viên
của bộ. Một tập hợp được cho là chứa các phần tử của nó.!
● Ký hiệu a ∈ A biểu thị a là một phần tử của
tập A.!
● Nếu a không phải là thành viên của A thì viết a ∉ A
S = {…., -3,-2,-1}
N = 0,1,2,3….}
Z = {…,-3,-2,-1,0,1,2,3,…}
Z⁺ = {1,2,3,…..}
R = tập số thực
R+ = tập hợp số thực dương
C = tập hợp số phức
Q = tập hợp số hữu tỉ
● Chỉ định thuộc tính hoặc các thuộc tính mà tất cả các thành viên phải
thỏa mãn:!
S = {x | x là số nguyên dương nhỏ hơn 100}
O = {x | x là số nguyên dương lẻ nhỏ hơn 10}
O = {x ∈ Z⁺ | x lẻ và x < 10}
● Số hữu tỉ dương :
Q+ = {x ∈ R | x = p/q, đối với số nguyên dương p,q}

[a,b] = {x | a ≤ x ≤ b}
[a,b) = {x | a ≤ x < b}
(a,b] = {x | a < x ≤ b}
(a,b) = {x | a < x < b}
● Tập rỗng
∅≠{∅}
● Hai tập hợp bằng nhau khi và chỉ khi chúng có

các phần tử giống nhau.
{1,3,5} = {3, 5, 1}
● Ký hiệu A ⊆ B được dùng để chỉ ra rằng A là tập con của B
2. Sets Operation
● Các toán tử trong lý thuyết tập hợp tương tự như

toán tử tương ứng trong phép tính mệnh đề.!
● Như mọi khi phải có một tập phổ quát U. Tất cả các tập hợp
được coi là tập hợp con của U.Union
● Định nghĩa: Cho A và B là tập hợp. Hợp của các tập A
và B, ký hiệu là A ∪ B
Biểu đồ Venn của phần bù A ∩B
Định nghĩa: Nếu A là một tập hợp thì phần bù của A
(đối với U), ký hiệu Ā là tập U - A!
Ā = {x ∈ U | x ∉ A}
Cho A và B là tập hợp. Sự khác biệt của A
và B, ký hiệu là A – B, là tập hợp chứa
các phần tử của A không có trong B. Sự khác biệt của A
và B còn được gọi là phần bù của B theo
tới A.!
A – B = {x | x ∈ A ∧ x ∉ B} = A ∩*B
● Identity laws
● Domination laws!
● Idempotent laws!
● Complementation law
Continued on next slide !Set Identities
● Commutative laws!
● Associative laws!
● Distributive laws
Continued on next slide !Set Identities
● De Morgan’s laws!
● Absorption laws!
● Complement lawsProving Set Identities
● Different ways to prove set identities:!
●
Hàm f: A → B cũng có thể được định nghĩa là tập con của A×B (một mối quan hệ).
Tập hợp con này bị hạn chế là một quan hệ trong đó không có hai phần tử nào của
quan hệ có phần tử đầu tiên giống nhau. ! ● Cụ thể, hàm f từ A đến B chứa một và
chỉ có một cặp có thứ tự (a, b) cho mọi phần tử a∈ A
Union
● liênhiệp
● Định nghĩa: Cho A và B là tập hợp. Hợp của các tập
A
và B, ký hiệu là A ∪ B, là tập hợp
Intersection
● Định nghĩa: Giao của tập hợp A và B, ký hiệu là

A∩B
Bijections
Định nghĩa: Hàm f là sự tương ứng một-một,
hoặc một song ánh, nếu nó vừa là một đối một vừa là một
(tính từ và tính từ)
Surjections
Định nghĩa: Hàm f từ A đến B được gọi lên hoặc
tính từ, nếu và chỉ nếu với mọi phần tử
có một phần tử với . MỘT
hàm f được gọi là phép chiếu nếu nó nằm trên
Injections
Định nghĩa: Hàm f được gọi là một-một, hoặc
nội suy, khi và chỉ nếu f(a) = f(b) ngụ ý rằng a = b đối với
mọi a và b đều thuộc tập xác định của f. Một chức năng được gọi là
tiêm một-một
Functions
Định nghĩa: Cho A và B là các tập khác rỗng. Một hàm f
từ A đến B, ký hiệu f: A → B là nhiệm vụ của mỗi người
phần tử của A đến đúng một phần tử của B. Ta viết f(a) =
b nếu b là phần tử duy nhất của B được gán bởi hàm f
tới phần tử a của A’

Toan Tin

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Toan Tin

Uploaded by

Copyright:

Available Formats

CHAPTER 1

The Foundations: Logic and Proofs

- Biểu diên mệnh đề bằng 1 kí tự: VD: p, q, r, s, t, ...

1. Bảng chân trị :

Toán tử logic : Gọi p, q là các mệnh đề:

negation (phủ định).

 Bảng chân trị

  Phép hội (conjunction): Cho hai mệnh đề P, Q.

  Kí hiệu: PQ

Kí hiệu: P  Q  Bảng chân trị:

 Bảng chân trị

PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ

 Bảng chân trị:

PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ

 Mệnh đề đảo và mệnh đề phản đảo

PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ

 Bảng chân trị:

PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ

PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ

 Mệnh đề hệ quả:ChoFvàGlà2biểuthứcmệnhđề.Glà

FG  Tương đương logic:

 Các quy tắc tương đương logic: Đặt T= hằng đúng,

Luật thống trị

Luật trung hòa

Luật lũy đẳng

Luật phủ định của phủ định

 Các quy tắc tương đương logic:

Luật về phần tử bù

Luật giao hoán

Luật kết hợp

Luật phân phối

 Các quy tắc tương đương logic: Đặt T= hằng đúng,

Luật hấp thụ

B,... cho trước, sao cho:

 Khônggiancủavịtừ:cóthểxemvịtừnhưlàmộtánhxạP,  xE ta được một ảnh

 Phủ định ¬P(x)

x = a nào đó sao cho mệnh đề P(a) đúng.

R+ = tập hợp số thực dương

C = tập hợp số phức

Q = tập hợp số hữu tỉ

Q+ = {x ∈ R | x = p/q, đối với số nguyên dương p,q}

(a,b) = {x | a < x < b}

● Hai tập hợp bằng nhau khi và chỉ khi chúng có

● Ký hiệu A ⊆ B được dùng để chỉ ra rằng A là tập con của B

● Các toán tử trong lý thuyết tập hợp tương tự như

Continued on next slide !Set Identities

Continued on next slide !Set Identities

● Complement lawsProving Set Identities

● Different ways to prove set identities:!

● Định nghĩa: Giao của tập hợp A và B, ký hiệu là

You might also like