形式逻辑学有哪几种推理种类