考试
1970-01-01 08:00:00

要证明C是一组前提A1,A2,…,An 的有效结论,只需证明

题目描述

要证明C是一组前提A1,A2,…,An 的有效结论,只需证明A1∧A2∧…∧An→C为重言式

答案解析

加载中...
AI正在思考中,请稍候...