推理形式

推理形式是推理中前提與結論之間的聯繫方式。是用詞項變項或命題變項去代替具體推理中有着各種具體內容的詞項或命題的結果。例如：“如果某數能被9除盡，它就能被3除盡；某數能被9除盡；所以，它能被3除盡。”這是一個充分條件的假言推理，其前提和結論都分別是有着不同具體內容的命題，如果我們用命題變項“p”和“q”去分別代替其中具有具體內容的兩個命題——“某數能被9除盡”和“它能被3除盡”，那麼，我們就可得到充分條件假言推理的～種推理形式：“如果p，那麼q;p，所以q。” ^[1]