نتائج البحث

...1623364|date=2023-04-06}}</ref> برنامج [[برولوغ]] يستنتج برنامج منطقي بشكل استقرائي من الأمثلة صحيحة والخاطئة. مصطلح البرمجة المنطقية الاستقرائية كان أول ظهور مصطلح استقرائي يشير هنا إلى [[فلسفة|الفلسفة]] (اقتراح فرضية لتفسير حقائق مرصودة). ...

...ي كائن يحوي معنى دلالي عن طريق التفسير. تًستخدم الصيغ بطريقتين رئيسيتين في منطق الافتراض ومنطق الرتبة الأولى. يتمثل أحد الاستخدامات الرئيسية للصيغ في [[حساب القضايا|منطق الافتراض]] و[[منطق الرتبة الأولى|المنطق الأصلي]] باعتبار الصيغة سلسلة من الرموز التي السؤال حد ...

...سه), والخطوة الاستقرائية صحيحة لكل الحالات ''n''&nbsp;≥&nbsp;3. ولكن، يكون منطق الخطوة الاستقرائية خاطئا عندما ''n''&nbsp;=&nbsp;2., وذلك لأن التعبير«المجم * [[استقراء (توضيح)|استنتاج استقرائي]] ...