Satisfiability
Definition of Satisfiability:
-
In mathematical logic, an elementary concept of semantics. A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.
قابلية الإرضاء
تعريف قابلية الإرضاء:
-
وهو مفهوم أولي للدلالات في المنطق الرياضي، إذ تكون الصيغة مُرضية إذا كان من الممكن العثور على تفسير (نموذج) تكون فيه الصيغة صحيحة