在逻辑学或数学中，satisfiable 表示“可满足的”，意思是某个命题、公式或条件可以被某些值所满足。
换句话说，如果一个逻辑表达式至少有一个真值分配使得它为真，那么这个表达式就是 satisfiable。
逻辑表达式：P ∧ Q
解释：如果 P 和 Q 都为真，那么整个表达式为真。因此，这个表达式是 satisfiable。
同学们，在学习逻辑学时，一定要区分好 satisfiable、tautology 和 contradiction 这三个概念。它们虽然看起来相似，但含义完全不同哦！
微信咨询