Исказната логика

Да се дефинира поимот "исказната логика", потребно е јасно да се разбере она што е "изјава".

Значи, изјавата е реченица, место граматички точни, и се лажни или вистинити. Овој поим мора да изразат одредена смисла. На пример, фразата "Девствени птица има" ги вклучува следните компоненти: "Девствени" и "птица".

Тоа е причината зошто една од клучните почетните концепти на логиката и се кажува. Овие концепти мора да се опише одредена ситуација во која изјава е или нешто или негирање.

Тоа се смета за вистинска изјава, ако се проследи линија реалноста на ситуацијата кога е опишан. Сами по себе, "лажна" и "вистински" се утврди вистината на изјавите.

Исказната логика се состои од едноставни и сложени изрази. Значи, само дека изјавата што не вклучува во својот состав и други изрази. И на комплекс вклучува изрази, кои се добиени од едноставен, логично поврзани извештаи.

Класична исказната логика може да биде претставен од страна на општата теорија на одбивање. Тоа е оној дел од логика, која не ја опишува зависи од изјавите на логичка врска на едноставни изрази.

А да не зборуваме на сврзници - тешка исказот добиен со комбинирање на две едноставни изрази со користење на зборот "и". Вистината на сврзникот потврди дека сите изјави кои се вклучени во неговата структура. Во случај кога барем еден од неговите членови лажна, целата комбинација е знак на "лага".

Сам по себе е заедно за да формираат комплексни извештаи, кои се врз основа на овие претпоставки:

- секој израз (и едноставни и сложени) може да биде точно или неточно;

- вистината на комплексот искази зависи од вистината на изјавите содржани во него, така и логичките врски во него.

Кога поврзувате два извештаи со користење на зборот "или" веќе е добиено дисјункција. Во секојдневниот живот, овој концепт може да се гледа од аспект на две различни значења. Прво, тоа е не-ексклузивни смисла, што значи дека вистината на изразување, без оглед на вистинскиот израз на една од две или се тие оние од двете. Второ, се елиминира чувството тврди дека еден од изрази е точно, и други - не е точна.

Исказна формула содржи специјални знаци. Така, во знак на дисјункција V покажува дека изразот е точно, ако вистината на најмалку една од изјавите и лажни ако двата нејзиниот лажен пенисот.

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

И покрај фактот дека импликација е доста корисна за некои цели, тоа не е многу во согласност со конвенционалните разбирање на комуникација во целина. Значи, кога го опкружува уредот многу од важните карактеристики на логички однесување на изјавите концепт не може да биде соодветен опис на тоа.

Исказната логика во насока на решавање на таква централна задача, како и поделбата на точни и неточни кола расудување и систематизација во прв план. За да го добиете вистинскиот резултат на тоа, треба да се фокусира на посебни знаци кои можат да претставуваат една или друга форма. Оттука искажа интерес за такви навидум безначајни зборови како "или" ", и", итн

Логика извештаи дури има свој јазик, кој се состои од следниве елементи:

- оригинални ликови - променливи, константи логично, и технички симболи;

- формули.

За подобро разбирање на она што е кажано мора да отидете на конкретни примери. На пример, во врска употребува симболот &, дисјункција - \ / или \ º /.