下列叙述中正确的是（   ）

①反证法原理是在假设下，如果推出一个矛盾，就证明不成立.

②独立性检验原理是在假设下，如果出现一个与相矛盾的小概率事件，就推断不成立，且该推断犯错误的概率不超过这个小概率.

③三段论可以表示为：大前提：M是P.小前提：S是M.结  论：S是P.

④流程图常常用来表示一些动态过程，通常会有一个 “起点”，一个或多个“终点”.程序框图是流程图的一种.

A．①②③            B．①②④           C．②③④           D．①②③④