TAILIEUCHUNG - Giáo trình Logic học part 10

Tham khảo tài liệu 'giáo trình logic học part 10', khoa học xã hội, tâm lý học phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Phép tính mệnh để Bao gồm đại sô mệnh để và hộ toán mệnh để. Hộ toán logic mệnh để bao hàm đại số làm cơ sỏ. song mở rộng thành hệ thống lập luận logic chính xác và chặt chẽ. Xuất phát từ những tiên để chân thực vận dụng các quy tắc lập luận một cách đúng đắn bằng một số cách biến đổi đại số logic có thể rút ra nhiều kết luận chân thực. Giông như trong toán học thực chất đó là quá trình chứng minh các định lý. Có hai loại toán logic mệnh đề loại suy uận tự nhiên và loại tiên để hóa. Loại hệ toán logic suy luận tự nhiên chang hạn như do H. Genxen Gentzen 1909 1945 xây dựng trong logic mệnh đề cô điển chủ yếu bao gồm các quy tắc suy luận logic sau đây 1. Quy tắc đưa thêm vào phép hội. A B AaB 2. Quy tắc loại trừ phép hội A A B A A B A B 3. Quy tắc đưa thêm vào phép tuyển A A V B 4. Quy tắc loại trừ phép tuyển lA AvB B 306 5. Quỵ tác dưa thêm vào phép kéo theo L. A A_ L I A- B 6. Quy tắc loại trừ phép kéo theo A A - B A 7. Quỵ tắc đưa thêm vào phép phủ định A - B A 1 A- B 1 ì A 8. Quy tắc loại trừ phép phủ định 11 A A Dựa vào các quy tắc suy luận logic này người ta có thể chứng minh nhiều định lý khác nhau chỉ cần một giả thuyết phụ không cần hệ tiên đề. Loại hệ toán logic tiên đề hóa có thể xây dựng theo nhiều cách khác nhau. Thí dụ. trong logic mệnh đề cổ điển người ta đã xây dựng hệ toán logic mệnh dê bảo đảm các yêu cầu siêu logic như tính độc lập của các tiên đề tính phi mâu thuân logic hình thức tính đầy đủ và tính giải được của hệ tiên đề Bao gồm - Các tiên đề 1. A- B- A 2. A - B - A - B - C 1 - A - C 3. A - B - A A B 4. A A B A 5. A A B - B 307 6. A- Av B 7. B- A V B 8. A C B -4 Cl -nAvBw C 9. A B - - A B - I A 10. ll A- A - Các quy tắc lập luận logic 1. Quy tốc thay thế Trong khi thực hiện các phép biến đổi công thức có thê thay thế biến mệnh đê bằng biến mệnh dê hoặc công thức mệnh để bất kỳ Phép thay thê gọi là đúng đắn khi giá trị chân lý của công thức đã được biến dổi bằng giá trị chân lý của công thức xuất phát. 2. Quy tắc rút kết luận logic P- Q p

• Tâm lý học
• Giáo trình Logic học
• bài giảng Logic học
• tài liệu Logic học
• đề cương Logic học
• bài tập Logic học
• Logic học đại cương
• Giáo trình logic học đại cương
• Nhập môn Logic
• Nhiệm vụ của logic học
• Logic họcc hình thức
• Logic học biện chứng
• Logic học duy tâm
• Khoa học về logic
• Hình thức tư duy
• Hình thức logic
• tài liệu học đại học
• giáo án logic học
• đại cương về logic học
• đặc điểm logic học
• Lịch sử logic học
• Logic hình thức truyền thống
• Logic biện chứng
• Cặp phạm trù logic biện chứng
• logic học
• ôn tập logic học
• logic học cơ bản
• Tài liệu logic học đại cương
• Bài tập logic học đại cương
• Đề cương logic học đại cương
• Nghiên cứu logic học
• Bải giảng logic học
• Khoa học tư duy
• Thế giới khách quan
• Logic khách quan
• Tổng quan Logic học
• Quy luật tư duy
• Suy luận logic
• Thuật ngữ logic học
• Tư duy logic
• Suy luận quy nạp
• thuật ngữ logic
• tư duy và đặc điểm logic
• tài liệu logic
• bài giảng logic
• phương pháp khoa học logic