可用来诊断不寐的相关检查为

A．脑电图

B．脑血流图

C．脑CT

D．多导睡眠图

E．脑血管造影

（）是指一个论证有效性的形式证明。

A、文恩图检验

B、形式演绎

C、三段论

D、逻辑验算