5、在汉语中,联结词“等值”又被称为“充分必要条件假言”或“充要条件假言”。()
正确答案:√
4.5真值表的构造
1、构造真值表,基于的逻辑算子规则不包括()。
A、等值
B、合取
C、否定
D、命题
正确答案:D
2、下列逻辑关系中P为真一定能推出Q为真的是()。
A、Q合取P
B、P合取Q
C、P蕴含Q
D、Q蕴含P
正确答案:C
3、真值表不能用来判定蕴含于有效性。()
正确答案:X
4、构造真值表时,不需要考虑简单命题的数量。()
正确答案:X
4.6真值表检验
1、用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个()。
A、重言式
B、真值行
C、真值列
D、矛盾式
正确答案:C
2、命题“P®(PÚQ)”属于()。
A、协调式
B、永假式
C、矛盾式
D、重言式
正确答案:D
3、以下不能用来检验复合命题论证的有效性的是()。
A、形式演绎
B、基本论证形式
C、文恩图
D、真值表
正确答案:C
4、真值函项等值是指如果两个命题必然具有相同的真值,那么它们就是真值函项等值的。()
正确答案:√
5、同一有效论证中,如果所有的前提为真,那么结论不一定为真。()
正确答案:X
4.7形式演绎
1、根据形式演绎方法,如果结论能够被通过使用()从给定前提中一步一步地演绎出来,那么这个论证被表明是有效的。
A、有效论证
B、逻辑等值
C、重言式原则
D、以上均是
正确答案:D
2、以下与命题P®Q等值的命题是()。
A、ØPÚQ
B、ØQÚP
C、ØPÙQ
D、ØQÙP
正确答案:A
3、以属于假言连锁论证形式的是()。
A、P;Q;\PÙQ
B、P;\PÚQ
C、P®Q;Q®R;\P®R
D、PÚQ;ØP;\Q
正确答案:ABD
4、等值规则不允许用一个等值命题替换另一个命题。()
正确答案:X
5、演绎有效论证即是指结论能够从前提中逻辑推导出来的论证。()
正确答案:√
4.8间接证明与简便证明
1、根据演绎有效性原则,论证无效的一个重要标志是()。
A、部分前提假而结论假
B、所有前提假而结论假
C、部分前提真而结论假
D、所有前提真而结论假
正确答案:D
2、用简便方法判定论证是否无效的第一步是()。
A、回溯指派
B、写成竖式
C、写成横式