DỊCH SANG LLMĐ @Nguyễn Thanh Sơn DỊCH SANG LLMĐ F = Tom cannot be a good student unless he is smart and his father supports him G = Tom is a good student only if his father support him Show that G is[.]
DỊCH SANG LLMĐ F = Tom cannot be a good student unless he is smart and his father supports him G = Tom is a good student only if his father support him Show that G is a logical consequence of F @Nguyễn Thanh Sơn ntsơn DỊCH SANG LLMĐ F = Tom cannot be a good student unless he is smart and his father supports him Viết lại F : F = If Tom is smart or his father supports him, he can be a good student G = Tom is a good student only if his father support him Show that G is a logical consequence of F @Nguyễn Thanh Sơn ntsơn DỊCH SANG LLMĐ Mã hóa : A = is a good student, B = is smart, C = is supported Do F = (B C) (A), G = C A F = (B C) A = (B C) A = (B C) A = (B A) (C A) Vậy C A @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Chứng minh điểm phân giác góc cách cạnh góc H Chứng minh thơng thường A O Hai tam giác vng OAH K OAK có cạnh chung OA OA phân giác nên Góc(AOH) = Góc(AOK) Hai tam giác vng H K nên Góc(OAH) = Góc(OAK) @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Hai tam giác OAH OAK có cạnh lọt góc nên Vậy AK = AH @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Liệt kê định lý (d1) Hai tam giác có cạnh lọt góc bằn (d2) Tam giác có tổng góc 180 (d3) Tam giác vng có góc 90 (d4) Phân giác chia góc góc (d5) Nếu tam giác cạnh góc (d6) Hai góc có độ đo @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Liệt kê định lý (tt) (d7) Trong tam giác cạnh kề với góc hai đầu (d8) Phân giác cạnh chung góc (d9) Cạnh chung @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Ký hiệu A = tam giác OAHh OAKk C1 = cạnh AHh AKk C2 = cạnh OAh Oak G1 = góc AOH AOK G2 = góc OHA OKA G3 = góc OAH OAK Tvh = tam giác h vuông @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Ký hiệu (tt) Tvk = tam giác k vuông Vh = góc OHA 90 Vk = góc OKA 90 Pg = OA phân giác Cc = cạnh OAh OAk cạnh chung Ch = cạnh OAh kề hai góc AOH OAH Ck = cạnh OAk kề hai góc AOK OAK @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Mã hóa định lý (4) G1 G3 C2 Ch Ck A (d1) (5) G1 G2 G3 (d2) (6) Tvh Vh (d3) (7) Tvk Vk (d3) (8) Pg G1 (d4) (9) A C1 (d5) (10) Vh Vk G2 (d6) (11) Tvh Ch (d7) @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG (12) Tvk Ck (13) Pg Cc (14) Cc C2 Tiền đề : (1) Tvk, (2) Tvh, (3) Pg Kết luận : C1 @Nguyễn Thanh Sơn (d7) (d8) (d9) ntsơn CHỨNG MINH TỰ ĐỘNG (1*) G1 (3*) Vh (4*) G2 (5*) G3 (6*) Cc (7*) C2 (8*) Ch (10*) A (11*) C1 @Nguyễn Thanh Sơn 3, (2*) Vk 2, 2*,3*, 10 1*,4*,5 3,13 6*,14 2,11 (9*) Ck 1*,5*,7*,8*,9*,4 9*,10* 1, 1,12 ntsơn CHỨNG MINH TỰ ĐỘNG Chuyển qua ngôn ngữ tự nhiên Hai tam giác vng OAH OAK có cạnh chung OA (OA = OA), dùng công thức 1, 2, 3, 13, 14 Vì OA phân giác nên : góc(AOH) = góc(AOK), dùng cơng thức 3, Hai tam giác vng H K nên : góc(OAH) = góc(OAK), dùng cơng thức 1, 2, 5, 6, 7, 10 @Nguyễn Thanh Sơn ntsơn CHỨNG MINH TỰ ĐỘNG Chuyển qua ngôn ngữ tự nhiên (tt) Hai tam giác OAH OAK có cạnh lọt hai góc bằnng nên dùng cơng thức 4, 11, 12 Do AH = AK, dùng công thức @Nguyễn Thanh Sơn ntsơn ... can be a good student G = Tom is a good student only if his father support him Show that G is a logical consequence of F @Nguyễn Thanh Sơn ntsơn DỊCH SANG LLMĐ Mã hóa : A = is a good student,