Непосредственный вывод

Обратное (логика) В логике и математике обратное утверждение является результатом переворачивания двух составляющих утверждений.  Истинность обратного утверждения обычно не зависит […]