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