Материјална импликација: Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
сНема опис на уредувањето |
с Бот: козметички промени |
||
Ред 4:
''Ако'' A ''тогаш'' B,
каде ''A'' и ''B'' се се исказни променливи (кои се заменуваат со некоја реченица во јазикот).
Операторот се симболизира со стрелка надесно
<big>'''''A
== Симболизација ==
Симболизацијата (знаците) е една од основните елементи на логиката со кои започнува еден учебник по логика. Овие вежби му задаваат на ученикот да преведе еден извадок од текст во природен јазик во симболички јазик. Ова се изведува со препознавање на знаците соодветни на зборовите (или групите на зборови) во природниот јазик, кои обично се материјален услов, [[дисјункција]], [[конјункцја]], [[негација]] и (често) [[логички бикондиционал|бикондиционал]]. Понапредната логика во подоцнежните глави вклучува и [[идентичност]], [[егзистенцијална квантификација]] и [[универзална квантификација]].
Материјалната импликација се изразува во природниот јазик како ''ако'', ''само ако'', ''под услов да'', ''претпоставувајќи дека'', ''имплицира'', ''дури и ако'' и ''во случај на''.
A
но „A, ако B“ се изразува правилно вака:
B
При заменувањето природни со симболички реченици обично се дава и шема со кратенки налик на легенда каде се наведува кој збор или реченица е заменет со кој знак. На пример, реченицата: „Кермит е жаба само ако мапетите се животни“ се претставува вака:
A
A - Кермит е жаба.
B - Мапетите се животни.
== Таблица на вистинитост ==
Вистинитоста на изразите кои содржат материјална импликација е дефинирана во следнава
{| class="wikitable"
! ''А'' !! ''B'' !! ''А''
|- align=center
| ⊥ || ⊥ || т
| |||