Доказательство - это обоснование истинности какого-либо положения.
Опровержение - логическое действие, направленное на разрушение доказательства.
Тезис - суждение, истинность которого
обосновывается или разрушается.
Аргументы - исходные теоретические
или эмпирические положения,
с помощью которых обосновывают
или опровергают тезис.
А1 А2 А3 А4 Демонстрация - логическая связь
между аргументами и тезисом.
(А1 & А2 & А3 & A4) ® Т (формула прямого доказательства)