更新时间:2025-07-04 09:26 讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。 造句词语 充要条件造句 性质造句 利用造句 公式造句 集合造句 下标造句 范式造句 析取范式造句 讨论造句 得到造句 极小造句 合取范式造句 命题造句 几个造句 极大造句 蕴涵造句