安徽人事考试网同步华图公务员题库发布公务员行测：合式公式wff包括四类符号：13个拉丁字母A,B,C；23个希腊字母χ，。更多关于2024年安徽公务员考试,安徽省考模考,安徽公务员模考大赛的相关资讯，请关注华图考试资讯号(htgwyks)。
题型：单选题（分值：1）
合式公式（wff）包括四类符号：
（1）3个拉丁字母（A,B,C）；
（2）3个希腊字母（χ，φ，ψ）；
（3）5个特殊符号﹁、∧、∨、→、?；
（4）一对左右圆括号（）。
合式公式（wff）基础按照如下方式构成：
如果x、y是3个拉丁字母中的任意两个，M是3个希腊字母的任意一个，则xMy是wff。
合式公式（wff）归纳条款按照下列方式构成：
（1）若X是一个（wff）基础，则（X）、﹁（X）都是（wff）归纳条款；
（2）若X、Y是任意（wff）归纳条款，则（X∨Y）、（X∧Y）、（X→Y）都是（wff）归纳条款。
根据上述定义，下列属于（wff）归纳条款的是：
A.AχC
B.﹁（xMy）
C.（BφC）∨﹁（CψA）
D.（﹁（CψA）→（（BχA）∨（AφC）））
答案：D
解析：
第一步，根据提问方式，确定为选是题。
第二步，找关键信息。
①合式公式（wff）基础：如果x、y是3个拉丁字母中的任意两个，M是3个希腊字母的任意一个，则xMy是wff；
②合式公式（wff）归纳条款：（1）若X是一个（wff）基础，则（X）、﹁（X）都是（wff）归纳条款；（2）若X、Y是任意（wff）基础，则（X∨Y）、（X∧Y）、（X→Y）都是（wff）归纳条款。
第三步，辨析选项。
A项：AχC符合“xMy”形式，属于合式公式（wff）基础，不符合合式公式（wff）归纳条款；
B项：x、y不属于“拉丁字母（A,B,C）”，M不属于“（χ，φ，ψ）”，xMy不是合式公式（wff）基础，不属于合式公式（wff）归纳条款，不符合定义；
C项：BφC和CψA是合式公式（wff）基础，则（BφC）和﹁（CψA）属于（wff）归纳条款，可用X、Y表示，但X∨Y不符合“（X∨Y）”，不符合（wff）归纳条款；
D项：BχA和AφC是（wff）基础，则（BχA）和（AφC）属于（wff）归纳条款，（（BχA）∨（AφC））符合“（X∨Y）”，符合（wff）归纳条款，用S表示，﹁（CψA）符合“﹁（X）”，属于（wff）归纳条款，用P表示，（P→S）符合“（X→Y）”，符合（wff）归纳条款。
因此，选择D选项。
以上是安徽公务员模考大赛的试卷的部分试题内容，更多2024年安徽公务员考试,安徽省考模考,安徽公务员模考大赛，请继续查看2024年安徽省公务员考试模考大赛第四十一期试题题库或最新公务员试题题库。
以上是合式公式wff包括四类符号：13个拉丁字母A,B,C；23个希腊字母χ，的全部内容，更多资讯请继续查看:安徽人事考试网。
（编辑：安徽华图）
