Почему многие известные теоремы называются условными утверждениями?

Многие теоремы называются условными утверждениями, потому что в них доказательство выводит заключение из условий, которые называются гипотезами или предпосылками. ru.wikipedia.org ru.ruwiki.ru

Такая теорема утверждает не истинность заключения, а только то, что заключение является необходимым следствием условий. ru.wikipedia.org ru.ruwiki.ru Например, в теореме «Если n — чётное натуральное число, то n / 2 — натуральное число» гипотезой является утверждение «n — чётное натуральное число», а утверждение «n / 2 — также натуральное число» — выводом. ru.wikipedia.org ru.ruwiki.ru