【单选题】
由n个命题变元组成不等值的命题公式的个数为___。
查看试卷，进入试卷练习
微信扫一扫，开始刷题
相关试题
【单选题】
设P：我将去镇上，Q：我有时间。命题“我将去镇上，仅当我有时间时”符号化为___。
A. P→Q
B. Q→P
C.
D. ﹁Q∨﹁P
【单选题】
下列各组公式中，哪组是互为对偶的？___。
A. P,P
B. P,﹁P
C. A,(A*)*
D. A,A
【单选题】
设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为___。
A. ﹁P∧﹁Q
B. ﹁P∨﹁Q
C. ﹁( )
D.
【单选题】
设P：张三可以做这件事，Q：李四可以做这件事。命题“张三或李四可以做这件事”符号化为___。
A. P∨Q
B. P∨﹁Q
C.
D. ﹁(﹁P∨﹁Q)
【单选题】
命题公式(P∧(P→Q))→Q是___。
A. 矛盾式
B. 蕴含式
C. 重言式
D. 等值式
【单选题】
P→Q的逆反式是___。
A. Q→﹁P
B. P→﹁Q
C. ﹁Q→P
D. ﹁Q→﹁P
【单选题】
﹁P→Q的逆换式是___。
A. Q→﹁P
B. P→﹁Q
C. ﹁Q→P
D. ﹁Q→﹁P
【单选题】
已知A是B的充分条件，B是C的必要条件，D是B的必要条件，则A是D的___。
A. 充分条件
B. 必要条件
C. 充要条件
D. A，B，C都不对
【单选题】
﹁P→Q的反换式是___。
A. Q→﹁P
B. ﹁P→﹁Q
C. ﹁Q→﹁P
D. P→﹁Q
【单选题】
重言式的否定式是___。
A. 重言式
B. 矛盾式
C. 可满足式
D. 蕴含式
【单选题】
命题公式P→Q∧R的对偶式为___。
A. P→(Q∨R)
B. P∧(Q∨R)
C. ﹁P∨(Q∧R)
D. ﹁P∧(Q∨R)
【单选题】
命题公式P→(Q↓P)是___。
A. 重言式
B. 可满足式
C. 矛盾式
D. 等值式
【单选题】
P ﹁Q ___。
A. ﹁P→(P→﹁Q)
B. (﹁P∨Q)∧(﹁Q∨P )
C. (﹁P∨﹁Q)∧(﹁Q∨P)
D. (﹁P∨﹁Q)∧(Q∨P )
【单选题】
命题公式﹁(P∧Q)→R的主析取范式中含极小项的个数为___。
【单选题】
命题公式﹁(P∧Q)→R的主析取范式中含极大项的个数为___。
【单选题】
命题公式﹁(P∧Q)→R的成真赋值为___。
A. 000，001，110
B. 001，011，101，110，111
C. 全体赋值
D. 无
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中量词 x的作用域是___。
A. ( x)(P(x)∨( y)R(y))
B. P(x)
C. P(x)∨( y)R(y)
D. P(x) ,Q(x)
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中变元x是___。
A. 自由变量
B. 约束变量
C. 既不是自由变量也不是约束变量
D. 既是自由变量也是约束变量
【单选题】
设谓词P(x):x是奇数，Q(x):x是偶数，谓词公式 ( x)(P(x) Q(x)) 在下面哪个论域中是可满足的？___
A. 自然数集
B. 整数集
C. 实数集
D. 以上均不成立
【单选题】
设C(x):x是运动员，G(x):x是强壮的。命题“没有一个运动员不是强壮的”可符号化为___。
A. ﹁( x)( C(x) ﹁G(x) )
B. ﹁( x)( C(x)→﹁G(x) )
C. ﹁( x)( C(x) ﹁G(x) )
D. ﹁( x)( C(x)→﹁G(x) )
【单选题】
设A(x):x是人，B(x):x犯错误，命题“没有不犯错误的人”符号化为___。
A. ( x)( A(x)
B. (x) ) B、﹁( x)( A(x)→﹁B(x) )
C. ﹁( x)( A(x) B(x) )
D. ﹁( x)( A(x) ﹁B(x) )
【单选题】
设Z(x):x是整数，N(x):x是负数，S(x,y):y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式：___。
A. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
B. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
C. ( x) ( y) ( Z(x)→S(x,y) ﹁N(y ))
D. ( x) ( Z(x) S(x,y)→﹁N(y ))
【单选题】
令F(x):x是火车，G(y):y是汽车，H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为：___。
A. ( y) (G(y)→( x) (F(x) H(x,y )))
B. ( y) (G(y) ( x) (F(x)→H(x,y )))
C. ( x) ( y) (G(y)→(F(x) H(x,y )))
D. ( y) (G(y)→( x) (F(x)→H(x,y )))
【单选题】
设个体域A={a,b}，公式 ( x)P(x) ( x)S(x) 在A中消去量词后应为___。
A. P(x) S(x)
B. P(a) P(b) (S(a) S(b))
C. P(a) S(b)
D. P(a) P(b) S(a) S(b)
【单选题】
在谓词演算中：P(a)是( x)P(x)的有效结论，其理论根据是___。
A. 全称规定规则（US）
B. 全称推广规则（UG）
C. 存在规定规则（ES）
D. 存在推广规则（EG）
【单选题】
设A={x|x3-x=0}, B={x|x2-4<0,x∈Z}, C={x|y=2x-1}, D={x|x+y=5,xy=6}，则有___。
A. A=B
B. A=C
C. C=D
D. C=A
【单选题】
在0________Φ之间填上正确的符号。 ___
【单选题】
设M={x|f1(x)=0},N={x|f2(x)=0}，则方程f1(x)·f2(x)=0的解为___。
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
集合A={1,2,…,10}上的关系R={<x,y> | x+y=10, x∈A, y∈A}，则R的性质为 ___。
A. 自反的
B. 对称的
C. 传递的，对称的
D. 反自反的，传递的
【单选题】
设S={1,2,3}，下图给出了S上的两个关系R1，R2，则复合关系 是___。
A. 自反的
B. 传递的
C. 对称的
D. 等价的
【单选题】
设A={1,2,3,4,5}，ρ={<i,j>| i<j,i,j∈A}，则 的性质是___。
A. 对称的
B. 自反的
C. 反对称的
D. 反自反、反对称、传递的
【单选题】
设集合A={a,b,c}，R是A上的二元关系，R={<a,a>,<a,b>,<a,c>,<c,a>}，那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
设R和S是集合A上的等价关系，则R∪S的对称性___。
A. 一定成立
B. 一定不成立
C. 不一定成立
D. 不可能成立
【单选题】
设R和S是非空集合A上的等价关系，下述各式是等价关系的为___。
A. (A×A)-R
B. R2
C. R-S
D. r(R-S)
【单选题】
集合A上的关系R是相容关系的必要条件是___。
A. 自反、反对称的
B. 反自反、对称的
C. 传递、自反的
D. 自反、对称的
【单选题】
设R是集合A上的偏序关系， 是R的逆关系，则R∪ 是___。
A. 偏序关系
B. 等价关系
C. 相容关系
D. 都不是
【单选题】
设集合A中有4个元素，则A上的不同的等价关系的个数为___。
A. 11个
B. 14个
C. 15个
D. 17个
推荐试题
【判断题】
我行应收贴现利息=票面金额*年贴现利率/贴现天数*360
【判断题】
可以在承兑汇票前手背书人栏随意填写背书日期。
【判断题】
柜员可在“撤销记账”菜单对已完成记账的贴现批次业务进行冲账，会计分录为原记账分录红字记账。
【判断题】
验票操作是确认银行承兑汇票真实性的重要环节，不能“先贴后查”；承兑行回复的有关照验票资料必须与原票一并妥善保管。
【判断题】
若票据状态处理为退票结清，系统不再支持重新发起托收
【判断题】
委托收款前，经办人员需先复印银行承兑汇票正面留存，贴现银行作为持票人，在汇票背面背书栏加盖结算专用章和经办柜员私章，注明“委托收款”字样。
【判断题】
买方付息由票据持票人付息给贴现银行，贴现行收到利息后按日进行利息分摊，把票面金额与利息之差的金额转入贴现申请人账户。
【判断题】
卖方付息由票据持票人的前手或出票人付息给贴现银行，贴现行收到利息后按日进行利息分摊，把票面金额转入贴现申请人账户。
【判断题】
协议付息由卖方和买方按各自比例付息给贴现银行，贴现行收到利息后按日进行利息分摊，把票面金额与卖方付息比例部分之差的金额转入贴现申请人账户。
【判断题】
商业承兑汇票保贴业务是指对特定承兑人承兑的商业承兑汇票或对特定持票人持有的商业承兑汇票，本行承诺在授信额度和一定期限内予以保证贴现的行为。
【判断题】
国内外汇贷款专用账户实行一个客户一个外汇贷款专用账户，账户对应的贷款合同履行完毕后，应注销专用账户。
【判断题】
外汇贷款利率参照《绍兴银行外币存贷款利率定价管理办法》执行。
【判断题】
外汇贷款指向借款人自主提供的并按约定的利率和期限还本付息的、以外币为计价单位的自营外汇贷款。
【判断题】
外汇贷款包括外汇流动资金贷款、进口押汇、出口商业发票贴现外债转贷款、个人外汇贷款、出口押汇和各类垫款等。
【判断题】
出口项下国际贸易融资在企业外汇贷款专户中放款，外汇流动资金贷款和进口项下国际贸易融资在企业经常项目外汇账户中放款。
【判断题】
外汇流动资金贷款和进口项下国际贸易融资类国内外汇贷款可以结汇。
【判断题】
债务人偿还贷款本息时，应先使用自有外汇，不足部分方可购汇。
【判断题】
还贷资金进入专用账户的时间不得超过贷款到期日或实际偿还日前3个工作日。
【判断题】
打包贷款期限不得延期，信用证修改有效期延长除外。
【判断题】
打包贷款项下的出口信用证业务在叙做出口押汇或收汇后，无论打包贷款是否到期，应立即用于归还打包贷款本息，多余部分暂挂银行内部帐户。
【判断题】
打包贷款指银行凭境外银行开立有效信用证正本、按信用证金额的一定比例向出口商发放的用于该信用证项下出口商品的备货、备料、生产、加工及装运等款项的一种中长期资金融通。
【判断题】
打包贷款项下的出口信用证业务在做出口押汇或收汇后，打包贷款未到期，无需立即用于归还打包贷款本息，可于贷款到期后归还。
【判断题】
在我行办理订单融资的客户，其订单后续环节的出口贸易融资或出口结算业务（含出口托收或出口T/T收汇业务）必须在我行办理。
【判断题】
订单融资业务只可以发放人民币融资，不得发放外币融资。
【判断题】
在我行办理订单融资的客户，其订单后续环节的出口贸易融资或出口结算业务（含出口托收或出口T/T收汇业务）可不在我行办理。
【判断题】
汇款结算方式下，我行只办理货到付款项下的订单融资业务；如订单存在部分预付，我行只对预付货款以外部分提供订单融资。
【判断题】
出口押汇系指出口商将全套出口单据提交我行，由我行买入单据并按票面金额扣除从押汇日到预计收汇日的利息及有关手续费用，将净额预先付给出口商的一种融资方式。
【判断题】
除非出口商有异议，发票上须载有转让条款。
【判断题】
出口押汇是一种保留追索权的短期贸易融资方式。
【判断题】
在我行办理订单融资的客户，其订单后续环节的出口贸易融资或出口结算业务（含出口托收或出口T/T收汇业务）必须在我行办理。
【判断题】
出口款项收妥后，应立即归还我行押汇款项。在扣除本行押汇本金、利息及相关费用后，将余额解付申请人账户；收汇款项不足以弥补押汇本金及相关费用的，差额部分由申请人承担。
【判断题】
出口押汇按结算方式可分为信用证项下出口押汇和出口托收项下出口押汇。
【判断题】
货运目的地是局势动荡、紧张或已发生战争的国家或地区，原则上不办理出口押汇，如客户坚持可以正常收汇，可在落实好授信保证措施后谨慎办理
【判断题】
进口押汇是指我行应进口商申请，在货到付款的汇款结算方式、进口信用证或进口代收项下，在进口商汇款项下提供有效凭证和商业单据或进口信用证/进口代收项下单据并经审核无误后，在进口商对外付款时向其提供的短期融资，并按约定的利率和期限由进口商以自有资金来还本付息的一项融资业务。
【判断题】
如果到期付汇时仍未办妥押汇手续而付汇资金又未能到位的，以信用证项下垫款处理。
【判断题】
我行可以叙做进口押汇业务的国际结算方式包括：信用证、D/P即期及D/A项下进口代收、T/T,对T/T项下的进口押汇原则上必须是贸易项下的货到付款方式。
【判断题】
单位定期存款开户证实书能作为质押的权利凭证。
