形式语言中一公式是可满足的，当且仅当至少存在一个解释，使该公式成为真命题。
例如：公式
是可满足的，因为，如果令F(x)表示“X是人”，G(x)表示“x是要死的”，则在此解释下，该公式即为命题“所有的人都是要死的”，这是个真命题。而
是不可满足的，因为不存在解释使该公式成为真命题。
- 增防是什么意思
- 增高是什么意思
- 墟是什么意思
- 墟市是什么意思
- 墟日是什么意思
- 墟落是什么意思
- 墡是什么意思
- 墦是什么意思
- 墨是什么意思
- 墨兰是什么意思
- 墨刑是什么意思
- 墨卷是什么意思
- 墨吏是什么意思
- 墨子是什么意思
- 墨守是什么意思
- 墨守成规是什么意思
- 墨宝是什么意思
- 墨客是什么意思
- 墨客骚人是什么意思
- 墨家是什么意思
- 墨尔本是什么意思
- 墨尔本大学是什么意思
- 墨斗是什么意思
- 墨斗鱼是什么意思
- 墨晶是什么意思
- 墨梅是什么意思
- 墨水是什么意思
- 墨汁是什么意思
- 安业是什么意思
- 安东尼是什么意思
- 安东尼奥尼是什么意思
- 安丰是什么意思
- 安之若命是什么意思
- 安之若素是什么意思
- 安乐是什么意思
- 安乐椅是什么意思
- 安乐死是什么意思
- 安乐窝是什么意思
- 安于是什么意思
- 安于现状是什么意思
- 安享是什么意思
- 安仁是什么意思
- 安佳是什么意思
- 安保是什么意思
- 安健是什么意思
- 安克雷奇是什么意思
- 安全是什么意思
- 安全保障权是什么意思
- 安全剃刀是什么意思
- 安全填埋是什么意思
- 安全套是什么意思
- 安全岛是什么意思
- 安全带是什么意思
- 安全帽是什么意思
- 安全感是什么意思
- 安全灯是什么意思
- 安全理事会是什么意思
- 安全系数是什么意思
- 安全线是什么意思
- 安全网是什么意思