推理形式是推理中前提与结论之间的联系方式。是用词项变项或命题变项去代替具体推理中有着各种具体内容的词项或命题的结果。例如：“如果某数能被9除尽，它就能被3除尽；某数能被9除尽；所以，它能被3除尽。”这是一个充分条件的假言推理，其前提和结论都分别是有着不同具体内容的命题，如果我们用命题变项“p”和“q”去分别代替其中具有具体内容的两个命题——“某数能被9除尽”和“它能被3除尽”，那么，我们就可得到充分条件假言推理的～种推理形式：“如果p，那么q;p，所以q。”