العربية  

books evidence in the case system

If you do not find what you're looking for, you can use more accurate words.

View more

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


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

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

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

Source: wikipedia.org