Verbum

ЗМЯЯ́ (лац. Serpens),

экватарыяльнае сузор’е. Пачынаецца на Пд ад Паўночнай Кароны. Найб. яркая зорка 2,6 візуальнай зорнай велічыні; 60 зорак ярчэй 6-й зорнай велічыні. Складаецца з 2 частак (галава і хвост), падзеленых сузор’ем Змеяносца. На тэр. Беларусі відаць вясной і летам. Гл. Зорнае неба.

т. 7, с. 98

ВЫ́КЛЮЧАНАГА ТРЭ́ЦЯГА ПРЫ́НЦЫП,

закон класічнай фармальнай логікі, паводле якога з двух выказванняў, адно з якіх ісціннае, другое няісціннае, выключаюць трэцяе. Напр., з двух выказванняў «Сонца—зорка» (A ёсць B) і «Сонца — не зорка» (A не ёсць B) адно ісціннае. Маючы на ўвазе такія выказванні, традыц. фармальная логіка гэты закон фармулявала так: «A ёсць B ці не B» (трэцяга не дадзена). Упершыню выключанага трэцяга прынцып сфармуляваны Арыстоцелем. Сфера дзеяння яго вызначаецца не спосабамі выяўлення ісціннасці ці няісціннасці выказванняў, а адносінамі паміж выказваннямі, калі яны выкарыстоўваюцца ў доказах і інш. лагічных аперацыях. Закон не дапускае, каб сцверджанне і адмаўленне падмяняліся адно адным ці эклектычна аб’ядноўваліся ў нейкім трэцім выказванні. Выключанага трэцяга прынцып дапаўняе і развівае ў логіцы супярэчнасці прынцып і разам з ім і з тоеснасці законам выключае лагічную супярэчлівасць выказванняў.

т. 4, с. 311

ГО́НЧЫЯ ПСЫ (лац. Canes Venatici),

сузор’е Паўн. паўшар’я неба. Размешчана пад «ручкай каўша» Вялікай Мядзведзіцы. Гал. зорка (α Гончых Псоў) — падвойная, 3-й візуальнай зорнай велічыні; 30 зорак ярчэй 6-й зорнай велічыні. У паўн. частцы Гончых Псоў знаходзіцца спіральная туманнасць. На тэр. Беларусі відаць круглы год. Гл. Зорнае неба.

т. 5, с. 352