Logic học đại cương, kết thúc học phần, trường ĐH Công nghệ, Đại học QGHN, 2006
Bài từ Thư viện Đề thi VLOS.
| ĐỀ THI ĐẠI HỌC Năm 2 Khoá 50 | |
| Trường học | Đại học Công nghệ, ĐH Quốc gia HN |
| Lớp học | Đại học |
| Năm học | 2006 |
| Môn thi | Logic học đại cương |
| Thời gian | 60 phút |
| Thang điểm | 2 đơn vị học trình |
Câu 1:
Cho mệnh đề:
- Nếu cả hai tiên đề đều là phán đoán phủ định, thì không suy ra được kết luận
- Hỏi:
- a) Hãy cho biết đó là qui tắc của loại hình suy luận nào và giải thích tại sao lại như vậy?
- b) Hãy phát biểu các phán đoán đẳng trị với qui tắc trên.
Câu 2:
Có người lập luận như sau: "Vì một số chẵn không là số chia hết cho 5, cho nên có số chia hết cho 5 là số không chia hết cho 6".
- Hỏi:
- a) Mô hình hoá quan hệ thực giữa xác thuật ngữ lôgic trong suy luận.
- b)Hãy khôi phục suy luận về dạng đầy đủ, cho biết loại hình suy luận và xác địch chu diên của các thuật ngữ lôgic trong suy luận đó.
- c) Suy luận như thế là đúng hay sai, vì sao?
- d) Thực hiện phép đổi chỗ, đổi chất đối với phán đoán tiền đề lớn trong suy luận trên.
- e) Hãy xây dựng từ các thuật ngữ ở đầu bài một tam đoạn luận đúng.
