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