... xem suyluận sau có không Nếu suyluận có dùng quy tắc suyluận Nếu không ngụy biện đợc sử dụng a Nếu n số thực lớn n2 > Giả sử n2 > Khi n > b log23 vô tỷ không tỷ số hai số nguyên Do đó, log ... thích môn l gic b Không có nhiều sinh viên thích môn l gic môn toán không dễ c Môn toán không dễ môn l gic khó d Môn l gic không khó môn toán không dễ e Nếu nhiều sinh viên thích môn l gic môn toán ... Chứng minh bạn thuộc lo i kiến thiết hay không kiến thiết? (Gợi ý: Cho a= b = Chỉ ab (ab)b hữu tỷ) 47 *Bài toánLô -gic, lấy từ WFFN PROOF, trò chơi L gic, có hai giả thiết: Môn l gic khó nhiều sinh...
... thức logic với lợng từ Một biểu thức l gic (công thức) biến tự thành mệnh đề thông thờng Từ ta áp dụng phép toán l gic xét tính đồng tính tơng đơng công thức l gic nh đại số mệnh đề Chơng L gicsuy ... trời không ma có nhiều mây Suyluận có sở : Các suyluận dùng qui tắc suy diễn dựa công thức đồng Nguỵ biện : Các suyluận dùng qui tắc suy diễn dựa đồng sai tiếp liên Một suyluận có sở dẫn đến ... định xem suyluận sau có không Nếu suyluận có 27 Chơng L gicsuyluậntoánhọc dùng quy tắc suyluận Nếu không ngụy biện đợc sử dụng a Nếu n số thực lớn n2 > Giả sử n2 > Khi n > b log23 vô tỷ...
... xem suyluận sau có không Nếu suyluận có dùng quy tắc suyluận Nếu không ngụy biện đợc sử dụng a Nếu n số thực lớn n2 > Giả sử n2 > Khi n > b log23 vô tỷ không tỷ số hai số nguyên Do đó, log ... thích môn l gic b Không có nhiều sinh viên thích môn l gic môn toán không dễ c Môn toán không dễ môn l gic khó d Môn l gic không khó môn toán không dễ e Nếu nhiều sinh viên thích môn l gic môn toán ... Chứng minh bạn thuộc lo i kiến thiết hay không kiến thiết? (Gợi ý: Cho a= b = Chỉ ab (ab)b hữu tỷ) 47 *Bài toánLô -gic, lấy từ WFFN PROOF, trò chơi L gic, có hai giả thiết: Môn l gic khó nhiều sinh...
... C.Nếu em cố gắng học tập em thành công D.Nếu tam giác có góc 600 tam giác tam giác 3.Trong MĐ a suy b , mệnh đề có MĐ đảo sai? A Tam giác ABC cân tam giác có hai cạnh B a chia hết cho a chia hết...
... “P(x)khi Q(x)” hoạt động cố: H3 Cho cã lớp làm gọi học sinh lên trình bày hoạt động cuối cùng: nhà hoc làm tập 8,9,10,11(SGK trang: 12) Q(n)= “n chia hết cho 8” mệnh đề P(x)=>Q(x) (1) ,có thể sai...
... lẻ 7/ Có giả thiết - Môn logic khó nhiều sinh viên thích môn logic - Nếu môn toán dễ thi logic không khó Bằng cách chuyển giả thiết thành mệnh đề chứa biến toán tử logic Hãy xác định xem khẳng ... đây, tìm hiểu qui tắc suyluận 2.2.2 Các qui tắc suyluận Như giới thiệu trên, suyluận có dùng qui tắc suy diễn gọi suyluận có sở Khi tất suyluận có sở dẫn đến kết luận Một suyluận có sở dẫn ... Chương 2: Suyluậntoánhọc & Các phương pháp chứng minh a/ Môn toán không dễ nhiều sinh viên thích môn logic b/ Không có nhiều sinh viên thích môn logic môn toán không dễ c/ Môn toán dễ môn logic...
... đây, tìm hiểu qui tắc suyluận 2.2.2 Các qui tắc suyluận Như giới thiệu trên, suyluận có dùng qui tắc suy diễn gọi suyluận có sở Khi tất suyluận có sở dẫn đến kết luận Một suyluận có sở dẫn ... gọi ngụy biện Ngụy biện giống qui tắc suyluận không dựa mà tiếp liên Đây khác suyluậnsuyluận sai Lo i suyluận sai gọi ngộ nhận kết luận Ví dụ : Xét xem suy diễn sau có sở không ? " Nếu bạn ... vững logic Bạn nắm vững logic bạn giải hết tập sách toán rời rạc này" Nhận thấy suy diễn dựa mệnh đề sau : ((P→Q) ∧ Q) → P Trong đó: P = "Bạn giải hết tập sách toán rời rạc 2" Q = "Bạn nắm vững logic"...
... lẻ 7/ Có giả thiết - Môn logic khó nhiều sinh viên thích môn logic - Nếu môn toán dễ thi logic không khó Bằng cách chuyển giả thiết thành mệnh đề chứa biến toán tử logic Hãy xác định xem khẳng ... Chương 2: Suyluậntoánhọc & Các phương pháp chứng minh a/ Môn toán không dễ nhiều sinh viên thích môn logic b/ Không có nhiều sinh viên thích môn logic môn toán không dễ c/ Môn toán dễ môn logic ... toán không dễ c/ Môn toán dễ môn logic khó d/ Môn logic không khó môn toán không dễ e/ Nếu nhiều sinh viên thích môn logic môn toán không dễ logic không khó 8/ Dùng nguyên lý qui nạp yếu, chứng...
... dựng chứng minh với dãy bước suyluận dẫn tới kết luậnLo i suyluận gọi suyluận tiến, lo i suyluận phổ biến dùng để chứng minh kết tương đối đơn giản Tương tự, với suyluận gián tiếp, ta xuất ... sát, đặt vấn đề lập giả thuyết xác định tiền đề chính, sau phân tích kiến thức có từ suyluậnsuy diễn cách logic để kết luận giả thuyết Qua ví dụ, phân tích rút nhận xét thuộc tính, chất vật mối ... … Do đó, thực đề tài: chiến lược chứng minh suyluậntoánhọc 1.2 Mục đích đề tài Mục đích đề tài nhằm cung cấp cho sinh viên kiến thức tư logic, suyluậntoán học, phương pháp chứng minh cách...
... - X Y Z X Z 3) Suyluận quy nạp: Suyluận quy nạp phép suyluận từ riêng tới kết luận chung, từ tổng quát đến tổng quát Đặc trưng suyluận quy nạp quy tắc chung cho trình suy luận, mà sở nhận ... (35 + 21) : = 56 : = 35 : + 21 : = + = -Vậy suy ra: ( 35 + 21) : = 35 : + 21 : - Suy quy tắc chung chia tổng cho số c) Phép đặc biệt hóa: Là phép suyluận từ tập hợp đối tượng sang tập hợp đối ... (Lớp 4) ? 8 * Ta có : 3 8 8 Suy quy tắc chung cộng hai phân số mẫu số * Ta có: 1 ? 1 3 23 1 2 3 Cộng hai phân số : 1 6 Suy quy tắc chung cộng hai phân số khác...
... chữ số ? Bài 13 : Cho mệnh đề P : "Với số thực x, x số hữu tỉ 2x số hữu tỉ ” a) Dùng kí hiệu l gic tập hợp để diễn tả mệnh đề xác định tính - sai b) Phát biểu mệnh đề đảo của P chứng tỏ mệnh...
... toán + Nêu cấu trúc P => Q + Nêu cấu trúc : P => Q (đúng) + Tích cực suy nghĩ P : đủ để có Q + Đứng chỗ trả lời : 4em + Gợi ý HS suy nghĩ a) “Cùng vuông góc với đường thẳng thứ ba” đủ để đường thẳng ... giáo viên Hoạt động trò + Nêu toán + Tích cực suy nghĩ + Nêu cấu trúc : P => Q (đúng) + Đứng chỗ trả lời : 4em Q điều kiện cần để có P + Gợi ý HS suy nghĩ a) Các góc tương ứng cần để tam giác ... toán + Nêu cấu trúc : Hoạt động trò + Tích cực suy nghĩ P => Q + Tìm VD phản chứng Q => P + Đứng chỗ trả lời : 4em Q điều kiện cần để có P + Gợi ý HS suy nghĩ a) T h ình vuông => cạnh = “T điều...
... lập luậnSuyluận chia thành suyluậnsuy diễn suyluận qui nạp Suy diễn suyluận lập luận từ chung đến riêng, đơn ; Suy diễn có suy diễn trực tiếp suy diễn gián tiếp Suy diễn trực tiếp suy diễn ... dối phán đoán Suy diễn gián tiếp suy diễn kết luậnsuy từ hai hay nhiều phán đoán có mối liên hệ l gic với Qui nạp suyluận lập luận từ riêng,cái đơn đến chung Suy diễn trực tiếp suy diễn kết ... tương quan tính chân thực tính giả dối phán đoán Suy diễn gián tiếp suy diễn kết luậnsuy từ hai hay nhiều phán đoán có mối liên hệ l gic với Qui nạp suyluận lập luận từ riêng, đơn đến chung Chứng...