设A为任一命题公式，若A不是矛盾式，则称A是可满足式。