luận lý toán học nguyễn thanh sơn logic jan2013 4bis dich sang llmd sinhvienzone com

om DỊCH SANG LLMĐ Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om DỊCH SANG LLMĐ Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om DỊCH SANG LLMĐ Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C 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 vuông 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) SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C Hai tam giác OAH OAK có cạnh lọt góc nên Vậy AK = AH SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn Si nh Vi en Zo ne C Mã hóa định lý (4) G1 G3 C2 Ch (5) G1 G2 G3 (6) Tvh Vh (7) Tvk Vk (8) Pg G1 (9) A C1 (10) Vh Vk G2 (11) Tvh Ch om CHỨNG MINH TỰ ĐỘNG SinhVienZone.com @Nguyễn Thanh Sơn Ck A (d1) (d2) (d3) (d3) (d4) (d5) (d6) (d7) https://fb.com/sinhvienzonevn ntsơn .C ne Zo Ck Cc C2 (d7) (d8) (d9) Si nh Vi en (12) Tvk (13) Pg (14) Cc Tiền đề : (1) Tvk, (2) Tvh, (3) Pg Kết luận : C1 om CHỨNG MINH TỰ ĐỘNG SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn 1, nh Vi en Zo ne C 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* Si (1*) G1 (3*) Vh (4*) G2 (5*) G3 (6*) Cc (7*) C2 (8*) Ch (10*) A (11*) C1 om CHỨNG MINH TỰ ĐỘNG SinhVienZone.com @Nguyễn Thanh Sơn 1,12 https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C 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 vuông H K nên : góc(OAH) = góc(OAK), dùng cơng thức 1, 2, 5, 6, 7, 10 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C 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 SinhVienZone.com @Nguyễn Thanh Sơn https://fb.com/sinhvienzonevn ntsơn ... Góc(OAK) SinhVienZone. com @Nguyễn Thanh Sơn https://fb .com/ sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C Hai tam giác OAH OAK có cạnh lọt góc nên Vậy AK = AH SinhVienZone. com @Nguyễn. .. if his father support him Show that G is a logical consequence of F SinhVienZone. com @Nguyễn Thanh Sơn https://fb .com/ sinhvienzonevn ntsơn om DỊCH SANG LLMĐ Si nh Vi en Zo ne C Mã hóa : A = is... giác cạnh góc (d6) Hai góc có độ đo SinhVienZone. com @Nguyễn Thanh Sơn https://fb .com/ sinhvienzonevn ntsơn om CHỨNG MINH TỰ ĐỘNG Si nh Vi en Zo ne C Liệt kê định lý (tt) (d7) Trong tam giác cạnh