logo
首页 课程 题库 资讯 师资
加微福利
APP 400-8989-766
search
公考题库 > 公务员 > 省考

(单选题)

合式公式(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选项。

知识点:多定义 判断推理 定义判断 公务员 省考
华图在线app

添加您的

专属公考咨询师

扫码领专属好礼

返回顶部