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

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

• Метод от противного. interneturok.ru www.mathprofi.ru Рассматривается отрицание высказывания, доказывается его ложность, из чего заключается истинность исходного высказывания. interneturok.ru
• Закон противоречия. interneturok.ru Утверждает, что не могут одновременно быть истинным и прямое высказывание, и его отрицание. interneturok.ru
• Закон исключённого третьего. interneturok.ru Утверждает, что среди прямого высказывания и его отрицания всегда есть истинное высказывание и третьего варианта не существует. interneturok.ru
• Законы идемпотентности. interneturok.ru Означают, что применение несколько раз конъюнкции или дизъюнкции к одному и тому же высказыванию ничего не меняет. interneturok.ru Этот принцип используется при упрощении систем или совокупностей. interneturok.ru
• Закон удаления знака эквиваленции. interneturok.ru Эквиваленция двух высказываний равносильна конъюнкции (одновременному выполнению) двух импликаций (следований): в одну и другую сторону. interneturok.ru Это правило применяется при доказательстве необходимых и достаточных признаков. interneturok.ru