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