Data.Logic.Satisfiable

satisfiable

theorem

inconsistant

invalid