ПОСЫЛКА

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