Logic: Deduction

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

استمتع بالتطبيق