English  

كتب logical system

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

عرض المزيد

النظام المنطقي (معلومة)


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

المصدر: wikipedia.org