如何判断命题公式有多少种解释
发布时间: 2023-05-15 00:36:59
❶ 命题公式分为几类
命题公式分为三类：
给定一个命题公式，若对于其中的命题变项的任何一组赋值，命题公式对应的真值永远为0，则称该命题公式为矛盾式或永假式。
3、可满足式
给定一个命题公式，若至少存在一组赋值使得该公式的真值为1，则称该命题公式为兆册可满足式族判宏。
由定义可知，公式¬(P∧Q)¬P∨¬Q是永真式，公式¬(P→Q)∧Q是永假式，永真式的真值总是为1，因而是一冲旦种特殊的可满足式
热点内容