Bài Giảng Logic Bậc Nhất - First Order Logic

... 1: 20 1: 25 1: 27 1: 07 1: 23 1: 28 0:48 0:49 0:58 0:59 0:24 0:02 0 :17 0:39 0:40 0:36 0:37 1: 10 1: 01 1:04 0:35 0:46 1: 15 0:38 0:43 0:44 0:55 1: 06 1: 08 1: 29 0: 51 0:53 1: 16 1: 24 1: 30 1: 13 0:56 0:57 1: 02 ... 0:34 1: 12 0: 01 0:03 0:05 0:28 0 :11 0 :16 0 :15 0:42 0:08 1: 03 1: 18 1: 00 1: 14 1: 09 0:50 0:52 0:04 0 :10 0 :13 0:22 0:26 0:30 0 :14 0: 21 0:23 0...

Ngày tải lên: 27/11/2013, 06:11

... ca bpt l: { x | x > - } Em hóy cho bit bn An gii ỳng hay sai ? Gii thớch v sa li cho ỳng (nu sai ) ỏp ỏn: Bn An gii sai Sa li l: ỏn Ta cú: - 1,2x > - 1,2x < - 1,2 - 1,2 x < - Vy nghim ca bpt ... a

Ngày tải lên: 14/07/2014, 19:00

... chứng thức tất chi nhánh tốn học Logic mệnh đề Logic mệnh đề logic báo cáo hợp chất xây dựng từ báo cáo đơn giản cách sử dụng gọi connectives Boolean Một số ứng dụng khoa học máy tính: Thiết kế mạch ... Nguyễn Minh Trung ‘s slides Tốn rời rạc, Ts Trần Ngọc Hội http://kinhhoa.violet.vn CƠ SỞ LOGIC Logic tốn học cơng cụ để làm việc với báo cáo hợp chất phức tạp Nó bao gồm: Một ngơ...

Ngày tải lên: 25/07/2014, 13:10

... Chú : Với toán chứng minh tính chất phần tử tập xây dựng theo quy nạp, ta làm tương tự Bài toán với tập công thức xây dựng trường hợp riêng thường gặp VÀI CHÚ : Chú ý trang 2 9: điều kiện :  ... luật (=i ): không cần suy t=t Giải thích luật (=e ): t1=t2, Φ*t1\t+ Φ*t2\t+ với Φ công thức Giải thích luật (∀xe ): ∀xΦ phải với giá trị t cụ thể tức Φ*t\x+ Giải thích luật (∀...

Ngày tải lên: 27/07/2014, 15:20

... sử (∃xi) ( e) 5,2 RAA 4-6 (∀xi) 3-7 ( e) 8,1 RAA 2 ,9   106 Slide 5. 9: Trường hợp 1a Trường hợp 1a: ∀xΦ┤ ∃x Φ ├   Chứng minh phải sang trái: ∃x Φ Tiền đề ∀xΦ Giả sử x0 Φ*x0/x] (∀xe) ⊥ ( e) ... M ⊨l Ψ2 thoả mãn M ⊨l Ψ1 thoả mãn 116 Slide 5.1 9: Ví dụ Ví d : Giả s : F={alma} (alma hằng), P={loves} (loves vị từ ngôi), M mô hình xác định bởi: (1) tập A={a,b,c}; (2) alma giải nghĩa...

Ngày tải lên: 27/07/2014, 15:20

... Slide 4.2 5: Mở rộng quy tắc cho logic vị t : Quy tắc chứng minh với lượng từ toàn th : x ∀x: [t / x] (xe) (∀ xi) Những quy tắc sinh từ luật ∧ Chú ý với luật (∀xi ): luật này, hộp bắt ... từ tồn tại) t  t [t / x] ( e) [t / x] =: t t ( i ) ∀x: x (xe ) [t / x] ∃x: [t / x] (xi ) x (∀ xi) (∃xe) 100 Slide 5. 3: Ví d : Ví dụ 1: ∀x(Q(x)→R(x)), ∃x(P(x)∧Q(x)...

Ngày tải lên: 27/07/2014, 15:20

... gồm: logic trực giác, logic hẹp, logic hình thức, logic thời gian, logic tin tưởng, logic động học, logic Hoare, logic đặc biệt, logic xác định, logic bậc cao, logic chùm, logic thay thế,…một số ... loại logic (phép tính vị từ logic bậc cổ điển) nhiều trường hợp đóng với ngôn ngữ tự nhiên- giống khoa học máy tính hay triết học-, vấn đề mâu thuẫn : có nhiều loại...

Ngày tải lên: 27/07/2014, 15:20

... ta viết: t :: = x|c|f(t,t,…t) với x biến, c∈C, f∈F hàm n 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức (F,P) xác định cách quy nạp việc sử dụng tập term F sau:  Nếu ... đầy đ : Φ1, Φ2,…, Φn├ Ψ Φ1, Φ2,…, Φn⊨ Ψ 74 Slide 4. 7: Logic vị từ dạng ngôn ngữ Có thành phần:  Những đối tượng: chúng miêu tả terms, ví d : riêng biệt a, p hay sử dụng kí hi...

Ngày tải lên: 27/07/2014, 15:20

... sau: X1 X2 Bα(X1, X2) 1 1 0 0 0 54 Trang 1 5: Những hàm Boolean nhận Tổng quát, giả sử α wff có kí hiệu mệnh đề bao gồm A1n ,…, An Chúng ta xác định hàm Boolean n B Hàm Boolean thực α sau: n ... wff, có tồn tương đương wff dạng chuẩn tắc tuyển (DNF) 59 Trang 2 0: Tính đầy đủ liên từ mệnh đ : Ví d : Cho G hàm Boolean ngội xác định sau: G(0,0,0)=0 G(0,0,1)=1 G(0,1,0)=1 G(0,1,1)=0...

Ngày tải lên: 27/07/2014, 15:20

... Luật De Morgan:   (A∧B)↔(  A∨  B)   (A∨B)↔(  A∧  B) 51 Trang 1 2: Thêm số hằng… Luật kéo theo:  (A→B)↔(  A∨B) Luật loại tr :  A∨  A Luật mâu thuẫn:   (A∧  A) Luật phản đảo:  (A→B)↔( ... LECTURE (từ trang đến trang 28) 43 Trang 4: Cú pháp ngữ nghĩa Tập công thức xây dựng W:  U= tất biểu thức  B={A1,A2,A3,… F={ ℰ  , ℰ∧,ℰ∨,ℰ→,ℰ↔} Cho phép gán v: B→{0,1} với kí hiệu m...

Ngày tải lên: 27/07/2014, 15:20

... ( h (x1),…, h (xn)) 29 Trang 3 0: Đệ quy Cho C tập sinh tự từ B F, Chứng minh rằng: h: B→V f :Vn→V với f: Un→U F xác định hàm h : C→V Chứng minh vắn tắt: Một hàm g: D→E gọi chấp nhận D⊂ C, E⊂ ... đầu thực từ phần tử Vậy, B⊂ S 32 Trang 3 3: Logic mệnh đ : ngữ nghĩa Chứng minh tiếp tục: Để CM: S đóng ℰ∧, giả sử α, β∈ S xem xét dãy khởi đầu thực ℰ∧(α,β) Có khả sau: ( (α0 , với...

Ngày tải lên: 27/07/2014, 15:20

... Trường hợp s : Chúng ta phải chứng minh B⊂ S Nhớ lại B tập bao gồm kí hiệu mệnh đề đơn Nên rõ ràng với biểu thức th : l(α)=r(α)=0 24 Trang 2 5: Logic mệnh đ : WFF’S Trường hợp quy nạp: Chúng ta ... n(n  1) với tất số tự nhiên n 22 Trang 2 3: Logic mệnh đ : biểu thức xây dựng Chúng ta sử dụng hình thức định nghĩa quy nạp để xác định tập công thức xây dựng logic m...

Ngày tải lên: 27/07/2014, 15:20

... n +1 12 Trang 1 3: Ví d : n P(n) giả thiết  i  i 0 n(n  1) Trường hợp s :  i  i 0 0(0  1) k Trường hợp quy nạp: giả sử P(k ):  i  i 0 k (k  1) Thì k 1 k i 0 i 0  i   i  (k  1) ... đề : cú pháp Bảng chữ cái:  Những kí hiệu liên từ mệnh đ :  , , ,  ,   Những kí hiệu logic:  , , ,  ,  ,(,)  Những tham số hay kí hiệu phi logic: A1, A2, A3,…...

Ngày tải lên: 27/07/2014, 15:20

... -Thế bất phơng trình bậc ẩn? -Nêu hai quy tắc biến đổi bất phơng trình -Bất phơng trình sau bất phơng trình bậc ẩn? a) x b) 2y c) 0x + d) 2x - < e) x2 2x > Định nghiã :Bất phơng trình dạng:ax ... < 8x 5? 1) 4x + 19 < 8x - 2) - 4x < - 24 3) Vậy nghiệm bất phơng trình x > 4) 4x 8x < - - 19 5) x > a) Ví dụ 1: Các bớc chủ yếu để giải bất ph ơng trình đa đợc dạng b...

Ngày tải lên: 17/09/2014, 17:42

... Tổng quan • • • • • • Logic bậc (First Order Logic) Cú pháp ngữ nghĩa Các lượng từ Hợp giải với logic vị từ Phép Thuật giải đồng Tại sử dụng logic bậc nhất? • Logic mệnh đề xử lý kiện, có ... Sinh-viên(x,CNTT) → Thông-minh(x) có không sinh viên CNTT! 10 Viết FOL • Mèo động vật có vú [Mèo1, Động-vật-có-vú1] ∀x.Mèo(x) → Động-vật-có-vú(x) • Lan sinh viên học giỏi [Sinh-viên1, Họ...

Ngày tải lên: 18/10/2015, 23:18