如果对某一推理形式代入任何真实的前提,都不会出现假结论,那么这个推理形式就是有效式,否则就是无效式