Skip to content


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.

قابلية الإرضاء

تعريف قابلية الإرضاء:

  • وهو مفهوم أولي للدلالات في المنطق الرياضي، إذ تكون الصيغة مُرضية إذا كان من الممكن العثور على تفسير (نموذج) تكون فيه الصيغة صحيحة

if you would like to suggest a word please click SUBMIT BELOW