Помогите доказать свойство транзитивности

[kogenate]

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

$A \rightarrow B, B \rightarrow C \vdash A \rightarrow C$

Уже всю голову сломал, как его доказать

[Xaositect]

А что можно использовать?

[kogenate]

Даже и не знаю, ни какой конкретики не давали.
Могу лишь предположить, либо через аксиомы и Modus ponens

[Lia]

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

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения, укажите конкретные затруднения и ответьте на заданный в теме вопрос.

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