关于一阶逻辑公式的分类,下列说法错误的是( )选项: A:公式G可能即是有效公式又是矛盾公式 B:如果公式 G 在它所有的解释下都取值为真,则称 G 为有效公式 C:如果公式 G 在它所有的解释下都取值为假,则称 G 为矛盾公式 D:如果至少有一种解释使得公式 G 取值为真,则称 G 为可满足公式 可满足 公式 取值 发布时间:2024-04-02 10:30:28