отличие импликации от выводимости

[dabfd]

можете объяснить чем импликация отличается от выводимости и что именно подразумевается под знаком "->" в математических/геометрических доказательствах. Как например если х делится на 2 то х -четно , 4 делится на 2 -> 4 -четно, чему соответствует знак "->" в данном примере и можно ли вообще записать формальные критерии для правильных выводов?

[Pphantom]

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

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

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