NHẬP MÔN LOGIC HỌC PHẦN 3 pdf

... khái niệm đơn nhất. Trong logic học truyền thống chỉ có hai loại khái niệm đã nói. Nhưng trong logic học hiện đại (còn gọi là logic toán) khi các phương pháp toán học được sử dụng rất rộng ... liệu logic đã chứa sẵn vòng tròn logic. Thật vậy, những suy luận kiểu này được thực hiện trong khuôn khổ của logic hai giá trị và sử dụng các tính chất của logic đó. Tuy nhiên sở dĩ logic ... trình so 20 John Locke (1 632 -1704) - nhà triết học, nhà khai sáng người Anh - là người đã xây dựng học thuyết kinh nghiệm trong nhận thức luận. 51 Quy tắc 3: Định nghĩa phải rõ ràng,...

NHẬP MÔN LOGIC HỌC PHẦN 8 pdf

... CÁC KHOA HỌC XÃ HỘI VÀ NHÂN VĂN • Khác với phép chứng minh trong toán học và logic học, các phép chứng minh trong các khoa học khác, đặc biệt là các phép chứng minh trong các khoa học xã hội ... trích dịch, NXB TP HCM, 1992, tr.459-461. 3 G. A. Gôlixưn Thông tin - Logic học - Thơ ca, trong sách Toán học trong thi văn, NXB Mir, Moskva, tr .37 . 150 Chương 12 CHỨNG MINH I. ... đề trong toán học hoặc logic học đảm bảo chắc chắn mệnh đề đó đúng, không thể phản bác được, thì phép chứng minh mệnh đề trong các khoa học xã hội và nhân văn (và nhiều khoa học khác) không...

14
1,044
5

NHẬP MÔN LOGIC HỌC PHẦN 1 pptx

... 18 về logic học, nói cách khác, coi toán học là một phần của logic học. Ngược lại, một số nhà toán học khác lại coi logic là một ngành của toán học. Sự phát triển của logic học kể từ Leibniz ... với toán học. Sự liên quan chặt chẽ đó giữa hai ngành logic học và toán học được Russel khắc họa như sau trong cuốn Nhập môn về triết học của toán học của ông: “Toán học và logic học, về ... PHÁT TRIỂN CỦA LOGIC HỌC Với tư cách là một khoa học, logic học ra đời vào thế kỷ IV trước công nguyên. Người sáng lập ra logic học là nhà triết học Hy Lạp vĩ đại Aristote (38 4 - 32 2 tr. CN)....

NHẬP MÔN LOGIC HỌC PHẦN 2 ppt

... viên tin học thì Nam học môn logic. Nam là sinh viên tin học: P(a); Nam học môn logic: Q(a); Liên từ “nếu … thì …”: ⊃ Kết quả: P(a) ⊃ Q(a). Ví dụ 10. Một số sinh viên được học bổng, ... Ví dụ: Trong câu Logic học là một khoa học quy phạm” thì cụm từ “khoa học quy phạm” thể hiện một tính chất của logic học, như vậy nó là một vị từ. Trong câu “5 lớn hơn 3 cụm từ “lớn hơn” ... hành tinh nên có cùng một nghĩa thực; các tên Logic học và Môn khoa học nghiên cứu các hình thức và quy luật của tư duy” chỉ cùng một bộ môn khoa học nên có cùng một nghĩa thực. Trong ngôn...

NHẬP MÔN LOGIC HỌC PHẦN 4 potx

... F F T F F T 31 Ta đang nói về logic cổ điển. Trong một số hệ logic khác (ví dụ, logic relevant) người ta đưa vào các điều kiện để đảm bảo cho giữa phần tiền đề và phần kết luận có mối ... logic được ký hiệu như sau: A & B ký hiệu là A . B , (hoặc AB) gọi là phép nhân logic; A ∨ B ký hiệu là A + B gọi là phép cộng logic; ¬ A ký hiệu là A gọi là phép bù logic; Quy luật logic ... ngược lại. Quan điểm về giá trị chân lý này của phán đoán là do người sáng lập ra môn logic học - nhà triết học cổ đại Hy Lạp Aristote - đưa ra. Aristote viết: “Người nói thật là người nói...

NHẬP MÔN LOGIC HỌC PHẦN 5 doc

... thì gọi là suy luận quy nạp. Ngoài hai loại này còn 93 Ví dụ, phán đoán Một số sinh viên học logic đảo ngược thành Một số người học logic là sinh viên. Trong ví dụ này ta thấy ở phán đoán ... của nó. Phần in nghiêng trên đây là một suy luận. Phần từ đầu đến từ "vì vậy" là tri thức đã biết, đã được thừa nhận, hoặc được giả định, là phần tiền đề. Phần còn lại là phần kết ... cả các quy tắc logic nên nó là suy luận hợp logic. Ngược lại, dù suy luận có tất cả các tiền đề và kết luận đều đúng, nhưng vi phạm các quy tắc logic thì suy luận đó không hợp logic. Chẳng hạn,...

NHẬP MÔN LOGIC HỌC PHẦN 6 docx

... thủ các quy tắc logic của hệ thống, tức là hợp logic là đúng. Vì vậy, với suy luận phức ta có: 43 Ví dụ như các suy luận trong hệ thống logic vị từ, là hệ logic hàm chứa logic mệnh đề. ... từ của các phán đoán đơn là tiền đề hoặc là thành phần của tiền đề phức trong suy luận 43 . Tuy nhiên vì giới hạn của chương trình nhập môn logic và khuôn khổ có hạn của sách này chúng tôi không ... ⊃ ¬ q tiền đề 3. ¬ p giả định 4. q 1, 3, mp 5. ¬ q 2, 3, mp 6. p 4, 5 mâu thuẫn, giả định ¬p sai Chiến lược 3. Để tìm kết luận dạng A & B, tìm từng thành phần A và B riêng rẽ,...

41
1,904
22

NHẬP MÔN LOGIC HỌC PHẦN 7 pptx

... biệt quan trọng trong các khoa học thực nghiệm, chẳng hạn như sinh vật học, vật lý học, hoá học, xã hội học, tâm lý học, … . Ngay cả trong toán học, ngành khoa học bao giờ cũng sử dụng diễn ... học tập của sinh viên Trường Đại học Bách khoa, Quỳnh thu thập dữ liệu về phương pháp học tập của sinh viên Trường Đại học Khoa học Tự nhiên, Quỳnh - Đại học Quốc tế, Hùng - Khoa Kinh tế. ... con X1, X2, X 3 , hơn nữa đã biết A1 là nguyên nhân của X1, A2 là nguyên nhân của X2 , từ đây rút ra kết luận A 3 - phần còn lại, phần dư - là nguyên nhân của X 3 . A1, A2,...

NHẬP MÔN LOGIC HỌC PHẦN 9 docx

... Trần Hoàng, Logic học nhập môn, NXB ĐHQG TP HCM, 20 03. 8. Tô Duy Hợp, Nguyễn Anh Tuấn, Logic học, NXB Đồng Nai, 1998. 9. Bùi Văn Mưa, Nguyễn Ngọc Thu, Giáo trình Nhập môn logic học, NXB ĐHQG ... Trần Hoàng, Logic học nhập môn, NXB ĐHQG TP HCM, 20 03. 8. Tô Duy Hợp, Nguyễn Anh Tuấn, Logic học, NXB Đồng Nai, 1998. 9. Bùi Văn Mưa, Nguyễn Ngọc Thu, Giáo trình Nhập môn logic học, NXB ĐHQG ... mèo phải nhảy đúng 100 bước. Chó nhảy mỗi bước 3 fút, vậy nó phải nhảy 34 bước ở lượt đi (nếu nhảy 33 bước thì mới được 33 * 3 = 99 fút) và 34 bước ở lượt về. Như vậy, chó phải nhảy tổng cộng...

Tài liệu Bài giảng: Nhập môn logic học pdf

... 2 .3. 1. Cu to ca phán đoán phc hp 2 .3. 2. Liên t logic và các phán đoán phc hp c bn 2 .3. 3. Phán đoán đa phc hp 2 .3. 4. Tính đng tr ca phán đoán 2.4. Tình thái ca phán đoán. 3. 1. ... ISP; OSP . 50Phn 3: Các hình thc c bn ca t duy 3. 2.2.4. Tính chu diên ca các thut ng (danh t) logic ca phán đoán. Ngi ta gi ch t logic và v t logic trong phán đoán đn ... nht 33 Phn 3: Các hình thc c bn ca t duy 1.7. Phép đnh ngha đi vi khái nim 1.7.1. Thc cht ca phép đnh ngha khái nim 1.7.2. Các qui tc ca phép đnh ngha 1.7 .3. Các kiu...

Xem thêm