题目内容

以下谓词蕴含式正确的是（）。

A.(∀x)A(x)∨(∀x)B(x)=>( ∀x) (A(x)∨B(x))
B.(∃x) (A(x)∧B(x))=>(∃x)A(x)∧(∃x)B(x)
C. (∀x) (A(x)→B(x))=>( ∀x)A(x)→(∀x)B(x)
D.(∀x) (A(x)↔B(x))=>( ∀x)A(x)↔(∀x)B(x)

查看答案

搜索结果不匹配？点我反馈

更多问题

A. c是个体域中任一个体。
B. 用c取代A(x)中x时，一定在x出现的所有地方进行取代。
C. 若个体域中的所有个体都满足谓词A，则个体域中任一个体c也满足谓词A。
D. 体现了在逻辑推理中由一般到特殊的推导方法。

A. 菌丝体
B. 子实体
C. 子座
D. 菌核

A. 四川、青海、西藏等省区
B. 湖北、安徽、云南等省区
C. 印度尼西亚和马来西亚
D. 索马里、埃塞俄比亚和阿拉伯半岛南部

A. 冬虫夏草
B. 茯苓
C. 昆布
D. 灵芝