English  

كتب applicability and health

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

إمكانية التطبيق والصحة (معلومة)


نظرية النموذج تعمل على تحليل الصيغ من ناحية فئات معينة من التفسير بتركيبات رياضية مناسبة. وفي هذه القراءة، تكون الصيغة صحيحة إذا كانت كل هذه التفسيرات تجعلها صحيحة. يكون أي استدلال صحيحًا إذا كانت جميع التفسيرات التي تبين صحة المقدمات المنطقية توضح أيضًا صحة النتيجة. ويعرف هذا باسم الصحة الدلالية.

المصدر: wikipedia.org