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