Verbum

АДВАРО́ТНАЯ ТЭАРЭ́МА,

тэарэма, умовай якой з’яўляецца выснова зыходнай (прамой) тэарэмы, а высновай — умова. Прамая і адваротная тэарэма — узаемна адваротныя. З іх праўдзівасці вынікае, што выкананне ўмовы адной з іх не толькі дастаткова, але і неабходна для праўдзівасці высновы, напр., тэарэмы: «калі 2 вуглы трохвугольніка роўныя, то іх бісектрысы роўныя» і «калі 2 бісектрысы трохвугольніка роўныя, то адпаведныя ім вуглы роўныя», — узаемна адваротныя і абедзве праўдзівыя. З праўдзівасці якой-н. тэарэмы не вынікае праўдзівасць адваротнай тэарэмы да яе, напр., тэарэма: «калі лік дзеліцца на 6, то ён дзеліцца на 3» — праўдзівая, а адваротная тэарэма: «калі лік дзеліцца на 3, то ён дзеліцца на 6» — непраўдзівая.

т. 1, с. 98

ЗЛУЧЭ́ННЕ ў граматыцы,

від сінтаксічнай сувязі членаў сказа або цэлых прэдыкатыўных адзінак (сказаў). З. (злучальная сувязь), у процілегласць падпарадкаванню, звязвае некалькі раўнапраўных (аднатыпных і аднафункцыянальных) сінтакс. адзінак у адно цэлае: рад аднародных членаў сказа («Я сам люблю прыход вясны — малочнае цвіценне вішань, і спеў драздоў, і шум лясны». П.​Панчанка), складаназлучаны сказ («Я ніколі не ведаў спакою, і сэрца не знала сігналу адбою». М.​Танк). Вылучаюцца разнавіднасці злучальнай сувязі; спалучальная (злучнікі «і», «ды»), супастаўляльныя (злучнікі «а», «але»), пералічальна-размеркавальныя (злучнікі «ці», «то-то», «не то — не то») і паясняльныя (злучнікі «інакш», «гэта значыць»), Спалучальная і пералічальна-размеркавальная сувязь рэалізуюць адкрытыя, а супастаўляльная і паясняльная — закрытыя сінтакс. канструкцыі.

Літ.:

Беларуская граматыка. Ч. 2. Мн., 1986.

П.​П.​Шуба.

т. 7, с. 93

ІМПЛІКА́ЦЫЯ (ад лац. implicatio спляценне, перапляценне),

лагічная аперацыя, якая з двух выказванняў утварае складанае выказванне з дапамогай лагічнай звязкі, аналагічнай сэнсу злучніка, «калі..., то» (сімвалічны запіс A→B ці A⊃B; чытаецца «калі A, то B», «з A вынікае B» і інш.). Імплікатыўнае выказванне складаецца з антэцэдэнта (выказванне, перад якім падаецца слова «калі») і кансеквента (выказванне, якое ідзе за словам «то»). Адрозніваюць розныя віды І.: матэрыяльную, строгую, рэлевантную і інш. У вылічэннях класічнай логікі найб. шырока выкарыстоўваецца матэрыяльная І. (гл. Матэматычная логіка). Пры яе вызначэнні не ўлічваецца сувязь па сэнсе антэцэдэнта і кансеквента, наяўнасць якой характэрна для сказаў са злучнікам «калі..., то» ў паўсядзённай мове. Антэцэдэнт і кансеквент разглядаюцца толькі з боку іх прыкметы быць або не быць ісціннымі.

В.​М.​Пешкаў.

т. 7, с. 212