证明性诱导具体包括（）、（）和（）三种。