①这是由一般性前提推出特殊性结论的推理
②这种推理具有普遍的保真性,即能够保证从真实的前提推出真实的结论
③在这种推理中,如果前提真实,而结论虚假,说明推理结构是错的
④只要推理结构正确,就能推出真实的结论