Logic học đại cương

LOGIC HỌC ĐẠI CƯƠNG (lưu hành nội bộ) oo0oo-I Hình vng logic A khơng ĐÚNG với E (nếu sai -> KXĐ) I không SAI với O (nếu -> KXĐ) A MÂU THUẪN với O (nếu A sai -> O ngược lại) E MÂU THUẪN với I (nếu E sai -> I ngược lại) Ví dụ: Cho phán đốn A Hãy suy phán đốn cịn lại hình vng logic Cách trình bày: A: Đ => O: S => I: Đ => E: S Giải thích (thích trình bày thêm, khơng thơi giảng viên họ thông minh): A => O sai A mâu thuẫn với O Vì O sai => I I khơng sai với O A => E sai A khơng với E Mối quan hệ không đúng/ sai mối quan hệ chiều Tức là: A: Đ => E: S A: S => E: KXĐ Không suy ngược lại, dựa vào đề để phân tích phán đốn (Nói cho dễ hiểu giống tình cảm em dành cho crush Em thích nó, khơng thích em Em khơng thích chưa thích em ) Cách làm: - Ln ln suy đoán mối quan hệ mâu thuẫn trước - Áp dụng thần chú: KHÔNG CÙNG ĐÚNG: SAI => KXĐ KHÔNG CÙNG SAI: ĐÚNG => KXĐ Nguyên tắc: A I E O A: Khẳng định – Toàn thể “Tất cả” I: Khẳng định – Bộ phận “Một số” E: Phủ định – Toàn thể “Tất cả” O: Phủ định – Bộ phận “Một số” Ví dụ: A: Tất sinh viên Đoàn viên I: Một số sinh viên Đoàn viên E: Tất sinh viên khơng Đồn viên O: Một số sinh viên khơng Đồn viên Bài tập ví dụ: 1) Cho phán đốn sau Hãy suy phán đốn cịn lại hình vng logic A: Đ => … E: Đ => … I: Đ => … O: Đ => … A: S: => … E: S => … I: S => … O: S => … 2) Cho phán đoán sau: “Tất bệnh nhân COVID – 19 phải cách ly tập trung” Xác định phán đốn phán đốn gì? Xác định giá trị giá trị phán đốn cịn lại hình vng logic Cách làm: Xác định phán đoán đề bài: - Phán đoán A: khẳng định – tồn thể (do có chữ “tất cả”, “phải”) Chia phán đoán A thành trường hợp: - TH1: Nếu A đúng… - TH2: Nếu A sai… II Quan hệ khái niệm Quan hệ đồng Sơ đồ Venn:  Ví dụ: Màu cam: Hà Nội Màu tím: Thủ VN Quan hệ bao hàm Sơ đồ Venn: Ví dụ: Màu cam: sinh viên khoa TV - TTH Màu tím: sinh viên trường ĐH KHXH&NV – ĐH QGTPHCM Quan hệ phụ thuộc Sẽ có khái niệm ngang hàng bao hàm khái niệm thứ Sơ đồ Venn: Ví dụ: Màu xanh: Mác Màu cam: Logic học Màu tím: Mơn học đại cương Quan hệ giao Sơ đồ Venn: Ví dụ: Màu cam: Ca sĩ Màu tím: Sinh viên Màu nâu: có ca sĩ sinh viên Quan hệ mâu thuẫn Tổng khái niệm vừa khái niệm thứ Sơ đồ Venn: Ví dụ: Màu cam: Nam ca sĩ Màu tím: Nữ ca sĩ Quan hệ đối chọi Tổng khái niệm phần khái niệm thứ Sơ đồ Venn: Ví dụ: Màu cam: Thành tích học tập giỏi Màu tím: Thành tích học tập Màu xanh: Thành tích học tập Bài tập ví dụ: Thể mối quan hệ khái niệm sau sơ đồ Venn: 1) Thành tích học tập Thành tích học tập tốt Thành tích học tập Sinh viên 2) Pepsi Nước uống có gas Bartender Quán bar III Tam đoạn luận đơn Hình 1: Hình Z ngược Hình 2: Bên phải trước M P P M S M S M S P S P Hình 3: Bên trái trước Hình 4: Hình Z M P P M M S M S S P S P - M điểm giao đường thẳng - KĐR P/S (P nằm S) - Kết luận S/P Nguyên tắc tam đoạn luận đơn : Nguyên tắc : - M phải chu diên lần (M phải có dấu cộng « + » lần)  Dấu cộng « + » chu diên  Dấu trừ « - » khơng chu diên Ngun tắc : - P/S không chu diên tiền đề khơng chu diên kết luận (P/S « - » bắt buộc « - » Nếu « + » khơng quan tâm.) Ngun tắc : - Phải có tiền đề phán đốn khẳng định Ngun tắc : - Phải có tiền đề phán đốn tồn thể Ngun tắc : - Nếu có tiền đề phán đốn phủ định kết luận bắt buộc phải phủ định Nguyên tắc : - Nếu có tiền đề phán đốn phận kết luận bắt buộc phải phận Phản chu diên : A + - I - E + + O + Kiểu EIO hợp logic hình Ví dụ: Chứng minh giá trị logic tam đoạn luận đơn kiểu OAO Cách làm: - Vẽ đầy đủ hình dấu - Xem M có dấu cộng chưa - Xem P/S dấu Nếu dấu trừ bắt buộc dấu trừ Nếu dấu cộng khơng quan tâm - Kết luận Bài tập ví dụ: Chúng minh giá trị logic tam đoạn luận đơn kiểu: 1) IAI 2) EAE 3) EIO Cho thuật ngữ Hãy xây dựng tam đoạn luận đơn hợp logic theo hình Xác định kiểu 1) Sinh viên, Đồn viên, Đảng viên 2) Người thành công, người hạnh phúc, người có đam mê Cho tam đoạn luận đơn hợp logic hình Vẽ hình cho ví dụ Tam đoạn luận đơn sau hợp logic không? Tại sao? 1) Mọi loại cá động vật thở mang Mọi loại động vật thở mang sống nước Vậy loại cá động vật sống nước 2) Tất bà mẹ đơn thân khơng có chồng Một số bà mẹ có chồng Vậy số bà mẹ khơng bà mẹ đơn thân Cho tam đoạn luận đơn rút gọn sau: 1) MEP, SAP 2) MEP, SEP Hãy phục hồi tam đoạn luận đơn (dựa vào nguyên tắc tam đoạn luận đơn) Cách làm: Nhìn kết luận: - Nếu kết luận khẳng định tiền đề khẳng định - Nếu kết luận phủ định có tiền đề phủ định - Nếu kết luận toàn thể tiền đề tồn thể - Nếu kết luận phận có tiền đề phận IV Suy luận Ký hiệu: Hội: ^ - Tuyển tương đối: v – sai sai Tuyển tuyệt đối: V – đúng, sai Kéo theo: ‫ ﬤ‬/ => - sai đầu đúng, sau sai Phủ định: ~ - ngược lại (ưu tiên phủ định) Bảng chân trị: 2n Với n số loại chữ có cơng thức Ví dụ: ( ~ P ^ ~ Q ) => ~ R (có loại chữ P, Q, R => n = => 23 = 8) Đ Đ Đ Đ Đ S Đ S Đ Đ S S S Đ Đ S Đ S S S Đ S S S Ưu tiên phủ định Ta có: ( ~ P ^ ~ Q S Đ S S S Đ S S Đ S ) => ~ R Đ Đ S Đ S Đ Đ Đ S S Đ S Đ S Đ Đ S Đ S Đ Đ S Đ S S S Đ Đ S Đ Đ S S S Đ Đ Đ S Đ S Đ Đ S S S Đ Đ S Đ Đ S Đ Đ S KẾT QUẢ (xét cặp màu vàng trước, cặp màu xanh lá)  Công thức vừa vừa sai Vậy công thức không hợp logic Bài tập ví dụ: P => ( ~ R v ~ T ) Bảng ngữ nghĩa: ((~ P ^ ~ Q) => T) => (P v Q) Đ S Đ Đ S Đ S S S S S => Cơng thức có mấu thuẫn Vậy cơng thứ hợp logic Giải thích: Xét từ màu xanh biển đến vàng đến xanh lá, cuối đỏ Nếu không hiểu liên hệ trực tiếp rối Khuyến khích xài bảng chân trị  Thân thắng Bài tập ví dụ: 1) ((( ~ P ^ ~ Q ) => T ) ^ ~ T ) => ( P v Q ) 2) ((( a => ~ b ) ^ ( c => ~ b )) ^ ( a ^ c )) => ~ b 3) (( P ^ Q ^ R ) ^ ( ~ Q ^ ~ R )) => P 4) ((( ~ P => Q ) v ( ~ R => Q ) => ( P v R ) 5) (( ~ P v ~ Q v ~ R ) ^ ( ~P ^ ~ R ) => Q Đưa suy luận sau dạng công thức: 1) Nếu Trung Quốc khẳng định chủ quyền Hoàng Sa, Trường Sa Trung Quốc Trung Quốc phải có đầy đủ chứng phù hợp với Công ước Quốc tế Luật Biển Hiện Trung Quốc khơng có đầy đủ chứng phù hợp với CUQT Luật Biển Vậy Trung Quốc khẳng định chủ quyền Hoàng Sa, Trường Sa bất hợp lý 2) Nếu hiểu bạn đạt điểm cao kì thi Muốn hiểu bạn phải lên lớp nghe giảng phải làm tập đầy đủ Bạn không lên lớp nghe giảng không làm tập đầy đủ Vậy bạn khơng đạt điểm cao kì thi Cách làm: - Chữ “ ” , “ ” dấu “ => ” - Chữ « khơng » , « chưa » , « bất hợp lý »,… dấu « ~ » - Dấu chấm « » dấu « ^ » (Ngoại trừ dấu chấm trước chữ « ») - Trước sau « » mệnh lệnh - Sau phép toán ngoặc đơn V Xác định nội hàm, ngoại diên, thu hẹp, mở rộng, đồng nghĩa phân chia khái niệm - Nội hàm tính chất khái niệm - Ngoại diên tập hợp khái niệm - Mở rộng : Sinh viên -> người học -> người Cái ly -> đồ vật -> vật chất Trung thực -> đức tính tốt -> đức tính Ngụy biện -> hành vi xấu -> hành vi người -> hành vi Kinh tế thị trường -> kinh tế -> hoạt động trao đổi hàng hóa Luật pháp -> văn –> đồ vật -> vật chất - Thu hẹp : Sinh viên -> sinh viên NV -> sinh viên NV năm Trung thực -> trung thực học tập -> không gian lận thi cử - Lĩnh vực, khu vực, thời gian: Ngụy biện -> ngụy biện kinh doanh -> nói dối chất lượng sản phẩm Kinh tế thị trường -> kinh tế thị trường nước -> kinh tế thị trường nước trước năm 1945 Luật pháp -> luật pháp nước -> luật pháp nước trước năm 1945