6 SUY LUẬN với TIỀN đề PHỨC

LOGIC HỌC Khoa Khoa học 9/9/2020 ĐẠI HỌC LUẬT TP.HCM SUY LUẬN VỚI TIỀN ĐỀ LÀ PHÁN ĐOÁN PHỨC 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Yêu cầu giảng Sinh viên nắm định nghĩa suy luận với tiền đề phán đoán phức Sinh viên biết cách xác định dạng thức suy luận với tiền đề phức Sinh viên ứng dụng dạng thức suy luận với tiền đề phán đoán phức vào để giải tập giải trường hợp cụ thể 9/9/2020 Nội dung giảng I Định nghĩa xác định tính sai suy luận với tiền đề phức II Một số dạng thức suy luận với tiền đề phức III Phương pháp sử dụng giả định suy luận IV 9/9/2020 Một số ví dụ ứng dụng ĐẠI HỌC LUẬT TP.HCM I ĐỊNH NGHĨA VÀ XÁC ĐỊNH TÍNH HỢP LOGIC CỦA SUY LUẬN VỚI TIỀN ĐỀ PHỨC 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Định nghĩa Suy luận với tiền đề phán đoán phức (suy luận với tiền đề phức) suy luận có tiền đề phán đoán phức tất tiền đề phán đoán phức Suy luận với tiền đề phức không sử dụng thông tin chứa cấu trúc S – P phán đốn thuộc tính đơn có tiền đề mà quan tâm thông tin chứa liên từ logic kết nối phán đoán đơn thành phán đoán phức 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Suy luận với tiền đề phức  Suy luận diễn dịch Suy luận hợp Logic – tức - kết luận trường hợp mà tất tiền đề 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Xác định tính - sai SL với TĐ PĐP Suy luận với tiền đề phức 9/9/2020 Đúng (Hợp logic) ĐẠI HỌC LUẬT TP.HCM Khi kết luận trường hợp mà tất tiền đề Phương pháp kiểm tra tính hợp logic • Viết tiền đề kết luận dạng cơng thức • Nối tiền đề liên từ logic thích hợp • Dấu & nối phần TĐ, dấu  nối phần KL • Xét cơng thức biểu thị suy luận có (hợp logic hay không) 9/9/2020 ĐẠI HỌC LUẬT TP.HCM II MỘT SỐ DẠNG THỨC SUY LUẬN TỰ NHIÊN VỚI TIỀN ĐỀ PHỨC 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Modus Tollend – De Morgan (A v B )  C , C A&B Nếu đủ vốn có kinh nghiệm kinh doanh có lãi Kinh doanh khơng có lãi Khơng đủ vốn khơng có kinh nghiệm 9/9/2020 ĐẠI HỌC LUẬT TP.HCM III PHƯƠNG PHÁP SỬ DỤNG GIẢ ĐỊNH TRONG SUY LUẬN 9/9/2020 ĐẠI HỌC LUẬT TP.HCM GIẢ ĐỊNH 9/9/2020 Nghịch lý ĐẠI HỌC LUẬT TP.HCM Giả định sai  mệnh đề mâu thuẫn với giả định Ta chứng minh công thức logic sau cách đặt giả định sau: (p & q) ⊃ [(p ⊃ q) v r)] Đ Đ Đ S GIẢ ĐỊNH Đ (1) S S S S MT MT Có nghịch lý  giả định ban đầu SAI  Mệnh đề mâu thuẫn với giả định  Công thức quy luật Logic 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Từ tiền đề ¬ p⊃q, ¬ p ⊃ ¬ q, cần rút p ¬ p⊃q ¬p⊃¬q ¬p q ¬q p 9/9/2020 TIỀN ĐỀ TIỀN ĐỀ GIẢ ĐỊNH 1, – MODUS PONEN 2,3- MODUS PONEN 4, CĨ MÂU THUẪN, VẬY GIẢ ĐỊNH ¬ p LÀ GIẢ ĐỊNH SAI ĐẠI HỌC LUẬT TP.HCM IV VÍ DỤ ỨNG DỤNG 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Suy luận sau hay sai? Vì sao? Nếu anh bắn vào khứ súng lục tương lai bắn anh đại bác Anh bắn vào khứ súng lục Vậy, tương lai bắn anh đại bác 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Suy luận sau hay sai? Vì sao? Nếu người Ai Cập cổ đại khơng có văn minh phát triển cao họ khơng thể xây dựng cơng trình vĩ đại kim tự tháp Người Ai Cập cổ đại xây dựng cơng trình vĩ đại kim tự tháp Vậy họ có văn minh phát triển cao 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Anh : Tôi quê Bắc Ninh, cịn Doan Nghệ An Bình : Tơi quê Bắc ninh, Cúc Tiền Giang Cúc : Tơi q Bắc Ninh, cịn Doan Hà Tây Doan : Tơi q Nghệ An, cịn Em Cần Thơ Khơng có câu trả lời sai hai phần Khơng có hai người quê Hỏi thần bên phải: - Ai ngồi cạnh ngài? Trả lời: Đó thần Nói Dối Hỏi thần ngồi giữa: - Thần Thần gì? Trả lời: Ta Thần Khôn Ngoan! Hỏi thần bên trái: - Ai ngồi cạnh ngài? Trả lời : Đó thần Thật Thà Nhà thông thái khẳng định vị thần thần Hãy cho biết nhà thơng thái suy luận nào? 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Đốn màu Các màu: Xanh đỏ tím vàng nâu cam Giấu viên số (có thể trùng màu), cần đoán viên giấu theo thứ tự Được đoán nhiều lần, Được báo kết số viên màu (Y), vị trí (X) • Xanh đỏ tím vàng YY • Đỏ xanh nâu cam YYYY • Nâu cam xanh đỏ YYYY 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Đoán Màu Xanh Đỏ Nâu Vàng Đỏ 9/9/2020 Đỏ Vàng Cam Xanh Nâu Tím Cam Đỏ Nâu Cam ĐẠI HỌC LUẬT TP.HCM Vàng Nâu Xanh Đỏ Đỏ Y XY XY Y XX Bài tốn mở ổ khóa 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Hai người bạn gặp A nói với B: Anh nhà tóan học, đốn xem tuổi Hãy cho thông tin! B đáp A: Tơi có con, tích tuổi chúng 36 B: Hãy cho thêm thông tin A: Tổng tuổi chúng số cửa sổ nhà đối diện B: Nhìn, nghĩ nói: Hãy cho thêm thông tin! A: Mắt đứa lớn màu xanh Hỏi tuổi chúng? 9/9/2020 ĐẠI HỌC LUẬT TP.HCM BÀI HỌC KẾT THÚC 9/9/2020 ĐẠI HỌC LUẬT TP.HCM ... CỦA SUY LUẬN VỚI TIỀN ĐỀ PHỨC 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Định nghĩa Suy luận với tiền đề phán đoán phức (suy luận với tiền đề phức) suy luận có tiền đề phán đoán phức tất tiền đề phán đốn phức. .. Suy luận với tiền đề phức  Suy luận diễn dịch Suy luận hợp Logic – tức - kết luận trường hợp mà tất tiền đề 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Xác định tính - sai SL với TĐ PĐP Suy luận với tiền đề. . .SUY LUẬN VỚI TIỀN ĐỀ LÀ PHÁN ĐOÁN PHỨC 9/9/2020 ĐẠI HỌC LUẬT TP.HCM Yêu cầu giảng Sinh viên nắm định nghĩa suy luận với tiền đề phán đoán phức Sinh viên biết cách xác định dạng thức suy luận