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

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

• Правило заключения. amstarm.ru Если истинны формулы (утверждения) А и А → В, то будет истинна формула В. amstarm.ru
• Правило введения конъюнкции. amstarm.ru Если истинны формулы (утверждения) А и В, то истинна и их конъюнкция. amstarm.ru
• Правило удаления конъюнкции. amstarm.ru Если истинна конъюнкция двух формул (утверждений), то каждая из них истинна. amstarm.ru
• Правило контрапозиции. amstarm.ru homepage.mi-ras.ru Если утверждение А имплицирует утверждение В, то отрицание В имплицирует отрицание А. amstarm.ru
• Закон силлогизма. amstarm.ru Если из формулы А следует формула В, а из формулы В следует формула С, то из А следует В. amstarm.ru
• Правило доказательства разбора случаев. amstarm.ru hse-tex.me Для доказательства строят равносильное высказывание, которое состоит из конъюнкции нескольких высказываний, и доказывают по очереди каждый член конъюнкции. hse-tex.me