TAILIEUCHUNG - Bài giảng : Logic part 6

Trang 26: Compactness Cho Σ là tập thoả mãn được hữu hạn. Ta mở rộng Σ thành tập ∆ thoả mãn được lớn nhất như sau: Cho α1, , αn, là một tập cố định danh sách tất cả các công thức xây dựng đúng. Tại sao có thể? Tập tất cả các dãy của một tập đếm được là đếm được. T Không khó để chứng minh rằng mọi ∆n là thoả mãn được hữu hạn (bài tập về nhà). Cho ∆ =∪n∆n. Rõ ràng rằng: ⊂ ∆ ∈∆ hoặc αn với mọi wff α và 3.∆ là thoả. | Trang 26 Compactness Cho 1 là tập thoả mãn được hữu hạn. Ta mở rộng 1 thành tập A thoả mãn được lớn nhất như sau Cho ƠI . an . là một tập cố định danh sách tất cả các công thức xây dựng đúng. Tại sao có thể Tập tất cả các dãy của một tập đếm được là đếm được. Thì cho A0 1 An 1 An u ơn 1 AnU . ơn 1 Nếu tập này là thoả mãn được Ngược lại Không khó để chứng minh rằng mọi An là thoả mãn được hữu hạn bài tập về nhà . Cho A u nAn. Rõ ràng rằng A 2. ar A hoặc an với mọi wff a và 3. A là thoả mãn được hữu hạn. 66 Trang 27 Compactness Bây giờ ta chứng minh rằng A là thoả mãn được và vậy nên 1 c A cũng là thoả mãn được . Xác định một phép gán v như sau. Với mỗi kí hiệu mệnh đề Ai v Ai 1 khi và chỉ khi Ap A Ta khẳng định rằng mọi công thức wff a v thoả mãn a khi và chỉ khi ar A. Ta chứng minh bằng quy nạp trên các công thức xây dựng đúng. Trường hợp cơ sở Dan đến từ định nghĩa của v. Trường hợp quy nạp Ta sẽ xem xét một trường hợp. Giả sử a p Ay. Thì V a 1 khi và chỉ khi cả hai V P 1 và V y 1 khi và chỉ khi pr Avà Yr A. Bây giờ nếu cả hai p và y thuộc A thì từ P y a là không thoả mãn được ta phải có a EA. Tương tự nếu một trong hai p và y không thuộc A thì phủ định của nó phải thuộc A nên aỂA. 67 Trang 28 Compactness Hệ quả Nếu Z a thì có một tập hữu hạn I0d để Z a. Chứng minh Giả sử rằng Z avới mọi tập hữu hạn I0d. Thì Z0 u a là thoả mãn được với mọi I0d. Nên theo định lí compactness z u a là thoả mãn được trái với giả thiết z a. .

• 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 Độ