推理形式

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

定義介紹

是用詞項變項或命題變項去代替具體推理中的具體概念或具體命題的結果.例如:若四邊形是平行四邊形，則其對邊相等.四邊形有一對對邊不相等.所以該四邊形不是平行四邊形.上述推理既有內容又有形式.如果把該推理的內容抽去，以命題變項p}q分別代替具體命題，就可得如下的推理形式:若p，則q.非q，所以非p.