形式逻辑试题

形式逻辑是研究推理结构和规则的学科，旨在帮助人们识别有效的论证与错误的推理。下面是一份形式逻辑试题，旨在考察对基本概念的理解以及运用能力。

一、选择题（每题5分，共20分）

1. 下列哪项不属于演绎推理？

A. 三段论

B. 假言推理

C. 归纳推理

D. 条件推理

2. “所有A都是B，所有C都不是B，因此所有C都不是A。” 这属于哪种推理类型？

A. 直言推理

B. 归纳推理

C. 类比推理

D. 假言推理

二、简答题（每题10分，共20分）

1. 请解释什么是“有效论证”。

2. 请举例说明“谬误”的概念，并指出其类型。

解析

解析部分将详细分析上述试题的答案及解题思路，帮助读者更好地理解形式逻辑的核心概念与应用技巧。