Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
PHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trê Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang ên mệnh đề1Mệnh đềTrong Tiếng Việt (và các ngôn ngừ khác) có những câu - thường là câu tường thuật - mỏ tã sự vật và hiện tượng. Có nhũng càu mô tà đúng, cũng có nhưng càu mó tá sai str vật và hiên tượng. Nlnhig câu như thế. cã câu đúng và câu sai. được gọi lã mệnh đề1. Ví dụ. các câu sau:(a)Nam lã Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang sinh viên;(b)Khi hậu trái đất đang nòng dằn lên:(c)Bạn có thê that vọng khi bị that bại nhưng bạn sè không là gi cả nếu không nỏ lực hết mình (BeverỉyLogic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
Silis);(d)Neu người vợ dẹp mà không phái là thiên thần thì người chồng vó cùng bất hạnh (J.J. Rousseau);là các mệnh đẻ.Không phai câu nào cùng hoặc đPHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trê Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang inh là đúng hay sai. Chảng hạn. câu “TÒI nói doi” không thẻ lã đúng, nhưng cũng không sai Những câu không đúng, không sai như thế không phái là mệnh dề.Các mệnh đề không the tách ra thành các mệnh để đơn giãn hon gọi lã mệnh đề đơn. Các mệnh đề có thê tách thành các mệnh để đơn giãn hon gọi là mệnh Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang đe phức. NÓI cách khác, mệnh đề phức đươc tạo thành từ các mệnh đề đon Các mệnh đề ta) và tb) tiên đây là mệnh đề đơn. còn (c), (d) lã các mệnh đẻ phứLogic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
c.2Các phép toán logic trên mệnh (lềNhư trẽn kia đã nói. có thể xây dụng các mệnh đề phức tap từ những mệnh đề đơn giãn hơn. Việc này thực hiện được nPHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trê Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang nhiên một mệnh dề nào dó có thè bi phu định băng nhiều cách khác nhau, ờ đây ta chi phú đinh một mệnh đề băng một cách duy nhất, băng cách đặt dẫu -? tnrớc mệnh đe đó. Nếu A là một mệnh đe. thi — A là phũ định cùa mệnh đề A.Phép toán phu định dươc định nglrìa băng báng chán lý sau:Phu địnhA—A1 Mệnh Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang đẻ vã cảu. xét nghiêm ngặt, khác nhau. Nhưng trong chương trinh nảy. để cho đơn gian, chủng tói đòng nhát mệnh đẻ với cảu tưởng thuật.1Các chừ cãi i vLogic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
à F ớ đây du các giá trị chăn lý "đủng” (True) và "sai” (False) tương úng. Trong hãng trẽn, nêu A đủng thi phủ định của nó, ,/Ẹ sai. và ngược Lại. nêuPHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trê Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang ý hiệu bang .1 Ã' B. Bâng chân lý định nghĩa phép hội như san (xem bang). Mệỉih đẽ .4 c<- B đúug klu vả du khi .4 đúng vã B đúng. Các mệnh đề A vã B được gọi lá các thành phẩn hên kẽl cua mệnh đẽ .4 B.HộiTuyên không nghiêm ngặtTuyên nghiêm ngặtAB.4 <£- B0.4BA vBABAvBTTTTTTTTFTFFTFTTFTFTFFTTFTTFFFFFF Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang FFFLựa chọn lã phép tinh phô biến tlúr ba trẽn mệnh đề. Người ta còn gọi nó lã phép tuyên. Trong tiếng Việt phép toán này thường được biếu thi bàng từLogic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
“hoặc”, “hoặc Là”, “hay”, “hay là”. Lựa chọn có thẻ được hiểu theo hai nghĩa khác nhau. Trong nghĩa thử nhat hoặc B” (ký hiệu lã .4 vB} được hiên Là PHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trê Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang .4 đúng. B sai. hoặc là khi .4 sai. B dứng. Nghĩa thứ nhất là phép tuyền không nghiêm ngặt, phép tuyển ugỉúéiu ngặt ứng với nglùa thứ hai. Phcp tuyên nghiêm ngặt được ký hiệu là V . Bang cliâu lý của phép tuyên không nghiêm ngặt và nghiêm ngặt dược dan ở trên.Kéo theo lá một phép toán hai ngôi được Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang định nghía bang bang châu lý quan trọng nừa trêu các mệnh đẽ. Với các mệnh đè A vã B phép loàn này cho phép lạo nêu mệnh đẽ .4 _>B. Nghĩa ctìa mệnh dLogic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
ề này là "Neu .1 thi B", hay là “d kéo theo B". Nghĩa này không dược xác định rò láng trong nhùng úng dụng thõng thướng. la du biết lăng “.4 kẽo theo PHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trê Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang .. “."Khi nào ... thì ... “Bao giờ ... thì ... ”... llũ ...” vã mộl so cụm lứ khác. Ví dụ. các câu “Nen không bao vệ mõi nường ngay tử bây gió thi loài nguôi sè không có lương lai" ; “Chuồn chuồn bay thấp llũ mưa"; “Có nước thi có cá”; "Bao giờ chạch dẽ ngọn da. sáo dè dưới nước thì ta lay mình” ... Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang biêu dạt các mệnh dề dạng kéo theo. Trong ngôn ngừ thõng thường, vã cà trong các suy luận toán học hoặc các khoa học khác, nghía của cụm lir ‘‘nếu ..Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang
. thi ...” và các cụm tữ khác diên đạt phép kéo theo được2lũều phụ thuộc vào vãn cảnh. Câu "Neu A thi B" trong tiếng Việt thường biêu thị một mối liênPHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trê Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang . B là kết quá. Nhưng trong logic mệnh đe chùng ta không quan tâm đen mối hên hệ về mặt nội diuig đó. mã chi quan tâm đen mối liên hệ về giá trị chân lý của chúng mã thỏi. Cụ thê là ta sè COI lã "Neu A thi B" chi sai khi A đúng mà B sai. Trong tất cá các trường hợp khác "Nếu A thi B" đúng. Logic chuyên ngành (NXB hồ chí minh 2006) phạm đình nghiệm, 115 trang PHẠM ĐÌNH NGHIỆMLOGIC CHUYÊN NGÀNHGiáo trình dành cho sinh viên ngành triết họcTP. HỒ CHÍ MINH 2006Chương I LOGIC MỆNH ĐẺI. Mệnh đề. Các phép toán trêGọi ngay
Chat zalo
Facebook