За да се дефинира понятието "Пропозиционални логика", което трябва да ясно да разберат какво е "отчет".
Така че изявлението е предложение, класирана граматически правилно, и е фалшива или истинска.Това понятие трябва да изразява определен смисъл.Например, фразата "канарче птици имат" включва следните компоненти: "канарче" и "птица".
Ето защо една от основните начални концепции на логиката и се казваше.Тези концепции са за описване на конкретната ситуация, в която те е или нещо или отказ.
True счита за казвайки, ако се проследи линията реалността на ситуацията, когато е описващ.Себе си "фалшиво" и "истински" определи вярно твърдение.
логически твърдения се състои от прости и сложни изрази.Така че, просто мисля, че твърдението, че не е включен в състава си други подобни изрази.И до комплекса включва изрази, които са получени от простите, логично взаимосвързани отчети.
класическа Пропозиционални логика може да бъде представляван от общата теория на приспадане.Това е тази част от логиката, която не описва зависи от структурата на изреченията логически връзки прости изрази.
Да не говорим за съюзи - комплекс изявление, получени чрез комбиниране на два прости изрази, които използват думата "и".Истината на съвпада потвърждава достоверността на всички твърдения, включени в неговата структура.В случая, когато най-малко един от неговите членове е невярна, цялата съюзът е знак за "лъжа".
самата връзка служи за образуване на сложни отчети, които се основават на следните предположения:
- всеки израз (както прости и сложни) може да бъде или вярно или невярно;
- истината за сложните изказвания зависи от истинността на твърденията, съдържащи се в него и логическите връзки в него.
Когато се присъедини към две твърдения с думата "или" вече е получил дизюнкция.В ежедневието, тази концепция може да се разглежда от гледна точка на две различни значения.Първо, тя е неизключително чувство, което предполага, валидността на изразяване, независимо от истинското изражение на една или две такива, те са и двете.Второ, елиминирайки смисъл твърди, че един от изразите е вярно, а другият - не е верен.
формули на Пропозиционални логика съдържат специални символи.По този начин, в символ на дизюнкция V означава фактът, че изразът е верен на истината на поне едно от изявленията, и фалшива ако и двете от членовете му са неверни.
При определяне на Изводът е налице изявление, казвайки, че базата не може да бъде вярно в грешното разследването.С други думи, това понятие предполага зависимостта истина или лъжа на експресията на стойността на неговите компоненти и методи на техните отношения.
Въпреки факта, че отражението е много полезно за някои цели, не е много съответствие с разбирането на кондиционираната връзката цяло.По този начин, в много важни черти обгражда устройство логично поведение казвайки тази концепция не може да бъде адекватно описание на това.
логиката на изявления, целящи справяне с този централен проблем, тъй като разделянето на правилно и неправилно схеми разсъждение и систематизирането на първата.За да получите най-правилния резултат, трябва да се съсредоточи върху специалните символи, които могат да представляват една или друга форма.Следователно определеният интерес в такива привидно незначителни думи като "и", "а", и т.н.
логически твърдения дори има свой собствен език, който се състои от следните елементи:
- оригиналните герои - променливи, константи и логически технически признаци;
- формули.
да се разбере какво е било казано, трябва да отидете на конкретни примери.Например, като се използва символът & усилвател връзка;, дизюнкция - \ / или \ º /.
