Skip to content

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.

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


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

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

لاقتراح كلمة جديدة اضغط على «اقتراح»