安徽人事考试网同步华图事业单位题库发布职业能力测试：合式公式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个希腊字母χ，的全部内容，更多资讯请继续查看:安徽人事考试网。
（编辑：安徽华图）
