Đang tải... (xem toàn văn)
bài tập logic hình thức danh cho ai đang cần sycschjcg csygcycywvcwcgewgcwgcuwgcw cwjghchwjyckewcewfcywecefe úicdvdcydhalycgaycgdwyjcgwYCGGQC WDGDYWKCDGWYCFWFYCW CEEWGUWGVEEJWEVCGJWCGWNCG UOSCBWJKC GƯU EFUWD GƯI WUGWU EWU WUGCW FEEWUJEWLEDWEDE .WIDHW
Bài tập tổng hợp - Logic học phương pháp nghiên cứu khoa học Logic hoc (LOGIC2021) KHÁI NIỆM Bài Mơ hình hóa mối quan hệ khái niệm sau: Lịch sử, nhà sử học, sử học Bài Xác định quan hệ mô hình hóa quan hệ khái niệm sau: A: Nhà khoa học B: Khoa học C: Tính khoa học Bài Xác định quan hệ mơ hình hóa quan hệ khái niệm sau: A: Toán học B: Nhà tốn học C: Tính tốn Bài Xác định quan hệ mơ hình hóa quan hệ khái niệm sau: A: Tứ giác, B: Hình bình hành, C: Hình chữ nhật, D: Hình thoi, E: Hình vuông Bài Định nghĩa sau hay sai logic? Tại sao? “Phán đốn hình thức tư duy” PHÁN ĐỐN Phán đốn đơn Bài Cho khái niệm: nhà khoa học, giáo sư, nhà Sử học a) Xác định quan hệ khái niệm b) Mơ hình hóa quan hệ khái niệm c) Từ khái niệm cho, xây dựng dạng phán đoán (A, E, I, O) phán đốn chân thực d) Xác định tính chu diên thuật ngữ phán đoán xây dựng phần c Bài Xác định tính chu diên thuật ngữ phán đốn sau, thể hình vẽ: a) Mọi lí thuyết khoa học hình thức nhận thức người b) Có dự báo khơng chuyển thành thực Tính giá trị Logic biểu thức: Bài Tính giá trị logic biểu thức: [(a → c)^(b → c)]v(a^b)] → a Bài Tính giá trị logic biểu thức: [(a → c)^(b → c)]v(a^b)] → a biết a = 1; b = 0; c = Bài cách để chứng minh công thức sau qui luật / Tính giá trị logic biểu thức sau cách / Tính giá trị logic biểu thức sau cách biến đổi: d) {[(a → b)^(a → c)]^(bvc)} → a = e) [(a → c)^(b → c)^(avb)] → c = f) {[(a^b) → b]^b} → (avb ) = →b )^b] → (avb ) = g) [(avb a) [(avb)^a] → b = ] → a = b) [(a → b)^b c) {[a → (b → c)]^(a ^ b)} → c = Đáp án: c) {[a → (b → c)]^(a^b)} → c = {[a → (b → c)]^(a^b)}^c = {[av(b → c)]^(a^b)}^c = vc]^a^b^c = [avb [avb vc]^(a^b^c) = {[av(b vc)]^(a^b)}^c = v(b^a^b^c) v(c^a^b^c) = 0v0v0 = 0 = (a^a^b^c) vc)}^a = d) {[(a → b)^(a → c)]^(bvc)} → a = {[(a → b)^(a → c)]^(b vc)}^a = vc)] = {[(a vb)^(avc)]^(b (avb)^(avc)^(bvc)^a = [(avb)^a]^[(avc)^(b )v(a^c)v(c^b )v0] = )v(a^c)v(c^b )v(c^c)] = [0v(b^a)]^[ (a^b [(a^a)v(b^a)]^[(a^b )] = )v(a^c)v(c^b )] = [(b^a)^(a ^b)]v[(b^a)^(a^c)]v[(b^a)^(c^b (b^a)^[ (a^b ]v[b^a^a^c]v[b^a^c^b] = 0v0v0 = 0 = [b^a^a^b vc)^(avb)]^c = e) [(a → c)^(b → c)^(avb)] → c = [(a → c)^(b → c)^(avb)]^c= [(a vc)^(b vc)^(avb)^c = vc)^(avb) = [(a ]^(b vc)^(avb) = (avc)^(b [(avc)^c]^(b ^c)v(c^c) ^(avb)]^[c^(b vc)^(avb) = vc)^(avb) = vc)] = vc)^(avb) = [(a^c)]^(b a^c^(b [a [(a^c)v0]^(b = )v(c^c)] )v0] = [(a^a)v(a^b)]^[(c^b [0v(a^b)]^[(c^b [(a^b)]^[(c^b )] = = a ) = a )] = a^b^c^b ^c^(b^b ^c^0 = 0 = [(a ^b)]^[(c^b = = ]^b}^avb f) {[(a^b) → b]^b} → (avb ) = {[(a^b) → b]^b}^avb {[a ^b vb ^b)}^avb = = (a = {(a ^b^b)v(b {(a ^b^b)v0}^ avb ^b^b)^ avb = [(avb)^b]^(a^b) (Vì A^B ) = = ; AvB [(a^b)v(b^b)]^a^b = A^B [(a^b)v0]^a^b = (a^b)^a^b = a^b^a ^b = AvB 0^b^b = 0 = g) Xử lý xong kéo theo thứ hai (kéo theo lớn) kéo theo thứ (kéo theo bé) giống hệt câu f Phán đoán đẳng trị Bài Cho phán đốn: Nếu hơm trời mưa đường ướt a) Viết phán đốn dạng cơng thức b) Tìm phán đốn đẳng trị với phán đốn dạng cơng thức c) Tìm phán đốn đẳng trị với phán đốn dạng ngơn ngữ/Diễn đạt phán đốn theo cách khác cho nghĩa không đổi/Suy luận suy diễn phán đoán theo cách khác Bài Cho phán đốn: Nếu hơm trời mưa tơi nghỉ học a) Viết phán đốn dạng cơng thức b) Tìm phán đốn đa phức hợp đẳng trị với phán đoán dạng cơng thức chứng minh tính đẳng trị c) Tìm phán đốn đẳng trị với phán đốn dạng ngơn ngữ/Diễn đạt phán đốn theo cách khác cho nghĩa không đổi/Suy luận suy diễn phán đoán theo cách khác Bài Cho phán đốn đơn: “Hơm thứ Sáu” “Ngày mai thứ Bảy” a) Thành lập phán đoán phức từ phán đoán đơn Viết dạng cơng thức phán đốn vừa lập b) Viết dạng cơng thức phán đốn đa phức hợp đẳng trị với phán đoán vừa lập câu a Chứng minh c) Diễn đạt lời phán đoán Bài Bạn An hiểu qui tắc “Nếu thuật ngữ khơng chu diên tiền đề không chu diên kết luận” sau: “Nếu thuật ngữ khơng chu diên kết luận không chu diên tiền đề” Bạn An hiểu hay sai logic V ì sao? Bài Diễn đạt phán đoán sau theo cách khác cho nghĩa không đổi: a) Doanh nghiệp trốn thuế bị phạt tiền bị xử lí hình b) Giá hàng hóa vừa phụ thuộc vào cung vừa phụ thuộc vào cầu Bài Cho hai mệnh đề: - Doanh nghiệp tư nhân giải việc làm cho xã hội - Doanh nghiệp tư nhân đóng góp phần thu cho nhà nước a) Từ mệnh đề trên, thành lập phán đoán phức phù hợp (dạng ngơn ngữ cơng thức) b) Tìm cơng thức đa phức hợp có giá trị logic tương đương với giá trị phán đốn (dạng cơng thức) tìm phần a (có chứng mình) c) Diễn đạt phán đốn thành lập phần a (dạng ngơn ngữ) cách cho nghĩa không đổi Bài Cho hai mệnh đề: - Tứ giác hình thoi - Tứ giác có bốn cạnh a) Từ mệnh đề trên, thành lập phán đoán phức phù hợp b) Tìm cơng thức đa phức hợp có giá trị logic tương đương với giá trị logic phán đốn tìm phần a (có chứng minh) Bài Cho hai mệnh đề: - Số chia hết cho số có tận - Số chia hết cho số có tận a) Từ mệnh đề trên, thành lập phán đoán phức hợp phù hợp b) Tìm cơng thức đa phức hợp có giá trị logic tương đương với giá trị logic phán đoán tìm phần a (có chứng minh) c) Diễn đạt ngơn ngữ phán đốn thành lập phần a theo cách khác cho nghĩa không đổi Bài Cho hai mệnh đề: - Bây học - Bây chơi a) Từ mệnh đề trên, thành lập phán đốn phức phù hợp b) Tìm cơng thức đa phức hợp có giá trị logic tương đương với giá trị logic phán đốn tìm phần a (có chứng minh) c) Diễn đạt ngơn ngữ phán đoán thành lập phần a theo cách khác cho nghĩa không đổi Bài 10 "Khơng son phấn vn xinh đp" a) Viết phán đốn dạng k hiệu b) Tìm phán đốn đẳng trị vói phán đốn cho Chứng minh c) Diễn đạt lời phán đoán đẳng trị tìm Bài 11 Cho hai mệnh đề: - Nước 100 độ nước sôi - Nước 100 độ bay a) Từ mệnh đề trên, thành lập phán đoán phức phù hợp b) Tìm cơng thức đa phức hợp có giá trị logic tương đương với giá trị logic phán đốn tìm phần a (có chứng minh) c) Diễn đạt ngơn ngữ phán đốn thành lập phần a theo cách khác cho nghĩa khơng đổi Bài 12 Cho phán đốn: “Khơng có niềm đam mê khoa học khơng thể trở thành nhà khoa học giỏi” Hãy cho biết phán đoán sau đẳng trị với phán đoán cho? Tại sao? a) Nếu có niềm đam mê khoa học trở thành nhà khoa học giỏi b) Khơng trở thành nhà khoa học giỏi chứng tỏ khơng có niềm đam mê khoa học c) Muốn trở thành nhà khoa học giiỏi phải có niềm đam mê khoa học d) Khơng thể có người đam mê khoa học mà không trở thành nhà khoa học giỏi Bài 13 Tìm cơng thức đa phức hợp đẳng trị với cơng thức (a v b) chứng minh tính đẳng trị Bài 14 Tìm cơng thức đa phức hợp đẳng trị với “a tuyển mạnh b” chứng minh Bài 15 Tìm cơng thức đa phức hợp đẳng trị với a ↔ bvà chứng minh tính đẳng trị SUY LUẬN Diễn dịch trực tiếp Bài Cho phán đốn: “Khơng sinh viên mong muốn có kết học tập kém” a) Thực phép đổi chất (chuyển hóa), đổi chỗ (đảo ngữ, đảo ngược), ĐLCT, ĐLVT phán đoán cho b) Dựa vào hình vng logic viết phán đốn có S P với phán đoán sau xác định giá trị logic chúng Tam đoạn luận Dạng 1: Đúng/Sai Bài Suy luận sau hay sai logic? Vì sao? a) Một số hình bình hành khơng phải hình vng Mọi hình chữ nhật hình bình hành Một số hình chữ nhật khơng phải hình vng b) Mọi hình vng hình bình hành Mọi hình vng hình chữ nhật Vậy, số hình chữ nhật hình bình hành c) Nhựa không dn điện Cái bát không dn điện Vậy, bát nhựa d) Người tham ô công mà ông X người, vậy, ông X tham ô công e) Mọi sinh viên phải học giờ, mà Dũng sinh viên nên anh phải học Bài Cho tam đoạn luận đơn: Quá nhiều sinh viên học logic Quá nhiều sinh viên đoàn viên Vậy, nhiều đoàn viên học logic a) Tam đoạn luận hay sai? Tại sao? b) Viết phán đốn có mối quan hệ hình vng logic với phán đốn tiền đề nhỏ xác định giá trị lôgic c) Phân chia khái niệm “đoàn viên” theo sở (mở rộng, thu hp khái niệm) Dạng 2: Thành lập TĐL từ thuật ngữ Bài Cho khái niệm: A – Hoa hậu VN, B – SV, C – SV ĐHNT a) Thành lập tam đoạn luận sai từ thuật ngữ trên, lỗi sai b) Thành lập tam đoạn luận từ thuật ngữ c) Xây dựng phán đốn có mối quan hệ với tiền đề lớn câu b hình vng logic, xác định giá trị logic phán đoán Bài Cho khái niệm: “số chia hết cho 3”, “số chia hết cho 5”, “số chia hết cho 6” a) Xây dựng tam đoạn luận từ khái niệm b) Tam đoạn luận sau hay sai Logic? Vì sao? Một số số chia hết cho số chia hết cho Một số số chia hết cho số chia hết cho Vậy số số chia hết cho số chia hết cho Bài Cho khái niệm: số chia hết cho 3, số chia hết cho 6, số chia hết cho a) Lập tam đoạn luận sai logic từ khái niệm trên, tam đoạn luận vi phạm nguyên tắc chung nguyên tắc riêng nào? b) Lập tam đoạn luận từ khái niệm c) Thực phép đối lập vị từ với tiền đề lớn ý b Bài Cho khái niệm: Số chia hết cho 2; Số chia hết cho 3; Số chia hết cho 18 a) Sử dụng khái niệm cho để xây dựng tam đoạn luận sai, rõ quy tắc chung riêng bị vi phạm suy luận b) Sử dụng khái niệm cho để xây dựng tam đoạn luận loại hình tự chọn c) Chọn tiền đề lớn (b) để thực thao tác đối lập vị từ Bài Cho khái niệm: “sinh viên khối kinh tế”, “sinh viên giỏi” “sinh viên có học lực trung bình” a) Xác định mối quan hệ mơ hình hóa quan hệ khái niệm b) Từ khái niệm cho xây dựng tam đoạn luận đơn Bài Cho khái niệm: Giảng viên ĐHNT, người lao động trí óc, phụ nữ a) Mơ hình hóa quan hệ khái niệm b) Thành lập tam đoạn luận sai từ thuật ngữ trên, lỗi sai c) Xây dựng luận đoạn đơn logic từ khái niệm Xác định kiểu, hình tam đoạn luận Dạng 3: Thành lập TĐL từ phán đoán cho trước Bài Cho mệnh đề: “Có nhiều sinh viên có khả tự tạo thu nhập” “Vừa học, vừa làm tự tạo thu nhập” Xây dựng tam đoạn luận từ mệnh đề Bài Cho mệnh đề: “Mọi hình vng hình chữ nhật” “Một số hình bình hành hình chữ nhật” Xây dựng tam đoạn luận từ mệnh đề (không xây dựng được) Dạng 4: TĐL rút gọn (nhị đoạn luận) Bài Khôi phục tam đoạn luận đầy đủ cho suy luận sau: a) “Dũng sinh viên suy anh phải học giờ” b) “Có nhiều sinh viên có khả tự tạo thu nhập vừa học, vừa làm tự tạo thu nhập” c) “Kim loại dn điện mà gỗ không dn điện” Bài Bạn A suy luận sau: “Vì số hình bình hành khơng phải hình vng, nên số hình chữ nhật khơng phải hình vng” a) Hãy xây dựng tam đoạn luận đầy đủ sau chứng tỏ bạn A suy luận sai b) Thực phép đối lập vị từ thơng qua phép chuyển hóa đảo ngược phán đoán kết luận suy luận c) Từ khái niệm “hình bình hành”, “hình chữ nhật”, “hình vng” xây dựng luận ba đoạn đơn Bài Cho suy luận: “Vì số người nhà khoa học, nên số giảng viên nhà khoa học” a) Suy luận hay sai logic? Vì sao? b) Từ ba thuật ngữ suy luận cho, xây dựng tam đoạn luận Bài “Vì khơng phải sinh viên FTU nên số sinh viên không hoa hậu VN” a) Khôi phục tam đoạn luận đầy đủ cho suy luận trên, xác định loại hình b) Tam đoạn luận hay sai, sao? c) Thực phép CH, ĐN, ĐLVT, ĐLCT với phán đoán tiền đề nhỏ tam đoạn luận câu a QUY LUẬT LOGIC Bài Chứng minh “Tôi nói dối” khơng phải phán đốn lưỡng trị chân thực Giả sử “Tơi nói dối” phán đoán lưỡng trị chân thực → Nội dung phán đốn chân thực → Người nói nói dối → Lời nói người khơng chân thực Mà lời nói người “tơi nói dối” → “tơi nói dối” khơng chân thực (trái với giả thiết) Vi phạm qui luật phi mâu thun Vậy “Tơi nói dối” khơng phải phán đốn lưỡng trị chân thực Bài Chứng minh “Tôi nói dối” khơng phải phán đốn lưỡng trị giả dối Giả sử “tơi nói dối” phán đoán lưỡng trị giả dối → Nội dung phán đoán giả dối → Người nói nói thực → Lời nói người chân thực Mà lời nói người “tơi nói dối” → “tơi nói dối” chân thực (trái với giả thiết) Vi phạm qui luật phi mâu thun Vậy “Tơi nói dối” khơng phải phán đốn lưỡng trị giả dối Bài “Tơi nói dối” có phải phán đốn khơng? Vì sao? (Chứng minh phần trên) Vậy “tơi nói dối” khơng chân thực khơng giả đối “Tơi nói dối” khơng phải phán đốn lưỡng trị Bài “Hai tư tưởng khơng thể đúng” tương đương logic với mệnh đề nào: A Hai tư tưởng sai B Hai tư tưởng tư tưởng tư tưởng cịn lại sai C Hai tư tưởng tư tưởng sai tư tưởng cịn lại D Đáp án khác (nếu có, trình bày đáp án đó) Gọi tư tưởng a b Câu gốc: 7(a^b); A 7(7a^7b); B a→7b; C 7a→b Lập bảng giá trị logic, từ suy ra: đáp án đúng: B Bài Nếu a tư tương mệnh đề “Một tư tưởng khơng thể đồng thời có hai giá trị logic trái ngược nhau” kí hiệu nào? A 7a^a B 7(av7a) C av7a D Đáp án khác (nếu có viết kí hiệu đáp án đó) Đ/a: 7(a^7a) chấp nhận (a tuyển mạnh 7a) Bài “Khi đột nhập vào nhà nạn nhân, bị cáo tuyên bố với nạn nhân rằng, bị cáo giết nạn nhân nạn nhân không đưa tiền cho bị cáo Điều bị cáo xác nhận có Bên cạnh quan điều tra có có kết luận rằng, sau lời tuyên bố bị cáo, nạn nhân đưa tiền cho bị cáo Vậy suy rằng, bị cáo không giết nạn nhân.” Viết công thức suy luận Đặt: a - bị cáo giết nạn nhân nạn nhân; b - nạn nhân đưa tiền cho bị cáo Công thức suy luận trên: [(7b→a)^b] →7a PPNCKH Bài Nêu vấn đề đề tài: “Vấn đề tự học sinh viên ĐHNT nay” Bài Thông qua đề tài “Nâng cao lực nghiên cứu khoa học sinh viên Đại học Ngoại Thương nay”, làm rõ vấn đề đề tài nghiên cứu khoa học Bài Nêu vấn đề đề tài "Rèn luyện lực NCKH SV ĐHNT nay" Bài Nêu nội dung đề tài “Văn hóa đọc SV ĐHNT” Bài Lập trình tự logic cho đề tài: “Vấn đề sống thử SV địa bàn Hà Nội” Bài Lập trình tư logic cho đề tài “Phương pháp học tập hiệu cho sinh viên năm ĐH Ngoại Thương” PPHT Bài Trình bày nhân tố ảnh hưởng đến hoạt động nhận thức rút nghĩa việc đề phương pháp học tập thân em Bài Trình bày nhân tố ảnh hưởng đến hoạt đaộng nhận thức liên hệ để rút học phương pháp học tập thân anh/chị Bài Nêu chất cấp độ nhận thức, từ liên hệ để rút học cho thân trình học tập