西安电子科技大学$1.5.1推理与证明软件学院设H1,H2..,Hn，C都是命题公式，当且仅有效结论当Hi^H2^...^Hn→C成立，则称C是一组前提Hi.H2...Hn的有效结论，或C可由H,H2...H逻辑推出。从前提推出有效结论的具体过程称为推理推理或证明。西安电子科技大学 §1.5.1 推理与证明 软件学院 有效结论 推理