填空题 假言推理可以分为充分条件假言推理、（）以及充分必要条件假言推理。

填空题 若一有效三段论的小前提是O命题，则其大前提是A命题，结论是（）命题。

填空题 直言命题的逻辑逻辑变项是量项和（）。