可滿足式

satisfiable（可滿足式），設A為任一命題公式，若A在各種真值指派下至少存在一組成真指派，則A是可滿足式，反之為矛盾式。

換言之，對於命題公式A，若A不是矛盾式，則稱A是可滿足式。