Thư viện tài liệu, ebook tổng hợp lớn nhất Việt Nam

9. Cho 2 số nguyên dương m và n. Biết rằng trong số 4 mệnh đề sau chỉ có duy nhất 1 mệnh đề sai: A = {m = 2n + 5} B = {m + 1 chia hết cho n} C = {m + n chia hết cho 3} D = {m + 7n là số nguyên tố} a. Hãy chỉ ra mệnh đề sai trong các mệnh đề trên. b. Hãy tìm tất các cặp (m, n) thõa các mệnh đề đúng còn lại. 10. Một giải cờ vua có n kỳ thủ th...

57 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1437 | Lượt tải: 0

7. Bằng phân giải chứng minh tập S là hằng sai S = p(x)  q(y), p(a)  r(x), p(a)  r(x), p(x)  q(b), r(a)  q(y), r(x)  q(b). 8. Dùng phân giải cho biết công thức F là hằng sai hay khả đúng : F =(q(c)  p(b))  (q(c)  r(c))  (q(c)  r(c))  (q(c)  p(b))  (r(c)  p(b))  (r(c)  p(b)).

72 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1179 | Lượt tải: 0

5. Tìm dạng chuẩn Prenex của các công thức :a. (x p(x))  y z q(y, z)b. (x p(x)  y p(y)). c. x y (z p(x,y,z)  (u q(x,u)  v q(y,v))). 6. Cho biết ╞═ x H  H[a/x] có hằng đúng hay không với a là một hằng.

48 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1067 | Lượt tải: 0

Chương 3 3. Dịch ra LLVT : a. Có đúng 3 phần tử phân biệt. b. Có nhiều nhất 3 phần tử phân biệt. c. Chỉ một số hữu hạn các phần tử phân biệt. 4. Chứng minh : F → (q1∧q2) ├─ (F→q1) ∧ (F→q2) (trong LLMĐ) F → ∀x q(x) ├─ ∀x (F → q(x)) (trong LLVT) với x không tự do trong F. ∀x (p(x) → q(x)) ├─ ∀x p(x) → ∀x q(x).

39 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1047 | Lượt tải: 0

7. Chỉ dùng các vị từ cha(x, y), me(x, y), chồng(x, y), anh(x, y), chị(x, y) để dịch các câu sau : 7.1 Mọi người có một mẹ. 7.2 Mọi người có một cha và một mẹ. 7.3 Bất cứ ai có một mẹ thì có một cha. 7.4 Minh đã là ông nội. 7.5 Câu không phải là dì.

48 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 987 | Lượt tải: 0

Tìm một mô hình I cho công thức F. F = ((A∨B) ∧ ¬B) → A Mở rộng I để nó cũng là mô hình của G. G = ((A∧C) ∨ ¬C) → A.

82 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1126 | Lượt tải: 0

•  Một số công thức khó chứng minh được bằng cách trực tiếp. •  Logic cổ điển chấp nhận cách chứng minh gián tiếp - chứng minh ¬F để dẫn đến mâu thuẫn. •  Nhưng logic trực giác (intuitionistic logic) không đồng ý hai qui tắc : ├─ F ∨ ¬F (LEM) và ├─ ¬¬F → F (¬¬e)

45 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1105 | Lượt tải: 0

1. Phát biểu nào là câu khai báo và chỉ ra thực trị : a. Không được mở máy tính. b. Thành phố Mỹ Tho ở đâu ? c. Ở sông Sài Gòn không có cá sấu. d. Việc lập trình rất hứng thú. e. A∩(B∪C) = (A∩B)∪(A∩C), A,B,C là tập hợp. f. Hôm nay là ngày thứ 3. g. 2 + 3 = 6. h. Hà Nôi là thủ đô của VN. i. Thiết kế CSDL là bắt buộc khi lập trình.

29 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 989 | Lượt tải: 0

Cú pháp cho biết cái gì được logic chấp nhận. •  Ngữ nghĩa là ý nghĩa thực tế của các đối tượng trong logic. •  Cú pháp là hình thức còn ngữ nghĩa là nội dung của các đối tượng trong logic. •  Hệ thống chứng minh sản sinh các đối tượng mới từ các đối tượng có sẵn

25 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1043 | Lượt tải: 0

Ánh xạ 1-1 (one to one mapping) : đơn ánh Ánh xạ trên (onto mapping) : toàn ánh Ánh xạ 1-1 trên : song ánh Ghi chú : đơn ánh injection or injective mapping toàn ánh surjection song ánh bijection

23 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1252 | Lượt tải: 0