logic mệnh đề toán học

Ngày tải lên: 28/07/2014, 11:01

... Khái niệm mệnh đề đảo, hai mệnh đề tương IV Mệnh đề đảo – Hai mệnh đề tương đương: đương • Mệnh đề Q ⇒ P gọi mệnh đề đảo Vd: Xét mệnh đề: mệnh đề P ⇒ Q P: “ π số vô tỉ” • Mệnh đề đảo mệnh đề không ... không tính chất T ” V CỦNG CỐ Các khái niệm cần nhớ : mệnh đề, phủ đònh mệnh đề, mệnh đề kéo theo, mệnh đề đảo, mệnh đề tương đương Tính sai mệnh đề VI DẶN DÒ - Bài tập SGK tr – 10 - Chuẩn bò 2: ... nguyên” thiết a) Hãy phát biểu mệnh đề • Nếu mệnh đề P ⇒ Q Q ⇒ P P ⇒ Q ta nói P Q mệnh đề tương tương Ký hiệu: b) Phát biểu mệnh đề đảo P ⇔ Q đọc P tương đương Q, P mệnh đề điều kiện cần đủ để có...

Ngày tải lên: 26/06/2013, 01:26

... để mệnh đề P(x) sai C D 10, Lựa chọn phương án Chọn câu trả lời đúng: A B C D Bài làm bạn 1, Cho mệnh đề P: [exists x Q:x^2=2 Phủ định mệnh đề P mệnh đề: Câu trả lời bạn: A B C D 2, Cho mệnh đề ... đường tròn ABC phải tam giác đều” C D 5, Cho mệnh đề P(x, y): “x y số nguyên tố” Và mệnh đề Q(x, y): “x + y số nguyên tố” Lựa chọn phương án Chọn câu trả lời đúng: A Mệnh đề kéo theo tố x, y phân ... mệnh đề kéo theo 6, Trong câu sau, câu mệnh đề chứa biến Chọn câu trả lời đúng: A số nguyên tố B x + y > C 12 chia hết cho D + = 7, Trong mệnh đề sau, mệnh đề đúng? Chọn câu trả lời đúng: A Số...

Ngày tải lên: 11/07/2014, 02:21

... 5; cho 6; cho cho 11 Bài 12: Chứng rằng: Với hai số dương a,b a + b ≥ ab Bài 13: Xét tính sai mệnh đề: Nếu số tự nhiên chia hết cho 15 chia hết cho Bài 14: Phát biểu chứng minh định lí sau: a)...

Ngày tải lên: 13/07/2014, 03:00

... khoa học - công nghệ đại, logic học (hình thức) phát triển mạnh mẽ dẫn đến hình thành loạt môn logic học đại, logic học mệnh đề, logic học vị từ, logic học đa trị, logic học tình thái, logic học ... hệ thống Logic học theo khác logic toán kết toán học hóa logic Logic toán gì? Logic toán ngành toán học nghiên cứu hệ thống hình thức việc mã hóa khái niệm trực quan đối tượng toán học chang ... LUẬN Sự đời logic mệnh đề đánh dấu bước nhảy vọt phát triển logic học, chuyển từ logic học truyền thống đến logic học đại Sử dụng toàn khái niệm logic mệnh đề kết hợp với khảo sát mệnh đề từ việc...

Ngày tải lên: 23/05/2015, 01:36

... phải mệnh đề T: “x + < 7”  mệnh đề Các phép toán mệnh đề Từ hay nhiều mệnh đề, xây dựng mệnh đề ngày phức tạp nhờ phép toán logic phủ định, hội tuyển sau đây: a Phép phủ định Phủ định mệnh đề ... Toán học cho khoa học máy tính I Logic mệnh đề Định nghĩa Mệnh đề khẳng định có giá trị chân lý xác định (đúng sai vừa vừa sai) Ta thường ký hiệu mệnh đề chữ Latinh hoa P, Q, R,… Nếu P mệnh đề ... Trang Toán học cho khoa học máy tính Từ định lý ta có kết sau: Trong vị từ hàm mệnh đề ta hoán vị hai lượng tử đứng cạnh thì: - Mệnh đề tương đương logic với mệnh đề cũ hai lượng tử loại Mệnh đề...

Ngày tải lên: 23/05/2015, 01:36

... MÔN TOÁN CHO KHOA HỌC MÁY TÍNH Logic mệnh đề - Logic vị từ GVHD: P.GS-TS NGUYỄN PHI KHỨ 1.Giới thiệu mệnh đề: Logic toán phân nhán logic học, sở cho ngành toán học Và theo logic toán mệnh đề, ... chân trị mệnh đề sai.” Theo quy ước ta dễ dàng suy luật sau logic mệnh đề: Luật trùng: mệnh đề phải hoặc sai, mệnh đề không không sai Luật mâu thuẫn: mệnh đề vừa vừa sai 2 .Mệnh đề câu: Mệnh đề câu ... báo cáo xin phép giới thiệu loại logic lĩnh vực logic toán học logic mệnh đề (proposition logic) logic vị từ (predicate logic) CHƯƠNG I: LOGIC MỆNH ĐỀ (PROPOSITION LOGIC) Ngô Hoàng Lê Minh - K8...

Ngày tải lên: 23/05/2015, 01:37

... phải mệnh đề Các mệnh đề khơng thể tách thành mệnh đề đơn giản gọi mệnh đề đơn Cácmệnh đề tách thành mệnh đề đơn giản gọi mệnh đề phức Nói cách khác ,mệnh đề phức tạo thành từ mệnh đề đơn Các mệnh ... đề đơn Các mệnh đề (a) (b) mệnh đề ơn, (c), (d) mệnh đề phức Các phép tốn logic mệnh đề Như nói, xây dựng mệnh đề phức tạp từ mệnh đề đơn giản Việc thực nhờ phép tốn (tốn tử) logic Phủ định phép ... giản mệnh đề Đó phép tốn ngơi Mặc dầu ngơn ngữ tự nhiên mệnh đề bị phủ định nhiều cách khác nhau, ta phủ định mệnh đề cách nhất, cách đặt dấu ¬ trước mệnh đề Nếu A mệnh đề, ¬ A phủ định mệnh đề...

Ngày tải lên: 23/05/2015, 01:38

... Mệnh đề mệnh đề phức hợp, tạo từ hai mệnh đề sơ cấp nối với liên từ “và” Giá trị chân lý mệnh đề phức hợp Các phép toán mệnh đề 3.1 Phép phủ định Phủ định mệnh đề mệnh đề, nhận giá trị mệnh đề ... Tiểu luận Môn Toán học cho khoa học máy tính GVHD: PGS.TS Nguyễn Phi Khứ CHƯƠNG I MỘT SỐ VẤN ĐỀ CƠ BẢN VỀ LOGIC MỆNH ĐỀ, LOGIC VỊ TỪ VÀ LOGIC MỜ I LOGIC MỆNH ĐỀ Khái niệm mệnh đề Mệnh đề phát biểu ... chia hết cho 3” Khi với n= mệnh đề sai, n= mệnh đề sai, n= mệnh đề sai, n= mệnh đề 3.4 Phép cộng XOR Cho A B hai mệnh đề, liên kết A XOR B mệnh đề nhận giá trị hai mệnh đề cho đúng, kí hiệu A⊕B...

Ngày tải lên: 23/05/2015, 01:39

... lớp học có 40 học sinh, có 15 em học môn Toán, 16 em học môn Văn 17 em học môn Tiếng Anh Có em học hai môn Văn Toán, em học hai môn Toán Anh, em học hai môn Văn Anh, em học ba môn Hỏi có học ... Anh, em học hai môn Văn Anh, em học ba môn Hỏi có học sinh học môn Toán? Chỉ học môn Văn? Chỉ học môn Anh? Không học môn nào? Hướng dẫn học nhà: Nhiệm vụ 1: Hiểu − Khái niệm tập hợp, phần tử tập ... quan hệ 23 − Vận dụng kiến thức quan hệ toán học − Các quan hệ tương đương thứ tự Thái độ: − Chủ động tìm tòi, phát khám phá ứng dụng lí tập hợp toán dạy học toán 2.Chuẩn bị - Giảng viên: Giáo trình,...

Ngày tải lên: 20/03/2014, 03:58

Ngày tải lên: 12/09/2012, 16:21

... 2t + a = 2(t + t ) 2t + 2t + + a = 0(3) / a = 2a (1) có nghiệm / = 2a a 2 Bài toán : Giải phơng trình : x x + = (2 x 1) x x + Đặt t = x x + ta có : t x = (2 x 1)t Coi phơng ... x + 1) t = 1, t = x x x + = Do 8x 6x + = x Hai phơng trình vô nghiệm (1) vô nghiệm Bài toán :Tìm a để phơng trình : x + = (3 2a) x + x + a có nghiệm Nhận xét : x + > 0.x Nên ta bình ... x x x + x + a + = 0(3) (1) có nghiệm (2), (3) co nghiệm a = 4a + = a a Bài toán : Giải phơng trình : x 2 x x + = 0(1) Đặt a = Khi (1) trở thành : x 2ax x + a a = a...

Ngày tải lên: 23/07/2013, 01:25

... Trí tuệ nhân tạo – logic mệnh đề Hà Nội 11-2008 Nội dung I – Tổng quan II – Logic Mệnh đề – Biểu diễn tri thức – Cú pháp ngữ nghĩa logic mệnh đề a – Cú pháp b – Ngữ nghĩa – Dạng ... quan trọng logic Vậy logic mệnh đề gì?: nhánh triết học toán học nghiên cứu nguyên tắc, phương pháp tiêu chuẩn hình thức cho hợp lệ suy luân kiến thức Là khoa học ước lượng suy luận, luật logic xác ... thức Cú pháp logic mệnh đề bao gồm tập ký hiệu tập luật xây dựng công thức Các ký hiệu - Hai logic True False - Các ký hiệu mệnh đề (còn gọi biến mệnh đề) : P, Q, - Các kết nối logic ∧, ∨, ,...

Ngày tải lên: 07/08/2013, 12:01

... đề tơng đơng): Cho hai mệnh đề P Q Mệnh đề dạng " P Q" đợc gọi mệnh đề tơng đơng kí hiệu P Q Chú ý: Mệnh đề P Q đợc đọc "P Q" Mệnh đề P Q hai mệnh đề P Q sai Mệnh đề P Q có nghĩa hai mệnh ... Phát biểu mệnh đề "x R, P(x)" Mệnh đề hay sai ? 6.3 Mệnh đề phủ định mệnh đề có chứa kí hiệu Mệnh đề phủ định mệnh đề "x R, P(x)" "x R, P ( x ) " Thí dụ 6: Mệnh đề phủ định mệnh đề "x R, ... lí thuyết mệnh đề Định nghĩa (Mệnh đề) : Mệnh đề câu khẳng định (khi đợc gọi mệnh đề đúng) câu khẳng định sai (khi đợc gọi mệnh đề sai) Định nghĩa (Mệnh đề phủ định): Cho mệnh đề P Mệnh đề "không...

Ngày tải lên: 20/08/2013, 09:12

... AMBN biết M nằm đường thẳng d Câu ( điểm ) Cho a > 0, b > 0, c > Chứng minh : ĐỀ THI THỬ ĐẠI HỌC ĐỢT - KHỐI CHUYÊN TOÁN - ĐHKHTN ĐHQGHN Năm 2008 : Câu ( điểm) Khảo sát vẽ đồ thị (C) hàm số y =...

Ngày tải lên: 21/08/2013, 08:10

... tính nhẩm a.3) Thái độ: Học sinh thấy cần thiết lợi ích việc tính nhẩm ngày yêu thích toán học B) Chuẩn bò: Giáo viên: Bộ sách giáo khoa Toán trung học sở tài liệu liên quan Học sinh: Máy tính bỏ ... máy tính tay học sinh , lâu dần em tính nhẩm dù cộng hai số nhỏ em sử dụng máy tính tay ,khi gặp tóan tính cộng, trừ ,nhân, chia điều mà em nghó tới cầm máy bấm nút Vì chọn chuyên đề “ số phương ... số phương pháp giúp học sinh tính nhẩm “ nhằm khắc phục phần hạn chế nói đồng thời làm cho trí não thêm động sáng tạo TRƯỜNG THCS LÊ QUÝ ĐÔN A) Mục tiêu: a.1) Kiến thức: Học sinh biết cách tính...

Ngày tải lên: 17/09/2013, 08:10

... Nhập môn Số Học Thuật Toán – Hà Huy Khoái – NXB KHKT 1997 2) Giáo trình Đại Số II – Jean Marie Monier – NXBGD 3) Một số đề thi từ Internet 4) Một số chuyên đề toán chọn lọc bồi dưỡng học sinh giỏi-Trường ... (p-1)3  thông qua mệnh đề tổng quát sau (xem c/m đònh lí phần IV) Cho (a, p) = 1, n ∈ N* thoả n/p-1 phương trình đồng dư xn ≡ a (mod p) có p −1 p −1 nghiệm ⇔ a n ≡ (mod p) Theo mệnh đề trên: x ≡ (mod ... MOD P Kha Tuấn Minh-12 Toán < Wherever there is a number, there is beauty > Proclus Diadochus I M đ u : Vấn đề tập hợp số k – phương (mod p ); p số nguyên tố; nhà toán học nghiên cứu từ lâu (...

Ngày tải lên: 17/10/2013, 14:15

... Năm học 2009 - 2010 Tuyển chọn đề thi học sinh giỏi Toán Chứng minh rằng: a1 + a2 + + a 2009 < 2008 2008 2010 Hết Kì thi chọ học sinh giỏi lớp THCS Sở giáo dục ... 1) + 3.4 ( ) + + x ( x + 1) ( x + ) ( x 1) I 0,25 0,25 0,25 Tuyển chọn đề thi học sinh giỏi Toán Năm học 2009 - 2010 2008 = + 1.2.3 1.2.3 + 2.3.4 2.3.4 3.4.5 ( x 1) x ( x + 1) ... b (d) 0,75điểm y x A, B (d) nên = m (m 1) 0,25 0,25 0,25 0,25 0,25 Tuyển chọn đề thi học sinh giỏi Toán Năm học 2009 - 2010 2008 x m m my + y = x y(1 m) = x m m y= x 1m 1m Gọi phơng...

Ngày tải lên: 22/10/2013, 12:11

Ngày tải lên: 25/10/2013, 02:20

... ngẫu nhau) B5 : Xây dựng mệnh đề cách tuyển cặp mệnh đề danh sách mệnh đề bước Nếu mệnh đề có biến mệnh đề đối ngẫu biến loại bỏ Ví dụ : &#p ∨ ¬ q ∨ ¬ r ∨ s ∨ q Hai mệnh đề ¬ q, q đối ngẫu nên ... hai mệnh đề vừa tuyển danh sách mệnh đề mệnh đề Ví dụ : { p ∨ ¬ q , ¬ r ∨ s ∨ q , w ∨ r, s ∨ q } ⇒ { p ∨ ¬ r ∨ s , w ∨ r, s ∨ q } B7 : Nếu không xây dựng thêm mệnh đề danh sách mệnh đề mệnh đề ... mệnh đề (chọn hai mệnh đề có biến đối ngẫu) Chọn hai mệnh đề đầu : ¬ p∨q∨¬q∨r⇒¬p∨r Danh sách mệnh đề thành : {¬ p ∨ r , ¬ r ∨ s, ¬ u ∨ ¬ s, p, u } Vẫn chưa có mệnh đề đối ngẫu Tuyển hai cặp mệnh...

Ngày tải lên: 25/10/2013, 02:20