1. Trang chủ
  2. » Tất cả

CHƯƠNG 3 LOGIC HỌC ĐẠI HỌC CÔNG NGHIỆP TPHCM

25 75 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 25
Dung lượng 562,81 KB

Nội dung

1 Chương 3 Phán đoán 3 1 Phán đoán là gì 3 2 Quan hệ giữa phán đoán và câu 3 3 Phán đoán đơn 3 4 Phán đoán phức 3 5 Điều kiện cần, điều kiện đủ 3 1 Phán đoán là gì • Phán đoán là một hình thức của tư[.]

Chương Phán đốn 3.1 Phán đốn 3.1 Phán đốn • Phán đốn hình thức tư trừu tượng, khái niệm liên kết với theo quy tắc, trật tự định nhằm khẳng định hay phủ định đối tượng 3.2 Quan hệ phán đoán câu 3.3 Phán đoán đơn 3.4 Phán đoán phức • Phán đốn (hay cịn gọi mệnh đề) phát biểu khẳng định tính hay sai đối tượng xác định ký hiệu chữ A, B, C, 3.5 Điều kiện cần, điều kiện đủ • Chân trị phán đoán hay giá trị chân lý phán đoán giá trị hay sai Ví dụ:  Trái Đất quay xung quanh Mặt Trời (Đ)  Chân trị phán đoán ký hiệu Đ hoặc T  Trái Đất khơng có sống (S)  Mơn Logic học có ích cho tư (Đ)?  Chân trị phán đoán sai ký hiệu S hoặc F  Ngày mai trời lại sáng (Đ?S?)  Tơi thật ngốc • Hai phán đốn gọi chúng có giá trị chân lý  Có hai loại phán đốn phán đoán đơn phán đoán phức 3.2 Quan hệ phán đốn câu • Hệ từ từ nối (là, là, thực chất là,…) lượng từ (mọi, tồn tại,…)  Cấu trúc phán đốn • Đơi hệ từ ngầm hiểu • Mỗi phán đốn có phận: Chủ từ, Hệ từ Thuộc từ Ví dụ:  Bạch tuộc khơng phải lồi thú (S khơng phải P)  Ví dụ: Lao động vinh quang • Thuộc từ thuộc tính đối tượng tư tưởng (P),  Trong xã hội tồn kẻ hội (S tồn P) • Hệ từ nối chủ từ với thuộc từ  Anh đẹp trai (S (là) P) • Chủ từ đối tượng tư tưởng (S), 3.2 Quan hệ phán đoán câu 3.2 Quan hệ phán đoán câu  Phán đoán câu  Chú ý • Phán đốn ln diễn đạt câu  Chúng ta học môn Logic học Một câu dù phức tạp đến đâu mà có bao hàm khẳng định hay phủ định chuyển thành phán đốn: • Tuy nhiên, câu chưa phán đoán  Chúng ta học môn Logic học vào tuần tới S P S khơng phải P • Các câu cầu khiến, nghi vấn, cảm thán,… khơng phải phán đốn  Học môn Logic học thật thú vị ! 3.3.1 Phân loại phán đoán đơn theo chất 3.3 Phán đốn đơn  Phán đốn khẳng định • Phán đoán đơn phán đoán tạo thành từ việc liên kết hai khái niệm • Phán đốn khẳng định phán đốn phản ánh rằng: có mối liên hệ chủ từ thuộc từ • Cấu trúc phán đốn đơn có dạng: S P S khơng phải P Ví dụ (S P):  Aristote nhà triết học Hy Lạp  Hải Phòng thành phố Hoa Phượng Đỏ  Logic học khác với Ngôn ngữ học 10 3.3.1 Phân loại phán đoán đơn theo chất 3.3.1 Phân loại phán đoán đơn theo chất  Phán đoán phủ định  Phán đốn phủ định • Phán đốn phủ định phán đốn phản ánh rằng: khơng có mối liên hệ chủ từ thuộc từ • Phủ định A ký hiệu ¬A hay ~A (đọc khơng A hay khơng phải A) Ví dụ (S khơng phải P)  Nguyễn Du nhà thơ triều đình nhà Lê  Cây bàng (là lồi cây) khơng có trái  Khơng phải bàng có trái  Logic học khơng phải Ngơn ngữ học 11 Ví dụ:  A: Ơng A khơng người tốt  ¬A: Khơng phải (Ơng A khơng người tốt)  ¬A: Ơng A người tốt 12 3.3.2 Phân loại phán đoán đơn theo lượng 3.3.1 Phân loại phán đoán đơn theo chất  Phán đoán chung  Phán đốn phủ định • Phán đốn chung phán đốn phản ánh rằng: tồn đối tượng (chủ từ) có chung thuộc tính  Bảng giá trị chân lý A ¬A Đ S S Đ Ví dụ:  Tất kẻ ăn bám lười biếng  Lồi người khơng thở nước Công thức: Mọi S P Mọi S khơng phải P Chú ý: ¬(¬A) = A 13 14 3.3.2 Phân loại phán đoán đơn theo lượng 3.3.3 Phân loại theo chất lượng  Phán đoán riêng • Phán đoán khẳng định chung  Mọi sinh viên phải học online (Mọi S P) • Phán đoán khẳng định riêng  Một số sinh viên lười học (Một số S P) • Phán đốn riêng phán đốn phản ánh rằng: có phận đối tượng có chung thuộc tính Ví dụ:  Có số người ln gặp may  Một số sinh viên khơng thích học mơn logic • Phán đốn phủ định chung  Sinh viên khơng thích bị rớt mơn (Mọi S khơng P) • Phán đốn phủ định riêng  Hầu hết sinh viên không học Logic.(Một số S không P) Công thức: Một số S P Một số S P 15 16  Chú ý trường hợp đặc biệt  Chú ý phân biệt phán đốn “Khơng …”  Khơng có đường lúc  Mọi người không đường lúc (Mọi S không P)  Khơng có mà khơng thích giàu sang  Mọi người thích giàu sang (Mọi S P)  Khơng có thích  Mọi người khơng thích (Mọi S khơng P)  Khơng phải thích  Có người khơng thích  “Khơng phải…” phán đoán phủ định, khác với “rỗng”  “Tất cả” “Mọi S”, trường hợp lại “Một số S” Riêng “rỗng” phải chuyển sang “Mọi S” 17 (Một số S P) 18 3.4 Phán đoán phức 3.4.1 Phép hội (phán đoán liên kết) A B = A Λ B  Phán đoán phức phán đốn hình thành từ hai hay nhiều phán đốn đơn nhờ liên từ logic Ví dụ:  Dịch bệnh làm nhiều người hết tiền việc làm  Môn logic học cần giao tiếp khơng q khó  Nhà nước trợ cấp cho người già, người neo đơn  Sinh viên A học chăm điểm không cao  Mùa hè năm trước tơi có tiền mà khơng du lịch 19 20 3.4.1 Phép hội (phán đoán liên kết) 3.4.1 Phép hội (phán đoán liên kết)  Tính chất 1) Tính chất lũy đẳng AΛA=A A B = A Λ B  Bảng giá trị chân lý A Đ Đ S S B Đ S Đ S AΛ B Đ S S S 21 2) Tính chất giao hốn AΛ B = BΛA 3) Tính chất kết hợp A Λ (B Λ C) = (A Λ B) Λ C 22 3.4.2 Phép tuyển (phán đoán lựa chọn) 3.4.2 Phép tuyển (phán đoán lựa chọn) A hay B = A V B A hay B = A V B Ví dụ:  Nhiều trường dạy học qua Zoom Teams  Bảng giá trị chân lý A Đ Đ S S  Anh uống rượu bia  Nhà từ thiện giúp đỡ người nghèo tiền, thức ăn  Sinh viên bị cấm thi vắng nhiều, không thi kỳ  Năm cô Ba hai mươi tuổi hai mươi mốt tuổi 23 24 B Đ S Đ S AVB Đ Đ Đ S  Tính chất phân phối phép hội tuyển 3.4.2 Phép tuyển (phán đoán lựa chọn)  Tính chất 1) Tính chất lũy đẳng AVA=A A Λ (B V C) = (A Λ B) V (A Λ C) A V (B Λ C) = (A V B) Λ (A V C) 2) Tính chất giao hốn  Cơng thức De Morgan AVB=BVA ¬(A Λ B) = ¬A V ¬B 3) Tính chất kết hợp ¬(A V B) = ¬A Λ ¬B A V (B V C) = (A V B) V C 25 26 Chứng minh Chứng minh A  (B  C )  (A  B )  (A  C ) A  (B  C )  (A  B )  (A  C ) A 27 B C AΛB AΛC BVC VT VP A Đ Đ Đ S Đ S S S 28 B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S AΛB AΛC BVC VT VP Chứng minh Chứng minh A  (B  C )  (A  B )  (A  C ) A  (B  C )  (A  B )  (A  C ) A Đ Đ Đ S Đ S S S B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S AΛB AΛC BVC Đ Đ S S S S S S VT VP 29 B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S AΛB AΛC BVC Đ Đ Đ S S Đ S S S S S S S S S S VT VP 30 Chứng minh Chứng minh A  (B  C )  (A  B )  (A  C ) A  (B  C )  (A  B )  (A  C ) A Đ Đ Đ S Đ S S S 31 A Đ Đ Đ S Đ S S S B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S AΛB AΛC BVC Đ Đ Đ Đ S Đ S Đ Đ S S Đ S S S S S Đ S S Đ S S S VT VP A Đ Đ Đ S Đ S S S 32 B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S AΛB AΛC BVC Đ Đ Đ Đ S Đ S Đ Đ S S Đ S S S S S Đ S S Đ S S S VT Đ Đ Đ S S S S S VP Chứng minh 3.4.3 Phép tuyển chặt (lựa chọn gạt bỏ) A  (B  C )  (A  B )  (A  C ) A Đ Đ Đ S Đ S S S B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S AΛB AΛC BVC Đ Đ Đ Đ S Đ S Đ Đ S S Đ S S S S S Đ S S Đ S S S VT Đ Đ Đ S S S S S Hoặc A B = A + B VP Đ Đ Đ S S S S S 33 Ví dụ:  Nhiều trường thi trắc nghiệm tự luận  Hoặc anh chọn khỏi nhà  Năm cô Ba hai mươi, hai mốt tuổi  Tôi tự đến trường gọi xe công nghệ 34 3.4.3 Phép tuyển chặt (lựa chọn gạt bỏ) 3.4.3 Phép tuyển chặt (lựa chọn gạt bỏ) Hoặc A B = A + B Hoặc A B = A + B  Bảng giá trị chân lý A Đ Đ S S 35  Công thức tương đương B Đ S Đ S A+B S Đ Đ S A + B = (¬A Λ B) V (A Λ¬B) 36 3.4.4 Phép kéo theo  Cơng thức tương đương Nếu A B = A → B A + B = (¬A Λ B) V (A Λ ¬B) Ví dụ:  Nếu siêng tập thể dục sức khỏe tốt Đặt C = ¬A Λ B, D = A Λ ¬B A Đ Đ S S B Đ S Đ S ¬A S S Đ Đ ¬B S Đ S Đ C S S Đ S D S Đ S S A+B CVD S S Đ Đ Đ Đ S S 37  Tôi nhà chưa hết dịch bệnh  Nếu tơi mà nói dối sơng chảy lên thượng nguồn  Nếu tơi mà anh tơi nghỉ việc 38 3.4.4 Phép kéo theo 3.4.4 Phép kéo theo Nếu A B = A → B Nếu A B = A → B  Bảng giá trị chân lý A Đ Đ S S 39  Tính chất B Đ S Đ S A→B Đ S Đ Đ A → B = ¬A V B A → B = ¬B → ¬A 40  Phủ định Chứng minh A → B = ¬A V B ¬(A → B) = ¬(¬A V B) = A Λ¬B A → B = ¬B → ¬A Ví dụ:  ¬(Tơi nhà chưa hết dịch bệnh) = ¬(Nếu chưa hết dịch bệnh tơi nhà) = Chưa hết dịch bệnh không nhà 41 42 3.4.5 Điều kiện cần – Điều kiện đủ Xét phán đoán A → B (Đ), ta có: • Phán đốn B điều kiện cần A đúng, B sai A khơng thể  Vậy B điều kiện cần (để có A) Ví dụ vui • Bố: em phủ định phán đốn sau “Nếu chưa hết dịch bệnh tơi khơng đến cơng ty” • Mẹ: “Hết dịch bệnh tơi khơng đến cơng ty” • Tèo: Bố mẹ làm sai • Bố: Mẹ nói đấy! • Phán đoán A điều kiện đủ B đúng, nghĩa cần A B  Vậy A điều kiện đủ (để có B)  Chú ý: Khi B điều kiện cần B A sai 43 44 3.4.5 Điều kiện cần – Điều kiện đủ 3.4.5 Điều kiện cần – Điều kiện đủ  Phán đoán tương đương Ví dụ:  Nếu siêng tập thể dục sức khỏe tốt (Đ) A ↔ B = (A → B) Λ (B → A)  Bảng giá trị chân lý A B A↔B Đ Đ Đ Đ S S S Đ S S S Đ ……………………………….………………  Nếu chưa hết dịch bệnh tơi nhà (Đ)  Nếu tơi mà anh tơi nghỉ việc (Đ) 45 46 Một số đẳng thức logic cần nhớ 1) 2) 3) 4) 5) 6) 7) 47 (1 đúng, sai) Bài 3.11.4 tr 52 Dấu “,” sau có ý nghĩa phép logic gì? p  p  p, p  p  p p   p, p   p p   1, p   p  p  1, p  p  p  (p  q)  p, p  (p  q)  p p  q  (p  q )  (q  p) p  q  (q  p) a) Người đau yếu, tàn tật bầu cử nhà (Phép tuyển) c) Lão dùng hai tay, lắc người, dốc hết lực thể, chân trụ mà kéo (trích Ơng già biển cả) (Phép hội) d) Công nhân, viên chức hưu, già yếu, bệnh tật sức lao động hưởng quyền lợi bảo hiểm xã hội (Phép tuyển) 48 Bài 3.11.5 tr 52 Cho A = Nó học đàn, B = Nó học bơi Viết phán đốn sau dạng cơng thức: Bài 3.11.7 tr 52 Cho A = Nó học đàn, B = Nó học bơi Viết phán đốn sau dạng cơng thức: a) Nó học đàn học bơi = A Λ B a) Nó học hai môn = A V B b) Nó học đàn học bơi = A V B b) Nó học nhiều mơn = ¬A V¬B c) Nó khơng học đàn mà khơng học bơi = ¬A Λ¬B c) Nó khơng học hai mơn = ¬A V¬B d) Nó khơng học đàn mà lại học bơi = ¬A Λ B d) Nó khơng học nhiều mơn = A V B e) Khơng phải vừa học đàn vừa học bơi = ¬(A Λ B) = ¬A V¬B 49 50 Bài 3.11.6 tr 52 Chứng minh Bài 3.11.12 tr 53 Phủ định phán đốn sau: (A Λ¬B) V (¬A Λ B) V (A Λ B) = A V B a) ¬(Nó Vũng Tàu hay Đà lạt) = ¬(A V B) = Nó khơng Vũng Tàu Đà Lạt Giải VT = [(A Λ¬B) V (A Λ B)] V (¬A Λ B) b) ¬(Anh khơng Hà Nội mà Thái Bình) = ¬(¬A Λ B) = Anh Hà Nội không Thái Bình = [A Λ (¬B V B)] V (¬A Λ B) = (A Λ 1) V (¬A Λ B) c) ¬(Tôi thi đậu không học bài) = ¬(Nếu tơi khơng học tơi khơng thể thi đậu) = ¬(¬A V B) = A Λ¬B =Tơi không học thi đậu = A V (¬A Λ B) = (A V ¬A) Λ (A V B) = A V B = VP d) ¬(Tuổi ông khoảng chừng 40 đến 45) = Tuổi ông 40 hay 45 51 52 Bài 3.11.6 tr 52 Cách khác, đặt: Bài 3.11.6 tr 52 Cách khác, đặt: a = A Λ¬B, b = ¬A Λ B, c = A Λ B, VT = a V b V c, VP = A V B a = A Λ¬B, b = ¬A Λ B, c = A Λ B, VT = a V b V c, VP = A V B A Đ Đ S S A Đ Đ S S B ¬A ¬B a Đ S Đ S b c VT VP 53 b c VT VP 54 Bài 3.11.6 tr 52 Cách khác, đặt: 55 B ¬A ¬B a Đ S S S S Đ Đ Đ S S Đ Đ Bài 3.11.6 tr 52 Cách khác, đặt: a = A Λ¬B, b = ¬A Λ B, c = A Λ B, VT = a V b V c, VP = A V B a = A Λ¬B, b = ¬A Λ B, c = A Λ B, VT = a V b V c, VP = A V B A Đ Đ S S A Đ Đ S S B ¬A ¬B Đ S S S S Đ Đ Đ S S Đ Đ a S Đ S S b c VT VP 56 B ¬A ¬B Đ S S S S Đ Đ Đ S S Đ Đ a S Đ S S b S S Đ S c VT VP Bài 3.11.6 tr 52 Cách khác, đặt: Bài 3.11.6 tr 52 Cách khác, đặt: a = A Λ¬B, b = ¬A Λ B, c = A Λ B, VT = a V b V c, VP = A V B a = A Λ¬B, b = ¬A Λ B, c = A Λ B, VT = a V b V c, VP = A V B A Đ Đ S S A Đ Đ S S B ¬A ¬B Đ S S S S Đ Đ Đ S S Đ Đ a S Đ S S b S S Đ S c VT VP Đ S S S 57 a S Đ S S b S S Đ S c VT VP Đ Đ S Đ S Đ S S 58 Bài 3.11.6 tr 52 Cách khác, đặt: Bài tập Chứng minh: ¬(A + B) = (A Λ B) V (¬A Λ¬B) a = A Λ¬B, b = ¬A Λ B, c = A Λ B, VT = a V b V c, VP = A V B A Đ Đ S S 59 B ¬A ¬B Đ S S S S Đ Đ Đ S S Đ Đ B ¬A ¬B Đ S S S S Đ Đ Đ S S Đ Đ a S Đ S S b S S Đ S c VT VP Đ Đ Đ S Đ Đ S Đ Đ S S S 60 Ví dụ 3.25 tr 47 Có ba thầy giáo tên Tốn, Lý, Hóa dạy ba mơn khác tốn, lý hóa Thầy dạy mơn hóa nói rằng: “Chúng ta dạy môn trùng tên với chúng ta, khơng có dạy mơn trùng tên với mình” Thầy có tên Tốn nói: “Anh nói đúng” Dùng suy luận logic, cho biết dạy mơn gì? Bài 3.11.32 tr 58 Trong chạy thi, bốn bạn An, Bình, Cường Dũng đạt giải nhất, nhì, ba, tư Khi hỏi bốn bạn trả lời sau • An: Tơi giải nhì, cịn Bình giải • Bình: Tơi giải nhì, cịn Dũng giải ba • Cường: Tơi giải nhì, cịn Dũng giải tư • Dũng: Ba bạn nói phần cịn phần sai Hỏi Dũng nói thật bạn đạt giải mấy? Giải Từ đối thoại thầy Toán thầy dạy mơn hóa, suy ra: • Thầy Tốn dạy mơn lý • Thầy Hóa khơng dạy mơn hóa nên thầy Hóa dạy mơn tốn • Vậy thầy Lý dạy mơn hóa 61 62 Bài 3.11.32 tr 58 (A2B2  A2D3  B1B2  B1D3 )  (C  D4 )  Ký hiệu A1 = “An giải nhất”, (A2D3  B1D3 )  (C  D4 )  B2 = “Bình giải nhì” Tương tự cho trường hợp khác a, b, c, d [A2D3  (C  D4 )]  [B1D3  (C  D4 )]  câu nói An, Bình, Cường, Dũng 63 Ta có: a = A2 V B1, b = B2 V D3, c = C2 V D4 (A2D3C  A2D3D4 )  (B1D3C  B1D3D4 )  a, b, c phán đoán nên abc = 1, suy B1D3C  (A2  B1 )  (B2  D3 )  (C  D4 )  Vậy Bình giải nhất, Cường nhì, Dũng ba An giải tư 64 Bài Chứng minh đẳng thức logic sau Bài Có vị thần hình dáng giống hệt thờ đền linh thiêng Ấn Độ Thần Thiện, Thần Ác Thần Bảo Tồn Thần Thiện ln nói thật; Thần Ác ln nói dối; Thần Bảo Tồn lúc nói thật, lúc nói dối Một hơm có vị tu sĩ đến hỏi: - Ai ngồi cạnh ngài? Tu sĩ hỏi vị thần bên phải - Đó Thần Ác Thần bên phải trả lời - Ngài ai? Tu sĩ hỏi vị thần ngồi - Ta Thần Bảo Tồn Thần ngồi trả lời - Ai ngồi cạnh ngài? Tu sĩ hỏi thần bên trái - Đó Thần Thiện Thần bên trái trả lời Vị tu sĩ biết xác vị thần, sao? p  q  p  q, p  q  (p  q ) (p  q )  (p  r )  p  (q  r ) (p  r )  (q  r )  (p  q )  r (p  q )  (p  r )  p  (q  r ) (p  r )  (q  r )  (p  q )  r p  q  (p  q )  (p  q ) (p  q )  p  q 65 66 Giải Đặt A = “A không phạm lỗi”, B = “B không phạm lỗi”, C = “B phạm lỗi” = ¬B Bài Một ba sinh viên A, B, C bị nghi vi phạm phịng thi Khi bị giám thị hỏi họ nói sau: • A nói: Em khơng phạm lỗi • B nói: Em khơng phạm lỗi • C nói: B phạm lỗi Giả sử ba sinh viên nói thật Hỏi phạm lỗi? (Theo vnexpress.net 13/5/19) Theo đề bài, ta có: (A  B  C )  (A  B  C )  (A  B  C )   (A  B  B)  (A  B  B)  (A  B  B)  67 68   (A  B)  (A  B)  Cách khác: Đặt A = “A vi phạm”, B = “B vi phạm” C = “C vi phạm” Cấu trúc logic lời khai sinh viên là: a = “Em không phạm lỗi” = ¬A b = “Em không phạm lỗi” = ¬B c = “B phạm lỗi ạ” = B  A  (B  B )   A  Vậy A phạm lỗi Lập bảng chân trị, ta suy A phạm lỗi  Chú ý Do lời khai B C mâu thuẫn nên A khai có hai SV khai (trái đề bài) Ta suy A phạm lỗi 69 70 Giải Đặt A, B, C = “A, B, C vi phạm” a = ¬A, b = ¬B, c = B A Đ Đ Đ S Đ S S S 71 B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S a S S S Đ S Đ Đ Đ b S S Đ S Đ S Đ Đ Giải Đặt A, B, C = “A, B, C vi phạm” a = ¬A, b = ¬B, c = B c Đ Đ S Đ S Đ S S A Đ Đ Đ S Đ S S S 72 B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S a S S S Đ S Đ Đ Đ b S S Đ S Đ S Đ Đ c Đ Đ S Đ S Đ S S Giải Đặt: A = “An phạm lỗi”, B = “Bình phạm lỗi” C = “Cường phạm lỗi” Cấu trúc logic lời khai sinh viên là: a = A → B = ¬A V B b = A → C => ¬(A → C) = ¬(¬A V C) = A Λ ¬C c = C → ¬B = ¬C V ¬B Bài Ba sinh viên An, Bình, Cường bị nghi vi phạm phòng thi Khi bị giám thị hỏi họ nói sau: • An nói: Nếu tơi phạm lỗi Bình phạm lỗi • Bình nói: Nếu An phạm lỗi Cường phạm lỗi • Cường nói: Nếu tơi phạm lỗi Bình khơng phạm lỗi Giả sử An Cường nói cịn Bình nói sai Hỏi phạm lỗi? (Trích Đề thi GKHK1-2019) Theo đề bài, ta có: (A  B)  (A  C )  (C  B)   (A  A  C )  (B  A  C )  (C   B )  73 74 Cách khác Đặt: A, B, C = “An, Bình, Cường phạm lỗi” a = A → B, b = A → C, c = C → ¬B  (A  A   C )  (B  A  C )  (C  B )  A Đ Đ Đ S Đ S S S  (B  A   C )  (  C   B )  (B  A C C) (B  AC  B)   A  B  C  Vậy An Bình phạm lỗi, Cường khơng 75 76 B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S ¬B S S Đ S Đ S Đ Đ a Đ Đ S Đ S Đ Đ Đ b Đ S Đ Đ S Đ Đ Đ c S Đ Đ S Đ Đ Đ Đ Cách khác Đặt: A, B, C = “An, Bình, Cường phạm lỗi” a = A → B, b = A → C, c = C → ¬B A Đ Đ Đ S Đ S S S B Đ Đ S Đ S Đ S S C Đ S Đ Đ S S Đ S ¬B S S Đ S Đ S Đ Đ a Đ Đ S Đ S Đ Đ Đ b Đ S Đ Đ S Đ Đ Đ Bài Có năm bạn A, B, C, D E quê năm địa phương khác Với câu hỏi: “Quê bạn đâu?”, ta nhận câu trả lời: • A: “Q tơi Hà Nội, q D Nghệ An” • B: “Q tơi Hà Nội, C Bình Phước” • C: “Q tơi Hà Nội, D Quảng Nam” • D: “Quê tơi Nghệ An, E Phú Thọ” • E: “Quê Phú Thọ, A Quảng Nam” Biết câu trả lời có phần đúng, phần sai Hãy xác định quê bạn! c S Đ Đ S Đ Đ Đ Đ 77 78 Giải Đặt AH V DN = “A Hà Nội, D Nghệ An” =1 (1) Tương tự trường hợp khác: BH V CB = (2) CH V DQ = (3) DN V EP = (4) EP V AQ = (5) Ta có: (AH V DN)(BH V CB)(CH V DQ)(DN V EP)(EP V AQ) = (*) Ta có: (AH V DN)(BH V CB) = AH.BH V AH.CB V DN.BH V DN.CB (6) (CH V DQ)(DN V EP) = CH.DN V CH.EP V DQ.DN V DQ.EP (7) Từ (6), (7) suy ra: VT(6).VT(7) = AH.CB.CH.DN V AH.CB.CH.EP V AH.CB.DQ.EP V DN.BH.CH.DN V DN.BH.CH.EP V DN.BH.DQ.EP V DN.CB.CH.DN V DN.CB.CH.EP V DN.CB.DQ.EP (8) Thay (8) vào (*), ta được: AH.CB.DQ.EP.EP V AH.CB.DQ.EP.AQ = Vậy AH.CB.DQ.EP → BN 79 80 ... Chúng ta học môn Logic học vào tuần tới S P S khơng phải P • Các câu cầu khiến, nghi vấn, cảm thán,… phán đốn  Học mơn Logic học thật thú vị ! 3. 3.1 Phân loại phán đoán đơn theo chất 3. 3 Phán... thức: Bài 3. 11.7 tr 52 Cho A = Nó học đàn, B = Nó học bơi Viết phán đốn sau dạng cơng thức: a) Nó học đàn học bơi = A Λ B a) Nó học hai mơn = A V B b) Nó học đàn học bơi = A V B b) Nó học nhiều... Ví dụ (S P):  Aristote nhà triết học Hy Lạp  Hải Phòng thành phố Hoa Phượng Đỏ  Logic học khác với Ngôn ngữ học 10 3. 3.1 Phân loại phán đoán đơn theo chất 3. 3.1 Phân loại phán đoán đơn theo

Ngày đăng: 18/02/2023, 16:57

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN