следование

Ответ от &REY[гуру]
Логическое следование представляет собой фундаментальное отношение в логике между посылками и выводимым из них заключением. Суть этого понятия заключается в том, что истинность исходных утверждений строго гарантирует истинность итогового вывода. Иными словами, не может существовать такой ситуации, в которой все посылки являются истинными, а заключение при этом оказывается ложным. Это отношение тесно связано с логическими законами: из высказывания А логически следует высказывание В, если конструкция Если А, то В является частным случаем общезначимого закона логики. Главной отличительной чертой логического следования является его надежность, позволяющая переходить от истинных высказываний исключительно к истинным, что и делает любой логический вывод обоснованным и корректным.