Материјална импликација: Разлика помеѓу преработките
| [проверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
с Робот: Преместване на 5 междуезикови препратки към Уикиданни, в d:q7881229. |
с clean up, replaced: се се → се |
||
Ред 1:
[[Податотека:Venn1011.svg|thumb|[[Венов дијаграм]] за A<math>\rightarrow</math>B]]
Кај [[исказна анализа|исказната анализа]], или логичката анализа во [[математика]]та, '''материјалната импликација''' или '''материјалниот услов''' е [[бинарна релација|бинарнен]] [[вистинска фукција|вистински функционен]] [[логички оператор]] во обликот:
''Ако'' A ''тогаш'' B,
каде ''A'' и ''B''
Операторот се симболизира со стрелка надесно „→“ (или потковица „⊃“). „Ако A тогаш B“ се поставува на следниов начин:
Ред 14:
Симболизацијата (знаците) е една од основните елементи на логиката со кои започнува еден учебник по логика. Овие вежби му задаваат на ученикот да преведе еден извадок од текст во природен јазик во симболички јазик. Ова се изведува со препознавање на знаците соодветни на зборовите (или групите на зборови) во природниот јазик, кои обично се материјален услов, [[дисјункција]], [[конјункцја]], [[негација]] и (често) [[логички бикондиционал|бикондиционал]]. Понапредната логика во подоцнежните глави вклучува и [[идентичност]], [[егзистенцијална квантификација]] и [[универзална квантификација]].
Материјалната импликација се изразува во природниот јазик како ''ако'', ''само ако'', ''под услов да'', ''претпоставувајќи дека'', ''имплицира'', ''дури и ако'' и ''во случај на''. Многу од овие фрази се индикатори на антецедентот, но други се индикатори на консеквентот. Важно е да се воочи правецот на импликација правилно. На пример, „A само ако B“ се изразува вака:
A → B,
Ред 31:
Вистинитоста на изразите кои содржат материјална импликација е дефинирана во следнава [[таблица на вистинитост]]:
{| class="wikitable"
Ред 45 ⟶ 43:
| т || т || т
|}
{{Логички оператори}}
| |||