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

• Правило заключения. 1 Если истинны формулы (утверждения) А и А → В, то будет истинна формула В. 1
• Правило введения конъюнкции. 1 Если истинны формулы (утверждения) А и В, то истинна и их конъюнкция. 1
• Правило удаления конъюнкции. 1 Если истинна конъюнкция двух формул (утверждений), то каждая из них истинна. 1
• Правило контрапозиции. 14 Если утверждение А имплицирует утверждение В, то отрицание В имплицирует отрицание А. 1
• Закон силлогизма. 1 Если из формулы А следует формула В, а из формулы В следует формула С, то из А следует В. 1
• Правило доказательства разбора случаев. 13 Для доказательства строят равносильное высказывание, которое состоит из конъюнкции нескольких высказываний, и доказывают по очереди каждый член конъюнкции. 3