tailieunhanh - Bài giảng : Logic part 10

PHƯƠNG PHÁP CHỨNG MINH HAY ÁP DỤNG: Nguyên lí quy nạp mà ta rút ra được ở trang 21 lecture 1 có { nghĩa rất quan trọng. Đối với chúng ta, thì sau khi học xong nguyên lí này sẽ rút ra được phương pháp chứng minh một dạng bài toán rất hay gặp ở môn logic này : Đó là chứng minh một tập công thức xây dựng đúng wff thỏa mãn một tính chất nào đó. Từ nguyên lí quy nạp, ta sẽ rút ra hướng giải quyết như sau: Với : U= tập tất cả các. | Slide Ngữ nghĩa Định nghĩa Cho 01 _ Qn là các công thức logic vị từ. Thì quan hệ thứ tự 01 _ 0n ụ thoả mãn nếu và chỉ nếu khi M loi với 1 i n thì M 1 với tất cả các mô hình M và môi trường l. 118 PHỤ LỤC 119 1 PHƯƠNG PHÁP CHỨNG MINH HAY ÁP DỤNG Nguyên lí quy nạp mà ta rút ra được ở trang 21 lecture 1 có ý nghĩa rất quan trọng. Đối với chúng ta thì sau khi học xong nguyên lí này sẽ rút ra được phương pháp chứng minh một dạng bài toán rất hay gặp ở môn logic này Đó là chứng minh một tập công thức xây dựng đúng wff thỏa mãn một tính chất nào đó. Từ nguyên lí quy nạp ta sẽ rút ra hướng giải quyết như sau Với U tập tất cả các biểu thức B tập những biể u thức gồm các kí hiệu mệnh đề đơn. F 8_ 8a 8v 8_ 8. Từ tập wff s W là sinh ra tự do từ B bởi F ta sẽ đặt một tập S là một tập tất cả các biể u thức thoả mãn tính chất như đề bài yêu cầu. Khi đó ta đi chứng minh BcS thường thì đề sẽ cho luôn hoặc rất dễ nhận ra . Ta chứng minh S đóng trên F - Ta đi chứng minh với aeS thì qua phép biến đổi 8 _ a biểu thức đạt được vẫn phải thoả mãn 8 _ a E S tức chứng minh nó vẫn thoả mãn giả thiết đã đặt ra . Thì S đóng dưới hàm 8 _. - Tiếp theo ta đi chứng minh với a 0GS thì qua phép biến đổi 8A a P 8v a P 8 . a P 8. . a P các biểu thức mới đạt được này vẫn phải thuộc S. Nếu việc chứng minh với mỗi hàm này quá phức tạp ta có thể lấy một trường hợp đại diện để chứng minh còn các trường hợp còn lại sẽ tương tự. Khi đó ta có thể kết luận là S là tập quy nạp được. Nên theo nguyên lí quy nạp Wc S. Nên tất cả các công thức trong W sẽ thoả mãn các tính chất của đề bài. Những bài đã áp dụng phương pháp này các bạn có thể tham khảo để thấy rõ hơn như Chứng minh mọi công thức wff có số ngoặc trái và phải bằng nhau ở trang 24 lecture 1 hay chứng minh bổ đề Mọi dãy khởi đầu thực sự của một wff chứa một số ngoặc vượt quá và dẫn đến nó không là wff ở trang 32 lecture 1. .

• Toán học
• logic học
• tài liệu logic học
• giáo trình logic học
• bải giảng logic học
• đại cương về 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
• bài giảng logic học
• đặc điểm logic học
• Đề cương Logic học
• Học phần Logic học
• Nội dung Logic học
• Mục tiêu Logic học
• Kiến thức Logic học
• Môn Logic học
• Phương pháp chứng minh của Logic học
• Đặc điểm của Logic học
• Nghiên cứu khoa học Logic học
• Phương pháp chứng minh Logic học
• Yêu cầu chứng minh Logic học
• Cấu trúc chứng minh 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
• câu hỏi môn logic học
• bài tập môn logic học
• đề thi môn logic học
• khái niệ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
• Bài giảng Thiết kế mạch logic
• Thiết kế mạch logic
• Toán logic
• Mạch điện tử
• Mạch logic tổ hợp
• Phân tích mạch logic tổ hợp
• Thiết kế mạch logic tổ hợp
• Mạch số học
• Bài giảng Nhập môn Logic
• Logic học hình thức
• Khoa học vê logic
• Thế giới khách quan
• Logic khách quan
• Logic hình thức của Arixtốt
• thuật ngữ Logic
• phương pháp của khoa học Logic
• ý nghĩa của Logic học
• Nhập môn logic học
• Các hình thức cơ bản của tư duy logic học
• Hình thức cơ bản của tư duy logic học
• Tư duy logic học
• Quy luật logic
• Luật tư duy logic
• Đề cương ôn tập Logic học
• Bài tập Logic học
• Câu hỏi Logic học
• Các quy luật cơ bản của logic
• Quy luật cơ bản của 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
• Khoa học tư duy
• Logic học Phật giáo Ấn Độ
• Logic học phương Tây
• Suy luận trong logic học Phật giáo Ấn Độ
• Suy luận trong logic học phương Tây
• Lịch sử triết học Phật giáo Ấn Độ