满分5 > 高中数学试题 >

现定义命题演算的合式公式(wff),规定为: A、单个命题本身是一个合式公式; ...

现定义命题演算的合式公式(wff),规定为:
A、单个命题本身是一个合式公式;
B、如果A是合式公式,那么¬A是合式公式;
C、如果A和B是合式公式,那么(A∧B),(A∨B),(A→B),(A↔B)都是合式公式;
D、当且仅当能够有限次地运用A、B、C所得到的命题是合式公式.
说明:考生无需知道(A∧B),(A∨B),(A→B),(A↔B)所表示的具体含义.
下列公式是合式公式的是:   
①((¬P→Q)→(Q→P))②(Q→R∧S)③(RS→T)
④(P↔(R→S))⑤((P→(Q→R))→((P→Q)→(P→R))
利用合式公式的定义进行命题的判断是解决本题的关键.关键要理解合式公式的本质,需要满足题目给出的哪些条件. 【解析】 在①中,满足A、B、C、D所有条件,是合式公式; ②中没有对(Q→R∧S)进行具体划分,两种命题运算符不知道哪个先,所以②不是合式公式; ③中R与S之间缺少必要的命题运算符,所以该式不是合式公式; ④、⑤符合题目要求,是合式公式. 故答案为:①④⑤.
复制答案
考点分析:
相关试题推荐
已知数列A:a1,a2,…,an(0≤a1<a2<…<an,n≥3)具有性质P:对任意i,j(1≤i≤j≤n),aj+ai与aj-ai两数中至少有一个是该数列中的一项.现给出以下四个命题:
①数列0,1,3具有性质P;
②数列0,2,4,6具有性质P;
③若数列A具有性质P,则a1=0;
④若数列a1,a2,a3(0≤a1<a2<a3)具有性质P,则a1+a3=2a2
其中真命题有    查看答案
给出封闭函数的定义:若对于定义域D内的任意一个自变量x,都有函数值f(x)∈D,则称函数y=f(x)在D上封闭.若定义域D=(0,1),则函数①f1(x)=3x-1;②f2(x)=-manfen5.com 满分网x2-manfen5.com 满分网x+1;③f3(x)=1-x;④f4(x)=x,其中在D上封闭的是    .(填序号即可) 查看答案
若定义在区间D上的函数f(x)对D上的任意n个值x1,x2,…,xn,总满足manfen5.com 满分网[f(x1)+f(x2)+…+f(xn)]≤f
manfen5.com 满分网),则称f(x)为D上的凸函数.已知函数y=sinx在区间(0,π)上是“凸函数”,则在△ABC中,sinA+sinB+sinC的最大值是     查看答案
定义一种运算“*”:对于自然数n满足以下运算性质:(i)1*1=1,(ii)(n+1)*1=n*1+1,则n*1等于( )
A.n
B.n+1
C.n-1
D.n2
查看答案
若称manfen5.com 满分网为n个正数,a1,a2…,an的“均倒数”,数列{an}的各项均为正,但其前n项的“均倒数”为manfen5.com 满分网,则数列{an}的通项公式为( )
A.2n-1
B.4n-3
C.4n-1
D.4n-5
查看答案
试题属性

Copyright @ 2008-2019 满分5 学习网 ManFen5.COM. All Rights Reserved.