Вывести ассоциативность дизъюнкции: ⊢ (A ∨ B) ∨ C -> A ∨ (B ∨ C) Указание: использовать аксиомы 6 и 7, теорему о дедукции, правило разбора случаев и правило сечения. Правило силлогизма использовать нельзя.
Спасибо за выполненную работу. Профессиональный автор, знает свое дело и полностью несет ответственность за взятый на себя заказ. Спасибо за такое сотрудничество!