相关试题
【单选题】
由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. 都不是
推荐试题
【判断题】
受托支付支付确认交易是将受托支付金额作解除止付处理，如当天发现错误，可经主办会计授权后进行撤销，隔日不可冲账。
【判断题】
还款方式为自动，是指委托贷款还款后本金会自动返还到委托人结算账户。
【判断题】
如果住房类贷款产品需要将贷款转给第三方，贷款发放时候入账账号直接输第三方结算账号即可。
【判断题】
还款类型为提前还本时，需要输入“提前还款本金”金额，输入的金额应大于等于剩余本金。
【判断题】
同一贷款账号下，如果当天先做过提前还本，之后再做提前结清，系统会报错，需将提前还本冲账后再处理提前结清。
【判断题】
委托贷款在发放前，需先从委托人结算账户将金额转入委托存款账户。贷款发放后将贷款金额从委托存款账户转到委托存款账户下的镜像账户。
【判断题】
我行只作为参加行的银团贷款如果代理行划回的金额与我行计提利息金额不符，先做利息调整再做还款。
【判断题】
贷款“入账账号”字段账户状态和账户属性判断，如果状态为正常、今日开户的，属性为正常、止付-部分止付、止付-存款证明、中间业务等属性可以进行放款，账户属性为止付、冻结、资金池则不允许放款。
【判断题】
还款类型为提前还本时，需要输入“提前还款本金”金额，输入的金额应小于剩余本金。
【判断题】
如果贷款发放的入账账号是当日开户，那么在发放的贷款将无法入账。
【判断题】
归还垫款时，还款类型只能选归还欠款或逾期结清。
【判断题】
现转标识可选现金或转账，还款账号可输入结算账号，内部账号，不能输入科目号，还款账号户名回显，不可修改。
【判断题】
住房类贷款产品需要将贷款转给第三方的，贷款发放时不可以直接将第三方结算账号作为贷款的入账账号。
【判断题】
等额本金按月、按季；等额本息按月、按季的还款方式和自定义还款方式的贷款，其放款日须与贷款到期日的年月日的“日”前后一致。如：2016年1月12日--2026年1月12日。
【判断题】
贷款抵质押物品按信贷部门提供的金额（认定价值）入账，纳入“704抵（质）押品”表外科目核算，记账员和保管员分离，并按规定入库保管。
【判断题】
柜员在核心系统进入3002交易码发放贷款。
【判断题】
还款类型为归还欠款且需要调整欠款顺序时无需会计主管授权。
【判断题】
如果贷款是由总行放款中心审批的，无需对放款通知书、借款借据、贷款人受托支付通知书（或计划清单、实际支付清单）的合规性审查。
【判断题】
贷款抵质押物品按信贷部门提供的金额（认定价值）入账，纳入“704抵（质）押品”表外科目核算，记账员和保管员可以同时兼任，并按规定入库保管。
【判断题】
贷款发放交易成功后需到6205进行贷款短信签约，系统不会联动交易。
【判断题】
若贷款是由总行放款中心审批的，只需对放款通知书、借款借据、提款申请书、贷款合同的合规性审查。
【判断题】
贷款到期或逾期，在客户未主动出具还款支付结算凭证的情况下，会计部门填制特种转账凭证进行还贷。
【判断题】
垫款发放后按月结息，结息日为次月的对应发放日。
【判断题】
银承垫款发放时，需要信贷部门提供《绍兴银行垫款发放通知书》，然后在核心系统里发放垫款。
【判断题】
垫款发放后按月结息，结息日为下月的20日。
【判断题】
垫款贷款在银行中被列为不良资产，属于逾期贷款一类，按年利率18%计收罚息。
【判断题】
垫款贷款属于逾期贷款，还款顺序产品层默认为先还本金，再还利息。
【判断题】
垫款发放后按季结息，结息日为次月的对应发放日。
【判断题】
其中归还银承垫款时，借据号为数据平台垫款清单中的贷款账号。
【判断题】
信贷部门提供的《绍兴银行垫款放款通知书》上必须加盖客户公章。
【判断题】
AI.根据入账账号判断，如果状态为正常、今日开户的，属性为正常、止付—存款证明、止付—部分止付、中间业务等属性可以进行放款，账户属性为全部止付、质押止付、冻结、资金池则不允许放款。
【判断题】
AJ.银行垫款贷款是指银行在客户无力支付到期款项的情况下,被迫以自有资金代为支付的行为。
【判断题】
AK.垫款贷款属于逾期贷款，还款顺序产品层默认为先还利息，再还本金。
【判断题】
AL.垫款归还时还款类型为归还欠款时，还款总金额应大于欠款合计。
【判断题】
AM.垫款贷款在银行中被列为不良资产，属于逾期贷款一类，按年利率15%计收罚息。
【判断题】
AN.垫款归还时现转标识可选择现金/转账，还款账号可输入账号、科目号或内部账号，还款账号户名自动回显，不可修改。
【判断题】
AO.还款类型选择归还欠款，默认还款顺序为本金欠款、减值利息、减值罚息欠款、减值复利欠款、减值费用欠款，不可根据需要调整还款顺序。
【判断题】
AP.垫款贷款业务必须凭《绍兴银行垫款放款通知书》操作，审批权限必须按有关规定执行，严禁未经审批操作垫款贷款业务。
