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

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