جملة مفتوحة

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