痫证的病变脏腑主要是( )

A．心、脾
B．心、肝、脾、肾
C．肝、脾、肾
D．心、肝、肾
E．心、肺、肝、脾

程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。