假言推理,关于假言推理的所有信息