Імплікацыя

Імплікацыя ( — шчыльна звязваю) — лагічная аперацыя, у выніку якой утвараецца складанае выказванне з двух выказванняў шляхам лагічнай звязкі. Працэс адпавядае злучніку «калі..., тады (у такім выпадку)...». У імплікацыйным выказванні выдзяляюць антэцэдэнт (выказванне, да якога далучаецца частка «калі...») і кансеквент (выказванне, што адпавядае слову «тады (у такім выпадку)...»).

У класічнай матэматычнай логіцы зыходзяць з паняцця матэрыяльнай імплікацыі, якая вызначаецца з дапамогай функцыі імавернасці (ісціннасці): імплікацыя ілжывая ў выпадку вернасці антэцэдэнта і ілжывасці кансеквента і верная ва ўсіх іншых выпадках.

 Гл. таксама 
 Лагічны элемент
 Лагічная аперацыя
 Дыз'юнкцыя
 Кан'юнкцыя
 Адмаўленне
 Modus ponens
 Умоўная імавернасць

Катэгорыя:Логіка выказванняў
Катэгорыя:Лагічныя аперацыі
Катэгорыя:Лагічныя элементы
Катэгорыя:Булева алгебра
Катэгорыя:Матэматычная тэрміналогія