Суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к.-л. другого суждения (или теории). При доказательстве некоторого суждения А. являются основаниями, или посылками, из которых логически следует доказываемое суждение. Напр., для доказательства суждения "Железо плавко" мы можем воспользоваться двумя А.: "Все металлы плавки" и "Железо есть металл". Приняв эти два суждения в качестве посылок, мы можем логически вывести из них доказываемое суждение и тем самым обосновать его истинность. А., используемые в процессе доказательства некоторого суждения, должны удовлетворять следующим правилам: 1. А. должны быть истинными суждениями. 2. А. должны быть суждениями, истинность которых устанавливается независимо от тезиса. 3. А. должны быть достаточным основанием для доказываемого тезиса. Нарушение указанных правил приводит к различным логическим ошибкам, делающим доказательство некорректным.
А., используемые в процессе доказательства некоторого суждения, должны удовлетворять следующим правилам:
1. А. должны быть истинными суждениями.
2. А. должны быть суждениями, истинность которых устанавливается независимо от тезиса.
3. А. должны быть достаточным основанием для доказываемого тезиса.
Нарушение указанных правил приводит к различным логическим ошибкам, делающим доказательство некорректным.