помогите понять modus ponens

[modusponens2017]

В википедии следующее определение:

Цитата:

Modus ponens: если A и A→B — выводимые формулы, то B также выводима. Форма записи:, где A, B — любые формулы.

не совсем понимаю, какой от этого толк, ведь если B выводится из А, то оно по-определению выводимо(то есть, если выводится -- значит выводимо).

[Aritaborian]

Для начала исправьте цитату из Вики. Вы привели её в неполном виде.

[Lia]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
по следующим причинам:

Заодно и формулы поправьте.

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);


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