>Mục

 1.1.  
>>Bài  số  28.  (Đã  làm)  
Hãy phát biểu đảo đề (converse), phản đảo (contrapositive) và phản đề (inverse) của
mỗi một phát biểu dưới đây.

a. Nếu tuyết rơi tối nay thì tôi sẽ ở nhà.

b. Tôi sẽ đi ra biển bất kể khi nào ngày đó là một ngày hè có nắng.
c. Khi nào tôi thức khuya, tôi cần phải ngủ tới trưa hôm sau.

>>38 (Đã  làm)

Xây dựng bảng chân lý cho ((p → q) → r) → s.

>>46 (Đã  làm)

Giá trị chân lý của hội của hai mệnh đề trong logic mờ là giá trị cực tiểu của các giá
trị chân lý của hai mệnh đề. Hãy tìm các giá trị chân lý của các phát biểu “Fred và
John là những người hạnh phúc” và “Không phải Fred cũng như John là người hạnh
phúc?”

>1.2.

>>6.  (Đã  làm)  

Hãy dịch câu phát biểu sau sang dạng logic mệnh đề. “Bạn có thể nâng cấp hệ điều
hành chỉ khi nếu bạn có bộ xử lý 32 bít có tốc độ 1GHz hoặc hơn, ít nhất 1GB RAM,
và 16GB ổ đĩa trống, hoặc bộ vi xử lý 64 bít có tốc độ 2GHz hoặc hơn, ít nhất 2GB
RAM, và ít nhất 32GB ổ đĩa trống”.

>>8

Hãy biểu diễn các đặc tả hệ thống sau đây bằng cách sử dụng các mệnh đề p: “Người
dung nhập vào một mật khẩu đúng”, q: “Truy cập thành công”, và r: “Người dung
phải trả phí đăng ký thành viên”.

a. “Người dùng phải trả phí đăng ký, nhưng không nhập đúng mật khẩu.”
b. “Quyền truy cập được cấp bất kì khi nào người dụng thanh toán xong phí
đăng ký thành viên và nhập đúng mật khẩu.”
c. “Quyền truy cập bị từ chối nếu người dùng chưa trả phí đăng ký thành viên”
d. “Nếu người dùng chưa nhập đúng mật khẩu nhưng đã trả phí đăng ký thành
viên thì quyền truy cập vẫn được cấp.”

>>36

Bốn người bạn bị tình nghi là đã truy nhập bất hợp pháp vào một hệ thống máy tính.
Họ đã phát biểu ý kiến của mình với các nhà chức trách phụ trách việc điều tra. Alice
đã nói “Carlos đã làm việc đó”. John nói “Tôi không làm việc đó” Carlos nói “Diana
đã làm” Diana nói “Carlos đã nói dối khi anh ấy nói là tôi đã làm nó”.

a. Nếu các nhà chức trách cũng biết chính xác ai trong số bốn người tình nghi
đang nói đúng sự thật, đó là ai? Hãy giải thích lập luận của bạn.
b. Nếu các nhà chức trách cũng biết chính xác ai đang nói dối, đó là ai? Hãy giải
thích lập luận của bạn.
>1.3

>>8

Sử dụng các luật De Morgan để tìm phủ định của các phát biểu sau.

a) Kwame sẽ làm việc hoặc học tiếp thạc sỹ.

b) Yoshiko có kiến thức về Java và tích phân.
c) James còn trẻ và khoẻ.
d) Rita sẽ chuyển đến Oregon hoặc Washington.

>>16 (Đã  làm)

Chứng minh p↔q và (p∧q)∨(¬p∧¬q) là tương đương lô gich.

>>30

Chứng tỏ rằng (p∨q)∧(¬p∨r)→(q∨r) là một mệnh đề hằng đúng

>>32

Chứng minh rằng (p∧q)→r và (p→r)∧(q→r) không tương đương logic.

>1.4

>>6

Gọi N(x) là phát biểu “x đã thăm North Dakota” trong đó không gian các đối tượng
quan tâm là tất cả sinh viên của trường bạn. Hãy diễn đạt các phát biểu sau sang tiếng
Việt . <<Xem các phát biểu ở Bài 6, mục 1.4>>

>>10

Cho C(x) là phát biểu “x có một con mèo” và D(x) là phát biểu “x có một con chó” và
F(x) là phát biểu “x có một con chồn sương furô”. Hãy diễn đạt các phát biểu sau
sang tiếng Việt sử dụng C(x), D(x), F(x), lượng từ, và các phép toán logic. Giả sử
rằng miền đối tượng bao gồm tất cả sinh trong lớp của bạn.

a) Một sinh viên có một con mèo, một con chó và một con chồn.

b) Tất cả sinh viên đều có một con mèo, một con chó hoặc một con chồn.

c) Một số sinh viên có một con mèo và một con chồn, nhưng không có chó.

d) Không có sinh viên nào có một con mèo, một con chó và một con chồn.

e) Với mỗi một trong 3 loại vật ở trên, có một sinh viên có con vật này.

>>16

Hãy xác định giá trị chân lý của các phát biểu sau nếu miền giá trị của các biến là số
thực. <<Xem các phát biểu ở bài 16 mục 1.3>>.
>>18

Giả sử miền giá trị của các hàm mệnh đề P(x) gồm các số nguyên -2, -1, 0, 1 và 2.
Hãy viết các mệnh đề sau sử dụng phép tuyển, phép hội và phép phủ định. <<Xem
bài 18 mục 1.3>>

>>40 (Đã  làm)

Hãy biểu diễn các đặc tả hệ thống dưới đây sử dụng các vị từ, lượng từ và các phép
toán logic.

a) Khi có ít hơn 30 MB ổ cứng còn trống, một tin nhắn cảnh báo được gửi tới tất cả
người dùng.

b) Không có thư mục nào được mở và không có file nào có thể đóng khi lỗi hệ thống
được phát hiện.

c) Hệ thống file không thể lưu trữ dự phòng được nếu hiện có người dùng đang làm
việc với hệ thống.

d) Video theo yêu cầu có thể được phát khi có ít nhất 8MB bộ nhớ còn trống và tốc
độ kết nối ít nhất là 56 kbits/giây.

>>44

Hãy xác định xem ∀x(P (x) ↔ Q(x)) và ∀x P (x) ↔ ∀xQ(x) có tương đương lô gich
với nhau không? Vì sao?.

>1.5

>>20

Hãy chuyển các phát biểu sau sang các biểu diễn trong logic vị từ khi miền các đối
tượng là các số nguyên.

a) Tích của hai số âm là một số dương.

b) Trung bình của hai số dương là dương.

c) Hiệu của hai số âm không nhất thiết phải là một số âm.

d) Giá trị tuyệt đối của tổng hai số nguyên không vượt quá tổng của giá trị tuyệt đối
của các số đó.

>>30

Hãy viết lại các phát biểu sau để phép phủ định chỉ xuất hiện trong các vị từ (có
nghĩa là không có phép phủ định nào ở ngoài một lượng từ hoặc một biểu thức liên
quan đến các phép toán logic) <<Xem bài 30 mục 1.5>>.
>>36

Hãy biểu diễn các phát biểu sau bằng cách sử dụng các lượng từ. Sau đó phủ định
chúng sao cho không có phép toán phủ định nào nằm về phía trái của lượng từ. Tiếp
đó, chuyển các mệnh đề phủ định này sang các câu phát biểu trong tiếng Việt.

- Không có ai mất hơn 1 ngàn đô-la khi chơi xổ số.

- Không có sinh viên nào trong lớp chỉ nói chuyện với duy nhất một sinh viên
khác.
- Không có sinh viên nào trong lớp chỉ gửi email tới duy nhất hai sinh viên
khác
- Một số sinh viên đã làm tất cả các bài tập trong sách.
- Không có sinh viên nào đã làm ít nhất một bài tập trong mỗi mục của cuốn
sách này.

>>46

Hãy xác định giá trị chân lý của các phát biểu ∃x ∀y (x ≤ y 2 ) nếu miền giá trị của
biến là

a) các số thực dương

b) Các số nguyên
c) Các số thực khác không.

>1.6

>>4 (Đã  làm)

Luật suy diễn nào được sử dụng trong các lập luận sau?

- Kangaroos sống ở Úc và là loại động vật có túi. Do đó cănguru là động vật có

vú.
- Trời hôm nay nóng hơn 100 độ hoặc mức độ ô nhiễm là nguy hiểm. Nhiệt độ
ngoài trời ít hơn 100 độ hôm nay. Do đó, mức độ ô nhiễm là nguy hiểm.
- Linda là một người bơi lội xuất sắc. Nếu Linda là một người bơi lội xuát sắc
thì cô ấy có thể làm công việc bảo vệ. Do đó, Linda có thể làm côgn việc bảo
vệ.
- Steve sẽ làm tại một công ty máy tính mùa hè này. Do đó, mùa hè này Steve
sẽ làm việc tại một công ty máy tính hoặc anh ấy sẽ nghỉ ngơi trên bãi biển.
c. Nếu tôi làm bài tập về nhà thâu đêm thì tôi có thể làm tất cả các bài tập. Nếu
tôi làm tất cả các bài tập tôi sẽ hiểu vấn đề. Do đó, nếu tôi làm việc thâu đêm
thì thôi sẽ hiểu vấn đề.

>>8

Các luật suy diễn nào được sử dụng trong lập luận sau: “No man is an island.
Manhattan is an island. Therefore, Manhattan is not a man.” (Câu này dễ qua, hôn
dịch nhé các bạn trẻ :D)

>>10
Với mỗi một tập các tiên đề dưới đây, bạn có thể rút ra được kết luận gì, và các phép
suy diễn gì bạn đã sử dụng?.

a) “Nếu tôi chơi khúc côn cầu thì tôi sẽ bị đau ngày hôm sau.” “Tôi sẽ sử dụng phép
trị liệu bằng xoáy nước nếu tôi bị đau” “Tôi đã không sử dụng phép trị liệu bằng xoáy
nước.”

b) “Nếu tôi làm việc, trời có nắng hoặc cả ngày hoặc một lúc.” “Tôi đã làm việc thứ
2 vừa rồi hoặc tôi đã làm việc thứ 6 vừa rồi.” “Trời đã không nắng vào thứ 3.” “Trời
không hề có nắng một lúc nào vào thứ 6”

c) “Tất cả côn trùng đều có 6 chân.” “Chuồn chuồn là một loài côn trùng.” “Nhện
không có 6 chân” “Nhện ăn chuồn chuồn.”

d) “Mỗi sinh viên đều có một tài khoản vào Internet.” “Homer không có tài khoản
Internet” “Maggie đã có một tài khoản Internet.”

e) “Tất cả đồ ăn tốt cho sức khoẻ đều không có vị tốt.” “Độ phụ tốt cho sức khoẻ.”
“Bạn chỉ ăn khi bạn thấy vị nó ngon.” “Bạn không ăn độ phụ.” “Thịt băm lẫn phô mát
không tốt cho sức khoẻ.”

f) “Tôi hoặc đang mơ hoặc đang bị ảo giác.” “Tôi không đang mơ” “Nếu tôi đang bị
ảo giác thì tôi nhìn thấy các chú voi đang chạy trên đường.”

>>24

Xác định lỗi hoặc các lỗi suy diễn trong lập luận sau để chứng minh rằng:

“nếu ∀x (P (x ) ∨ Q(x )) là đúng thì ∀xP (x) ∨ ∀xQ(x) là đúng”.

<<Xem bài 24 mục 1.6>>

Premise: Tiên đề

Universal instantiation from (1): Cụ thể hoá vũ trụ từ

Simplification from (2) : Đơn giản hoá từ

Universal generalization from (3): Tổng quát hoá vũ trụ

Simplification from (2)

Universal generalization from (5)

Conjunction from (4) and (6)