演绎推理,关于演绎推理的所有信息