English  

كتب evidence in the case system

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

عرض المزيد

البرهنة في نظام القضايا (معلومة)


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

يوضح الجدول التالي برهانا للقضية س ← س، حيث تظهر خطوات البرهان سطرا بسطر:

تُقرأ سس ك: "لنفرض س، إذن س"، وتُقرأ ┤ سس ك: "لنفرض لاشيئ، إذن س تستلزم س".

المصدر: wikipedia.org