правила доведення
ПРАВИЛА ДОВЕДЕННЯ у теорії аргументації - у традиційній формальній логіці система правил, які забезпечують виведення істинності тези з істинності аргументів. Всі П. д., визначаючись усіма логічними законами, характеризуються достатньої підстави законом. Розрізняють три види П. д.: щодо тези, щодо аргументів та щодо способу доведення. Напр., щодо тези формулюють такі П. д.: теза має бути визначеною і точно сформульованою; теза не повинна містити логічної суперечності; теза має бути тотожною сама собі протягом усього процесу доведення. Такі правила широко застосовують у змістових процесах міркування, але вони неефективні при побудові формального доведення. Тому сучасна формальна (математична) логіка надає П. д. більш спеціалізованого виразу.