Học online tại: https://mapstudy.edu.

vn
_________________________________________________________________________________________________________________________________________________________________________________________________________________

LIVE BUỔI 13: TCC – ĐẠI SỐ

CHƯƠNG I: LOGIC – TẬP HỢP
BIỂU THỨC MỆNH ĐỀ: TÍNH CHẤT & ĐẲNG THỨC

A. LÝ THUYẾT

I. MỆNH ĐỀ

II. CÁC TÍNH CHẤT VÀ ĐẲNG THỨC

1. Phủ định của phủ định: A  A

2. Tính chất giao hoán

A B  B A
A B  B A
3. Tính chất kết hợp
( A  B)  C  A  (B  C)
( A  B)  C  A  (B  C)
4. Tính chất phân phối
A  (B  C)  ( A  B)  ( A  C)
A  (B  C)  ( A  B)  ( A  C)
5. Tính chất của phép kéo theo

A → B  A B

A→B B→ A
6. Tính chất của phép tương đương
A  B  ( A → B)  (B → A)
7. Luật De Morgan

A B  AB

AB  A B
8. Đẳng thức với T và F
A  F  F , A T  A
AT  T , A F  A
_________________________________________________________________________________________________________________________________________________________________________________________________________________

Thầy Phạm Ngọc Lam Trường

1
 Học online tại: https://mapstudy.edu.vn
_________________________________________________________________________________________________________________________________________________________________________________________________________________

A A  F

A A T

B. BÀI TẬP

Bài 1: Chứng minh các mệnh đề sau là tương đương logic

a) ( A  B) và ( A  B )  A  B ( ) (
b) A → B  B và A  B)
_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

Bài 2: Cho các mệnh đề A,B. Các mệnh đề ( A  B ) → A và A → ( A  B ) có tường đương logic
không? Vì sao?

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_________________________________________________________________________________________________________________________________________________________________________________________________________________

Thầy Phạm Ngọc Lam Trường

2
 Học online tại: https://mapstudy.edu.vn
_________________________________________________________________________________________________________________________________________________________________________________________________________________

Bài 3: Cho các mệnh đề p, q, r . Biết các mệnh đề A, B có giá trị chân lý 1.

A  ( p → q)  ( p → r )


 B  ( p  q)  (q → r )


Xác định giá trị chân lý của mệnh đề sau q → r

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

Bài 4: Cho A, B, C là ba mệnh đề. Biết rằng những mệnh đề A, B  C và A  B → C đều là ( )

mệnh đề đúng. Xác định giá trị chân lí của mệnh đề ( A → C )  B  C ( )
_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

_______________________________________________________________________________________

___HẾT___
_________________________________________________________________________________________________________________________________________________________________________________________________________________

Thầy Phạm Ngọc Lam Trường

3