Посылки

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