Імплікацыя: розьніца паміж вэрсіямі
Змесціва выдалена Змесціва дададзена
пачатак |
выпраўленьне спасылак |
||
Радок 1:
'''Імплікацыя'''([[лацінская мова|лац]]. implico - шчыльна зьвязваю) - [[лёгіка|лягічная]] апэрацыя, у выніку якой утвараецца складанае выказваньне з двух выказваньняў шляхам лягічнай зьвязкі. Працэс адпавядае [[злучнік]]у "калі ...,тады (у такім выпадку) ...". У імплікацыяным выказваньні выдзяляюць антэцэдэнт (выказваньне да якога далучаецца частка "калі...") і кансэквэнт (выказваньне адпавядаючае слову "тады(у такім выпадку)...").
У клясычнай [[матэматычная лёгіка|матэматычнай лёгіцы]] зыходзяць з панятку матэрыяльнай імплікацыі, якая вызначаецца з дапамогай функцыі імавернасьці (ісьціннасьці): імплікацыя ілжывая у выпадку вернасьці анцэдэнта і ілжывасьці кансэквэнта і верная ва ўсіх іншых выпадках.
[[Катэгорыя:Філязофія]]
| |||