Материјална импликација - Википедија

# Материјална импликација

### Од Википедија, слободна енциклопедија

Кај исказната анализа, или логичката анализа во математиката, материјалната импликација или материјалниот услов е бинарнен вистински функционен логички оператор во обликот:

Ако А тогаш Б,

каде А и Б се се исказни променливи (кои се заменуваат со некоја реченица во јазикот). Кај исказот во овој облик, првиот поим, во овој случај А, се нарекува антецедент додека вториот поим, во овој случај Б, се нарекува консеквент. Вистинотоста на антецедентот е доволен услов за вистинитоста на консеквентот, додека вистинитоста на консеквентот е неопходен услов за вистинитоста на антецедентот.

Операторот се симболизира со стрелка надесно „→“ (или потковица „⊃“). „Ако A тогаш Б“ се поставува на следниов начин:

A → Б

## [уреди] Симболизација

Симболизацијата (знаците) е една од основните елементи на логиката со кои започнува еден учебник по логика. Овие вежби му задаваат на ученикот да преведе еден извадок од текст во природен јазик во симболички јазик. Ова се изведува со препознавање на знаците соодветни на зборовите (или групите на зборови) во природниот јазик, кои обично се материјален услов, дисјункција, конјункцја, негација и (често) бикондиционал. Понапредната логика во подоцнежните глави вклучува и идентичност, егзистенцијална квантификација и универзална квантификација.

Материјалната импликација се изразува во природниот јазик како ако, само ако, под услов да, претпоставувајќи дека, имплицира, дури и ако и во случај на. Многу од овие фрази се индикатори на антецедентот, но други се индикатори на консеквентот. Важно е да се воочи правецот на импликација правилно. На пример, „А само ако Б“ се изразува вака:

A → Б,

но „A, ако Б“ се изразува правилно вака:

Б → A

При заменувањето природни со симболички реченици обично се дава и шема со кратенки налик на легенда каде се наведува кој збор или реченица е заменет со кој знак. На пример, реченицата: „Кермит е жаба само ако мапетите се животни“ се претставува вака:

A → Б, A - Кермит е жаба. B - Мапетите се животни.

## [уреди] Таблица на вистинитост

Вистинитоста на изразите кои содржат материјална импликација е дефинирана во следнава таблица на вистинитост:

А | Б | А → Б
--- | --- | ---
|  | T
| T | T
T |  |
T | T | T

в • р • у
Логички оператори

Тавтологија • Контрадикција • Негација • Конјункција • Дисјункција • Материјална импликација • Материјална бикондиционала • Исклучителна дисјункција • Заедничка негација • Алтернативна негација • Материјална неимпликација • Спротивна неимпликација • Спротивна импликација

Преземено од "http://mk.wikipedia.org../../../%D0%BC/%D0%B0/%D1%82/%D0%9C%D0%B0%D1%82%D0%B5%D1%80%D0%B8%D1%98%D0%B0%D0%BB%D0%BD%D0%B0_%D0%B8%D0%BC%D0%BF%D0%BB%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%98%D0%B0.html"

Категории: Логика | Бинарни операции

##### Views

- Статија
- Разговор
- Тековна верзија

##### Пребарај

##### Други јазици

- Česky
- Deutsch
- English
- Esperanto
- 日本語
- Nederlands
- ‪Norsk (bokmål)‬
- Polski
- Português
- Svenska
- ไทย
- 中文