凡形式有效的推理都是合乎逻辑的推理，所以，不合乎逻辑的推理都不是形式有效的推理。

A.不搞阴谋诡计的人不是野心家，所以，有些非野心家不搞阴谋诡计。

B.凡是正派人都是光明磊落的，所以，不光明磊落的人都不是正派人。

C.不劳动者不得食，所以，有些不得食者是不劳动者。

D.凡是正确的推理都是形式有效的推理，所以，形式有效的推理都是正确的推理。

E.有些党员是高级知识分子，所以，有些高级知识分子不是非党员。

A.有的正确的推理是形式正确的推理

B.凡形式不正确的推理都不是正确的推理

C.有的形式正确的推理是正确的推理

D.凡形式正确的推理都是正确的推理

A.凡正确的推理都是推理形式正确的推理

B.有的前提正确的推理是推理形式正确的推理

C.有的推理形式正确的推理是前提正确的推理

D.凡前提正确的推理都是推理形式正确的推理

A.形式有效的推理都是正确的推理

B.形式无效的推理都不是正确的推理

C.形式有效的推理都不是正确的推理

D.不正确的推理都是形式无效的推理

A.形式有效的推理都是正确的推理

B.非形式有效的推理都不是正确的推理

C.形式有效的推理都不是正确的推理

D.不正确的推理都是非形式有效的推理

A.有效的充分条件假言推理形式

B.无效的充分条件假言推理形式

C.有效的必要条件假言推理形式

D.无效的必要条件假言推理形式

A.有效的充分条件假言推理形式

B.非有效的充分条件假言推理形式

C.有效的必要条件假言推理形式

D.非有效的必要条件假言推理形式