Đề cương ôn thi môn toán rời rạc

TOÁN RỜI RẠC
Khái niệm về toán rời rạc
Đề cương ôn tập thi môn Toán Rời rạc


K LOGlC VỊ TỪ
1. Các công thức trong logic vị từ.

2. Dạng chuẩn tắc, dạng chuẩn tắc
hội và dạng chuẩn


tắc tuyển của công thức.
3. Các công thức kiếm tra tính
hằng đúng và tính hằng
Sai của công thức trong logic vị tự cắp 1.


KLOGlC VỊ TỪ
1. Các công thức trong logic vị từ.

2. Dạng chuẩn tắc, dạng chuẩn tắc
hội và dạng chuẩn
tắc tuyển của công thức.


3. Các công thức kiếm tra tính
hằng đúng và tính hằng
Sai của công thức trong logic vị tự cắp 1.

K1.1. Vị từ và giá trị chân lý của
vị từ
o Biểu thức Pm, X18-"s Xm)
không phải là một mệnh đề hoặc đúng hoặc
Sai


thay biến xi bởi ai eM
vị từ bởi các chữ P, Q, R, F

ơ Vị từ 1 biến được gọi là vị từ
Cấp 1

O
một mệnh đề hoặc đúng hoặc sai.


K1.2. Các phép toán trên vị từ
l biến (1/2)
Cho vị từ 1 biến P(X) và Q(x) trên
trường M

ơ Phủ định của P(x)


' Hội (A) vị từ P(x) với vị từ Q(x)


Kl.2. Các phép toán
trên vị từ l biến (2/2)

x
Cho vị từ 1 biến P(X) và Q(X) trên


trường M
Ơ Tuyển (V) vị từ P(x) với vị từ Q(x)

Ơ Vị từ P(x) Suy ra (-›) Vi từ (m)

QJ


Kl.3. Ỷ nghĩa vị từ theo lý thuyết
tập họp x


K1.4. Định nghĩa công thức trong logic vị
từ (1/3)

Nhận xét


K1.4. Định nghĩa công thức trong logic vị
từ (2/3) x

Ðịnh nghĩa về Vvà 3:
- (Vx)A là một mệnh đề
- (Elx)A là một mệnh đề

QJ


K1.4. Định nghĩa công thức trong logic vị
từ (3/3)

Mộtsố nhận xét và lưu ý: