Professional Documents
Culture Documents
0103 - Bài Tập - Logic
0103 - Bài Tập - Logic
vn
_________________________________________________________________________________________________________________________________________________________________________________________________________________
Bài 1: Lập bảng giá trị chân lý của các biểu thức mệnh đề sau
a) A ( B C ) → C
b) A ( B C ) 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?
Bài 3: Cho p, q là các mệnh đề. Chứng minh mệnh đề q q p → p là luôn đúng.
( )
Bài 4: Kiểm tra tính đúng của các mệnh đề sau
a) ( A ( A → B ) ) → A (
b) A → B → A ) c) ( A ( B C ) ) → C
Bài 5: Cho A, B, C là 3 mệnh đề thỏa mãn các mệnh đề sau đều đúng
( A C) → (B C)
( A C) → (B C)
Chứng minh rằng A → B là mệnh đề đúng
Bài 6: Cho A và B là các mệnh đề. Biết A đúng, B sai và C đúng. Tìm giá trị chân lí của mệnh đề
( A → B ) ( C → A)
__HẾT__
_________________________________________________________________________________________________________________________________________________________________________________________________________________