例题
题目下面关于「形式有效与内容真实」的说法中，正确的是？
A. 用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。 B. 逻辑学以思维形式及其规律为研究对象，考察推理形式的有效性。 C. 形式有效指前提真时结论必然真；内容真实指命题与事实相符。二者是不同层面的评价。 D. 两个互相矛盾的命题不能同时为真，其中必有一假。
A. 用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。 B. 逻辑学以思维形式及其规律为研究对象，考察推理形式的有效性。 C. 形式有效指前提真时结论必然真；内容真实指命题与事实相符。二者是不同层面的评价。 D. 两个互相矛盾的命题不能同时为真，其中必有一假。
逐项解析
- A 项不选：用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。该表述属于相邻知识点的内容，或把结论说绝对了。
- B 项不选：逻辑学以思维形式及其规律为研究对象，考察推理形式的有效性。该表述属于相邻知识点的内容，或把结论说绝对了。
- C 项正确：形式有效指前提真时结论必然真；内容真实指命题与事实相符。二者是不同层面的评价。这一点与本知识点完全一致。
- D 项不选：两个互相矛盾的命题不能同时为真，其中必有一假。该表述属于相邻知识点的内容，或把结论说绝对了。
小结
本题答案是 C。本题直接考查「形式有效与内容真实」的定义。形式有效指前提真时结论必然真；内容真实指命题与事实相符。二者是不同层面的评价。
举一反三遇到同类题目时，先定位考查的是「形式有效与内容真实」的哪一层含义：是有效推理可以有假前提，也可以有假结论，还是它在实际使用中的边界条件。