A和C是两个命题公式，C是A的有效结论，意味着C为重言式。