代入规则（rule of substitution）形式系统中规定用一公式去替换在某特定公式中出现的变元的规则。一个变元在一公式中可能不只出现一次，如果用某一公式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。在命题演算中，只有命题变元，所以只有命题变元代人规则。但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代人规则。在有些逻辑系统中，如果用公理图式去替代公理时。变形规则中就没有代入规则。
蛛形褐纹卷蛾的词语属性 拼音zh xng h wn jun 拼音字母zhu xing he wen juan e拼音首字母zxhwje 蛛形褐纹卷蛾的百科含义 蛛形褐纹卷蛾，Phalonidia vectisana (Humphreys et Westwood，1848)，卷蛾科褐纹卷蛾属的一种昆虫。
瑞特综合征的词语属性 拼音ru t zng h zhng拼音字母rui te zong he zheng拼音首字母rtzhz 瑞特综合征的百科含义 疾病简介瑞特综合征(Reiter's syndrome ，RS)，又称尿道-眼-滑膜综合征(urethra-oculo-synovil syndrome）指关节炎同时伴有无菌性尿道炎、结膜炎的一种临床病症。
