Комплексни решения и техните видове

Изпратете добра работа в базата от знания лесно. Използвайте формата по-долу

Студенти, докторанти, млади учени, които използват базата от знания в техните проучвания и работи, ще бъда много благодарен.

1. Общи характеристики на сложните съдебни решения

В състав решения са разделени в прости и сложни.

Обикновено решение - решение, изразяване на връзката между двете понятия-условия (при и предикатни). Сложна предложение - това решение, което се състои от прост решение, свързани помежду си чрез логически връзки (като се използва логически съюз "и", "или" "или" ", ако то" и др.)..

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

В съответствие с характеристиките на логически connectives комплексни преценки са разделени на видове.

Свързване съд (връзка) - това решение, просто решение като част от които съчетават един куп "и".

Разделяне на преценка (дизюнкция) - това решение, просто решение като част от които съчетават един куп "или", "или".

Условните оператори (ВЪРХУ) - това решение, просто решение като част от които един куп ", ако се комбинира. нещо. "

Решение на еквивалентност (идентичност) - решение, просто решение като част от които съчетават един куп "единствено и само ако".

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

2. Свързване (съединителната) решения

Свързване решение (връзка) - са тези, които съдържат като други съставни решение свързан, на- куп "и".

В естествения език, съюзът се изразява с думите "и", "но", "но", "но", "обаче", "добре", "като един, а другият" и може да изразява:

едновременност, "А Звукът на Thunder и дъжда";

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

изброяване: "Есе, курсова работа, диплома - са видовете научни трудове на учениците";

ryadopolozhennost "Таблицата е прав, и ваза с цветя. - в ляво"

Съвпадът е вярно, ако и само ако всички компоненти са верни го прости решения.

Пример строг дизюнкция:

"Името на лицето или Петров (P), или Сидоров (G)» (или едното или другото, но не и двете).

4. условни (implicative) решения

Условни отчети (ВЪРХУ) - са тези, които се образуват с помощта на два логически съюз ", ако. нещо. "

Условните оператори са изразени на естествен език, като се използват думите "ако, след това" "само ако", "ако", "доколкото" и посочи:

причинно-следствена връзка: "Ако лампата е изключена от мрежата, ще изляза";

Предистория: "Поради това, че компютърът не работи, доколкото работата не е приключила."

Структурата на изолираната основа implicative решение Изводът (предшественик) и последващо Изводът (последващо). Основата трябва да бъде след думата "ако". Например: "Тъй като времето е лошо (р), на отменените полети на въздухоплавателни средства (ж)». Ето базата на р, г - следствие.

Изводът е фалшива, ако и само ако основата е вярно, но резултатът е невярно.

Комплекс изявление в примера е лъжа, само когато "времето е лошо" - истината, и "отменените полети на въздухоплавателни средства" - лъжа.

I. етикет буквите прости решения, пиша сложни съдебни решения в символична форма, и да зададете вида и валидност на

1. светкавица и гръм избоботи.

2. Ако пропуснете през проводника електрически ток, жицата загрява.

3. Невалиден че 5 е разделена на две или три.

4. Пари - продукт на спонтанното развитие на търговските отношения, а не в резултат на споразумение или всяко друго умишлено действие.

5. Ако човек се втвърдява, като укрепва здравето си.

Обяснение. Изявлението "Увеличението на печалбата се постига чрез увеличаване на производителността на труда (а) или чрез намаляване на разходите за производство (б)» - пример за небрежното дизюнкция, защото нейните членове не са взаимно изключващи се. Подобна сложна теза е вярна в случая, ако е вярно, най-малко една от двете съставни прости предложенията и фалшиво, ако и двете от тези прости предложения са неверни. Записано а б.

1. светкавица (а), и гръм (б).

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

2. Ако след (а) пропуснете проводник електрически ток загрява проводник (б).

Това решение - пример за косвено, като прости решения са свързани с "ако. нещо. " Подобна сложна задача е лъжа, само ако в основата на вярна и невярна следствие б. В други случаи сложна задача е вярно. Написана на> б.

3. Невалиден че 5 разделена на 2 (а) или 3 (Ь).

Основната логично съюз е отрицание ( "не е вярно .."). Подчинена логическа дизюнкция съюз не е стриктна, защото членовете му "5, разделена на две" и "5, разделено на 3" не са взаимно изключващи се. Такава дизюнктивен предложение е вярно в случая, ако е вярно, най-малко една от двете съставни прости предложенията и фалшиво, ако и двете от тези прости предложения са неверни. Тогава всичко комплекс отчета за в резултат на отказ има противоположни ценности истината фалшиви, ако е вярно, най-малко една от двете съставни прости решенията и вярно, ако и двете от тези прости предложения са неверни.

Записите (а б).

Означаваме проста задача:

а - «Парите -. продукт на спонтанно развитие на търговските отношения"

б - «пари - не е резултат от споразумение или всяко друго умишлено действие".

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

5. Ако човек се втвърдява (а), тя укрепва здравето им (б).

II. Решаване на проблема с помощта на концепцията за равностойност на отчети

оспорване на валидността на решението

"В случая с убийството са двама заподозрени - Петър и Павел. Запитан четирима свидетели. Четенето на едната е:

- Знам само, че Петър не е виновен.

Вторият свидетел заяви:

- Знам само, че Павел не обвинявам

- Знам, че от първите две четения най-малко един е вярно.

- Знам, че на третия показанията на свидетелите е невярно. Четвъртият свидетел беше прав. Кой извършено престъплението "(Peter R. играта с безкрайността - .. М., 1968) ?.

Забележка. Подобни твърдения са с еднаква което същите стойности на променливи от един и същи истина масата.

Означаваме проста задача:

а - «Петър не е виновен"

б - «Павел не е виновен"?

а - «Петър е виновен"

б - «Павел е виновен"?

След третия свидетел твърди, че истината на дизюнкцията а б.

Четвърто свидетел твърди, истина отрицание дизюнкция: (а б)

С решение трансформация в размер решение, получаваме:

Тук сме използвали правило, след законите на Де Морган: за да получите отказ на комплексни решения, като в състава само операции на връзка и прекъсване на връзки, което трябва да се промени операции с обратен знак (т.е. връзка с прекъсване на връзки, както и обратното ..) И над буквите изразяване на елементарни решение да се сложи знак на отрицание, и ако тя е вече там, а след това да го изхвърли.

Ние открихме, че една връзка (а) (б), е вярно, тъй като първото съдебно решение (а б) е вярно. Съвпадът е вярно само, когато истината за двете conjuncts, а след това - «Петър е виновен" - истината, б - «Paul виновен" - истината, това е, и двете са виновни.

Отговор: И двете са виновни.

Поставен Allbest.ru

Подобни документи

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

Концепцията за прости и сложни решения. Логически връзки, конюнктива предложение. Implicative (условно) преценка. Парадоксите на материала, косвено. Основните решения на равностойност. Особености изразяват някои логически connectives от други.

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

Логика като клон на философията и когнитивната наука. Изявление като форма на мислене, концепция, структура и видове сложни изречения. Логическите стойности на сложни изрази. Предложенията са сложни отчети, тяхната логическа характеристика.

Решение като отражение на действително съществуващи значими връзки и взаимоотношения между обектите. Обща характеристика на решението, предмет на атрибутивна решаване. Причините за решението на безсмислието. Концепцията за "екзистенциална квантор" в съвременната логика.

Естеството и разнообразието на съдебни решения, разграничение на степен на трудност. Количеството и качеството - най-важната от неговите логически характеристики. Единството на страшния съд и присъда. Характеристики на положителни решения. Видове модалност. съдебни решения познавателна стойност.

РЕЗЮМЕ стойност и решение, неговите характеристики и структура. Комуникацията между изречения и предложения. Значение на логически смисъл и езикови изречения образуват преценка. Класификация на прости и сложни решения относно характера на предиката.

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