Какие методы применяются для доказательства логических законов?

Некоторые методы, которые применяются для доказательства логических законов:

• Метод от противного. 1 Рассматривается отрицание высказывания, доказывается его ложность, из чего заключается истинность исходного высказывания. 1
• Закон противоречия. 13 Утверждает, что не могут одновременно быть истинными и прямое высказывание, и его отрицание. 1
• Закон исключённого третьего. 13 Утверждает, что среди прямого высказывания и его отрицания всегда есть истинное высказывание и третьего варианта не существует. 1
• Закон достаточного основания. 34 Любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана какими-либо аргументами, причём эти аргументы должны быть достаточными для основания исходной мысли, то есть она должна вытекать из них. 3