Доведення правила

система правил, які забезпечують виведення істинності тези з істинності аргументів