下列叙述中正确的是（  ）
①反证法原理是在假设下，如果推出一个矛盾，就证明不成立.
②独立性检验原理是在假设下，如果出现一个与相矛盾的小概率事件，就推断不成立，且该推断犯错误的概率不超过这个小概率.
③三段论可以表示为：大前提：M是P.小前提：S是M.结 论：S是P.
④流程图常常用来表示一些动态过程，通常会有一个 “起点”，一个或多个“终点”.程序框图是流程图的一种.

A．①②③

B．①②④

C．②③④

D．①②③④