Пропозиционални логика

За да се дефинира понятието "Пропозиционални логика", е необходимо ясно да се разбере какво е "изявление".

Така че, твърдението е едно изречение, подредени граматически правилно, и е невярна или истина. Това понятие трябва да изразят определено значение. Например, израза "канарче има" включва следните компоненти: "канарче" и "птица".

Ето защо една от основните концепции на първоначалните логика и казват. Тези концепции трябва да опишат конкретна ситуация, в която изявлението е било нещо или отказ.

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

Пропозиционални логика се състои от прости и сложни изрази. Така че, просто мисля, че твърдението, че не е включен в състава на други изрази. И до комплекса включва изрази, които се извличат от прост и логически свързани отчети.

Класическа Пропозиционални логика може да бъде представляван от общата теория на приспадане. Това е тази част от логиката, която не описва зависи от изказванията на логическата връзка на прости изрази.

Да не говорим за съюзи - трудна задача, получен чрез комбиниране на две прости изрази, които използват думата "и". Истината на съвпада потвърди, че всички изявления, включени в неговата структура. В случаите, когато най-малко един от членовете на фалшиви, целият съюзът е знак за "лъжа".

Сама по себе си е заедно да образуват комплексни отчети, които се основават на следните предположения:

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

- истината за сложните изказвания зависи от истинността на твърденията, съдържащи се в него и логическите връзки в него.

При свързване на две твърдения, използващи думата "или" вече е получено дизюнкцията. В ежедневието, тази концепция може да се разглежда от гледна точка на две различни значения. На първо място, това е неизключително чувство, което означава, истината на изразяване, независимо от истинския израз на една от двете или са тези, от двете. На второ място, премахва чувството твърди, че някой от изразите е вярно, а другият - е лъжа.

Пропозиционални формули съдържат специални знаци. По този начин, в символ дизюнкция V показва, че изразът е верен, ако истината на поне едно от изявленията и фалшиво, ако и двете й фалшив пенис.

При определяне на Изводът е твърдението, че базовите отчети не могат да бъдат верни в грешното разследването. С други думи, тази концепция предполага зависимост истина или лъжа на изразяване на стойността на неговите компоненти и методи за отношенията си.

Въпреки факта, че влиянието е доста полезно за някои цели, не е много съвместим с конвенционалното разбиране за комуникация като цяло. Така че, когато го заобикаля устройството много от важните особености на логическата поведението на изявленията, дадени концепция не може да бъде адекватно описание на това.

Пропозиционални логика, насочена към решаване на такава централна задача, тъй като разделянето на правилна и неправилна вериги разсъждение и систематизиране на първо място. За да получите най-добър резултат, трябва да се съсредоточи върху специалните знаци, които могат да представляват една или друга форма. Следователно показа интерес към такива привидно незначителни думи като "или", "и" и т.н.

Логически изявления дори има свой език, състоящ се от следните елементи:

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

- формули.

За по-добро разбиране на това, което се каза, че трябва да отиде в конкретни примери. Например, съюзът използва символът &, дизюнкция - \ / или \ º /.