Как правильно доказать тождество?

[Pavel_08]

Доброго времени суток.

Коллеги, подскажите, как будет правильным провести доказательство:

"Доказать в исчислении высказываний (буквы означают произвольные формулы):
\left({A} \lor {B} \right) \lor {C} \equiv {A} \lor \left({B} \lor {C} \right)"

Благодарю.

[knizhnik]

В какой системе аксиом? Прежде чем доказывать, надо уточнить аксиоматику.

[Karan]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.