ĐỀ THI ĐÁP ÁN MÔN NHẬP MÔN LOGIC HỌC MÃ MÔN HỌC INLO 220405 NGÀY THI 26122013 THỜI GIAN LÀM BÀI 60 phút (Không sử dụng tài liệu) ĐỀ THI Câu 1 (2,0 đ) Viết công thức và tìm phán đoán tương đương vớ.LOGIC HỌC
ĐỀ THI & ĐÁP ÁN MÔN: NHẬP MÔN LOGIC HỌC MÃ MÔN HỌC INLO 220405 NGÀY THI: 26/12/2013 THỜI GIAN LÀM BÀI: 60 phút (Không sử dụng tài liệu) ĐỀ THI Câu (2,0 đ): Viết cơng thức tìm phán đoán tương đương với phánđoán sau:Trong xã hội ta, khơng có nghề thấp (Hồ Chí Minh) Nếu có khiếu niềm say mê bạn trở thành thiên tài Câu (2,0 đ): Xác định giá trị chân lý công thức phán đoán sau:~((q∧s)∨∼p)(∼p ∧(∼q∨r) )⇒(p ⇒q) Câu (2,5 đ): Tam đoạn luận sau có hợp logic khơng? Hãy chứngminh? Khơng kẻ xu nịnh có lịng tự trọng Một số người xung quanh ta kẻ xu nịnhVậy, số người xung quanh ta khơng có lịng tự trọng Câu (2,0 đ): Suy luận sau có hợp logic không? Hãy chứng minh?Em khen thưởng học giỏi khoẻ mạnh Mà em không khoẻ thìemcũng chẳng học giỏi Cho nên, em học giỏi em khenthưởng Câu (1,5 đ): Học sinh giải?Một trường cử sáu học sinh Chính, Bình, Nghĩa, Quang,Thu Phúc dự thihọc sinh giỏi Có tin báo có hai học sinh đạtgiải Có năm thầy dự đốnnhư sau:Chính Bình giảiNghĩa Quang giảiThu Chính giảiNghĩa Thu giảiPhúc Chính giảiCó thầy dự đốn sai hồn tồn cịn bốn thầy khác đốn học sinhđược giải Bằng ngơn ngữ kí hiệu logic hình thức, cho biết học sinh nàođược giải?