LUẬN LÝ TOÁN HỌC - CHƯƠNG 3 (phần 1) pps

... ntsơn Bài tập Chương 3 : Luận lý vị từ ntsơn Chương 3 Luận lý vị từ Luận lý vị từ (LLVT) có các thuật ngữ tiếng anh tương ứng : first order logic (FOL), predicates logic. ntsơn Chương 3 Công thức ... không biết lý luận thì bị chế nhạo. ∀x(¬L luận( x) → Bịchếnhạo (x)) (3) •Vìvậy trẻ con không thể làm việc chăm chỉ. ¬Chămchỉ(trẻcon) (4) ntsơn Chương 3. Luận l...

Ngày tải lên: 22/07/2014, 14:21

... h(y)), p(f(x), h(x), b, g(h(x))) }  {h(y), z} là tập bất đồng. ntsơn Thuật toán đồng nhất Thuật toán 1. Tìm tập bất đồng 2. Chọn thay thế. 3. Quay lại bước 1 nếu không còn tập bất đồng. ntsơn IV. Phân giải ntsơn Thay ... thay thế λ) (σ = θλ) {E 1 , , E k } θ σ λ {E 1 , , E k }θ | | {E 1 , , E k }θλ 3 {E 1 , , E k }σ ntsơn Thuật toán đồng nhất • Để có được một mgu từ tập bất đồng t...

Ngày tải lên: 22/07/2014, 14:21

... thức F đúng trong diễn dịch trên. ntsơn III. Ngữ nghĩa của luận lý vị từ ntsơn Chương 3 Hệ quả luận lý 8. Chứng minh K là hệ qủa luận lý của S : S = ∀x ∃y (¬p(x) ∨¬q(y) ∨ r(x)) ∧ ∀x ∀y (¬p(x)∨ ... q(x,y)). ntsơn Chương 3 Đánh giá CT đóng trong 1 dd •Lấy x = β, * lấy y = α : p(β)∨q(α) →∃t q(t) ∧∀z q(z). (0 ∨ 1) → (1 ∧ 1) = 1. * lấy y = β : p(β)∨q(β) →∃t q(t) ∧∀z q(z). (...

Ngày tải lên: 22/07/2014, 14:21

... 1 6nifq(y 0 ) →e 4,5 7nifq(y 0 ) ∃x e 2, 4-6 8 ∀y q(y) ∀y i 3- 7 ntsơn Chương 3 Suy luận tự nhiên [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 ... do tự do ntsơn Chương 3 Suy luận tự nhiên [3 ] •Chứng minh : t 1 = t 2 , t 2 = t 3 ├─ t 1 = t 3 F là công thức (x = t 3 ). 1t 2 = t 3 tiền đề (F[t 2 /x]) 2t...

Ngày tải lên: 22/07/2014, 14:21

... LLMĐ. ntsơn Chương 1 Mục tiêu của luận lý toán học Cho một lập luận : Nếu là người thì phải chết. Socrates là người. Vậy Socrates phải chết. Câu hỏi : Làm sao biết lý luận trên là đúng hay sai. ntsơn Chương ... gọi tắt là công thức (CT) hay WFF. •Về lý thuyết chỉ cần 3 toán tử là đủ để tạo thành LLMĐ : (∧, →, ¬) hay (∨, ∧, ¬) ntsơn Chương 1 Định nghĩa luận lý...

Ngày tải lên: 22/07/2014, 14:21

... luận. •Qui tắc suy luận gồm : các qui tắc suy luận tự nhiên và các suy luận đã được chứng minh. ntsơn Chương 2 Suy luận [3] Chứng minh ├─ F → F 1ifF 2nifFbản sao của 1 3F → F →i 1-2 ntsơn Chương ... tiền đề 2if¬F 3nif⊥ ¬e 1, 2 4 ¬¬F ¬i 2, 3 5F ¬¬e 4 ntsơn Chương 2 Suy luận [3] Chứng minh F → (G→H), F, ¬H├─ ¬G 1F→ (G→H) tiền đề 2F tiền đề 3G→H →e 1, 2 4 ¬Htiền đề 5 ¬GM...

Ngày tải lên: 22/07/2014, 14:21

... -3 ; -2 ; -1 ; 0 ; 1 ; 2 ; 3 ; 4 . . . } - Số 0 không phải là số nguyên âm cũng không phải là số nguyên dương - số đối nhau: đsố đối a là –a ; 1 là số đối của –1 ; -1 là số đối của 1 § 3 ... nói a chia hết cho b . Ta còn nói a là bội của b và b là ước của a . VD: -9 là bội của 3 vì -9 = 3 . ( -3 ); 3 là ước của -9 • Nếu a = bq (b ≠ 0) thì ta nói a c...

Ngày tải lên: 02/07/2014, 14:20

... lực dynamics động lực học control-system d. động lực học hệ điều chỉnh fluid d. động lực học chất lỏng group d. động lực nhóm magnetohydro d. vl. từ thuỷ động lực học 138 E e e (cơ số của lôga ... tương ứng không khả quy isometric c tương ứng đẳng cự many-one c. tương ứng một đối nhiều non-singular c. tương ứng không kỳ dị one-to-one c. tương ứng một đối một point c. tương ứng đ...

Ngày tải lên: 23/07/2014, 12:20

... lượng Phần trăm 3A 3B 3C 3D 3E Nhận xét: Lớp 3 trường tiểu học Đoàn Thị Điểm Giáo viên Lê Trọng Thọ Lớp 3 trường tiểu học Đoàn Thị Điểm Giáo viên Lê Trọng Thọ Tiết 7: Chương 2: CHƠI CÙNG ... trăm 3A 3B 3C 3D 3E Nhận xét: Tiết 10: Bài 3: TRÒ CHƠI STICKS I/ Mục tiêu: - Giúp học sinh luyện sử dụng chuột, cách di chuyển chuột dến đúng vị trí, cách nháy chuột nhanh v...

Ngày tải lên: 29/10/2013, 13:11