1-19设A和B是两个命题公式,如果AB,即如果命题公式AB为重言式,则称B是前提A的结论或从A推出结论B。一般地设H1,H2,...,Hn和C是一些命题公式,若蕴含式定义1-19设A和B是两个命题公式,如果AB,即如果命题公式AB为重言式,则称B是前提A的结论或从A推出结论B。H1,H2,...,Hn}的结论,或称从前提H1,H2,...,Hn能推出结论C。例1考察结论C是否是下列前提H1,H2的结论。