相关试题
【判断题】
命题公式(P∧(P→Q))→Q是重言式
【判断题】
在命题的演算中，每个最小联结词组至少有两个联结词
【判断题】
命题联结词集{﹁,∧,∨}是最小联结词集
【判断题】
命题联结词集{↑}和{↓}都是最小联结词集
【判断题】
A是命题公式，A与(A*)*互为对偶式
【判断题】
任一命题公式的主析取范式和它的主合取范式互为对偶式
【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)
【判断题】
同一谓词公式，指定不同的论域，其真值不一定相同
【判断题】
谓词公式(x)P(x)(y)﹁P(y)是矛盾式
【判断题】
(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)
【判断题】
(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)
【判断题】
P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P
【判断题】
(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)
【判断题】
(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)
【判断题】
公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )
【判断题】
公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后，得到的等价公式为：(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)
【判断题】
{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}
【判断题】
设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B
【判断题】
设A、B是集合，则命题AB 和A∈B可能同时成立
【判断题】
设A、B是任意集合，则P(A-B)=P(A)-P(B)
【判断题】
设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有A-B=Φ
【判断题】
设A、B是两个非空集合，若{A-B,B-A}是A∪B的一个划分，则有A∩B=Φ
【判断题】
设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ
【判断题】
设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的
推荐试题
【单选题】
编制和调整审计方案只可以采取文字的形式。___
【单选题】
现场审计组副组长或主审是审计项目实施方案的主要组织和执行者，对审计进度和质量承担责任。___
【单选题】
现场审计组审计人员对所有审计事项的全面性负责，对审计工作底稿的真实性、完整性负责。___
【单选题】
现场审计组组长将其具体工作职责委托给副组长、主审或者现场审计组其他成员的，可以口头告知或者书面明确。___
【单选题】
对采用多次审计的，每次都需要制发审计通知书，明确相关要求。___
【单选题】
召开进点会议时不需要记录会议内容和过程形成进点会议记录。___
【单选题】
电子资料的调阅不需经过合规授权，。___
【单选题】
审计人员提出调阅需求，但被审计单位未提供的调阅资料不需要在《调阅资料清单》中注明。___
【单选题】
证据提供单位意见栏可以签“属实”或“不属实”以及意思相近的词汇。___
【单选题】
审计组在审计过程中发现重大问题或案件线索，应当撰写专题报告，提出相关建议，专题报告原则上一事一报或一类一报。___
【单选题】
被审计单位对征求意见的审计报告有异议的，审计组应当进行核实，但不需要作出书面说明。___
【单选题】
经整改督办部门同意，非业务操作类问题整改期限可以适当延长。___
【单选题】
审计部门和审计人员开展行业审计工作，应当区分被审计单位的责任和审计部门的责任。___
【单选题】
对照整改完成标准，具体问题整改结果分为已整改、部分整改和未整改三种情形。___
【单选题】
整改工作的完成情况由审计部予以审核。___
【单选题】
审计操作规程适用于一般审计项目，特殊审计事项，可根据实际情况适当调整审计程序和方法，但应加强审计现场管理，确保审计质量，防范审计风险。___
【单选题】
归档保存的电子档案一般不加密，必须加密归档的电子档案不能与其解密软件和说明文件一同归档。___
【单选题】
封存的电子档案特殊情况下可以外借。___
【单选题】
任何部门或个人查阅审计档案资料时，不得损毁、涂改或圈划，不得转借他人或遗失。___
【单选题】
审计部门应结合审前调查和非现场审计情况制定方案，对审计项目的组织实施、审计内容和审计资源等做出安排。___
【单选题】
审计组一般应在实施现场审计10个工作日前向被审计单位送达审计通知书。___
【单选题】
审计部门按照每5年完成对辖内全部法人机构全面审计的监管要求，科学制定审计项目，有序实施审计检查。___
【单选题】
分类处置是指审计部门针对审计发现问题，依据有关规定而采取相关工作的全过程。___
【单选题】
被审计单位或个人对审计结果存在异议的，可在收到审计部门审计整改通知书后15个工作日内向省联社审计部申请复议。___
【单选题】
审计质量控制主要包括质量控制目标、质量监督、考核评价、责任追究等。___
【单选题】
审计项目质量责任分为直接责任、审核责任、领导责任。___
【单选题】
具体问题整改结果分为已整改、部分整改和未整改三种情形。___
【单选题】
错误行为无法纠正，但风险控制到位、责任追究到位的，不能视同已整改。___
【单选题】
审计主要程序包括审计准备、审计实施、重大问题督办、结束现场审计、审计报告五个阶段。___
【单选题】
审前培训可采取集中培训、专题讲座、视频会议等形式。___
【单选题】
审计电子档案必须将具有永久和长期性，纸质档案与电子档案一同由审计部管理。___
【单选题】
审计立项主要包括明确审计立项依据、编制审计立项需求、填制现场审计立项表、履行审计立项审批等环节。___
【单选题】
审计进点会参加人员一般为审计组成员、被审计单位负责人及其有关人员。___
【单选题】
审计人员执行审计业务时，应当保持职业谨慎，充分关注可能存在的重大违法违规行为。___
【单选题】
审计部门和审计人员开展行业审计工作，应当区分被审计单位的责任和审计部门的责任。___
【单选题】
对照整改完成标准，具体问题整改结果分为已整改、部分整改和未整改三种情形。___
【单选题】
整改工作的完成情况由审计部予以审核。___
【单选题】
审计操作规程适用于一般审计项目，特殊审计事项，可根据实际情况适当调整审计程序和方法，但应加强审计现场管理，确保审计质量，防范审计风险。___
【单选题】
归档保存的电子档案一般不加密，必须加密归档的电子档案不能与其解密软件和说明文件一同归档。___
【单选题】
封存的电子档案特殊情况下可以外借。___
