以下谓词蕴含式正确的是（）。
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)
全称指定规则(US规则)： (∀x)A(x)=>A(c)则（）。
A. c是个体域中任一个体。
B. 用c取代A(x)中x时，一定在x出现的所有地方进行取代。
C. 若个体域中的所有个体都满足谓词A，则个体域中任一个体c也满足谓词A。
D. 体现了在逻辑推理中由一般到特殊的推导方法。
容纳真菌子实体的菌丝褥座称为（ ）。
A. 菌丝体
B. 子实体
C. 子座
D. 菌核
冬虫夏草主产于（ ）
A. 四川、青海、西藏等省区
B. 湖北、安徽、云南等省区
C. 印度尼西亚和马来西亚
D. 索马里、埃塞俄比亚和阿拉伯半岛南部
微信支付 
支付宝支付