satisfiability

idea

A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.



تاربرگ‌های پیموده‌شده در این نشست: IBM ⟩ antisymmetric ⟩ Positive Free Logic ⟩ Propositional modal logic ⟩ tableau ⟩ Proof theorists