В чем разница между условными и обратными утверждениями в математической логике?

Разница между условными и обратными утверждениями в математической логике заключается в способе формирования.

Условное утверждение имеет формат «Если А, то В», где А — предпосылка, В — вывод. prezi.com Такое утверждение истинно, если следствие истинно или посылка ложна. videouroki.net Оно считается ложным только в том случае, если А истинно, а В ложно. books.ifmo.ru

Обратное утверждение формируется путём изменения порядка и знаков в условном утверждении. prezi.com Например, для утверждения «Если А, то В» обратное утверждение будет «Если В, то А». prezi.com Обратное утверждение может быть истинным или ложным, но в любом случае оно считается условным утверждением. hr-portal.ru

Таким образом, условное утверждение фокусируется на логической связи между предпосылкой и выводом, а обратное утверждение — на замене этих частей утверждения местами.