Verbum

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

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

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

т. 7, с. 212