Что такое посылки?

Предыдущий
вопрос Следующий
вопрос

В логике в широком смысле высказывание (формула), на основании которого делается вывод или умозаключение . Посылками могут служить факты или суждения о фактах, принципы , аксиомы, постулаты и вообще любые события или высказывания, из которых можно извлечь полезную информацию. В узком смысле посылки - суждения, из которых в умозаключении следует новое суждение (заключение). В зависимости от вида умозаключения посылок могут быть самые различные суждения и их сочетания. Чтобы вывод умозаключения был истинным, необходимо, чтобы истинными были посылки и чтобы они были логически правильно соединены в умозаключении. Посылки являются необходимым условием логической аргументации и доказательства.