A.直接推理 B.間接推理 C.三段論推理 D.有效式 E.無效式
A.換質法推理 B.換質位法推理 C.限制換位法推理 D.直接推理 E.間接推理
A.邏輯變項 B.邏輯常項 C.表達充分條件關系的聯(lián)結詞 D.表達必要條件關系的聯(lián)結詞 E.表達充分必要條件關系的聯(lián)結詞