От двата отрицателни помещенията не може да се заключи,
ПОНЯТИЯ ЛОГИЧНИЯТ ФОРМА и логически ПРАВО
Основни понятия на логиката:
Логическият формата на език контекст - експресия, за определяне на част от съдържанието на контекста, която остава в резултат на отклоняването на специфичното съдържание на не-логически условия, или съдържанието на прости изявления, включени в контекста.
Ако всеки един от парцелите е вярно, но заключението е невярно, да се приеме правилно.
Изводът е вярна. ако ние получаваме истинско заключение с истинските помещения.
При това условие, да речем между помещенията и сключването има връзка логическа последователност
Логично следствие - съотношението между показанията на формата.
От G (гама), логично предполага B (бета), ако и само ако няма такова тълкуване на параметрите, които съставляват Г и Б, в които всички изрази на G вземат стойностите "вярно" и Б е настроен на "фалшиво".
Логически закон - идентично вярно твърдение, т.е. такъв логически форма на отчет, който се стойността "истинска" при тълкуването на параметрите, съдържащи се в състава му.
4. Добрата аргументация
Разсъждение правилно. ако то е свързано с форма на гаранция:
Парцели. "А"
Заключение. "А"
Законите на логиката имат функцията. Ако някоя от променливите в тях, където и да се намира, да замени формулата, резултатът отново ще идентично вярно формула.
Начини за правилните аргументи:
Р, Q, R, S ... - справка с прости отчети. (Мононуклеарни предлага)
За да се изгради една маса истината, ние трябва да се използва комплекс изречение, в което всички изявления комбинирани в различни езикови пакети. Изграждане на маса истината, ние трябва да се помисли за колона с последната куп.
· Ако колоната всички 1, а след това формулата се нарича по същия начин вярно или логически закон
· Ако колоната всички 0, а след това формулата се нарича фалшива самоличност
· Ако има 1 и 0, тогава формула се нарича оборима
• Ако има поне един 1, след това с формула се нарича възможно
• Ако има поне един 0, тогава формула се нарича оборима
Дайте стойността на Пропозиционални връзка - да я сравни с конкретна функция на истината.
10. Видове формули, връзката между формулите
Идентично вярно. в колоната резултат на всичко "и"
Идентично невярно. в колоната резултат на всичко "L"
Последователно - там "и" и "л"
Логично е вярно - формулата има стойност във всички редове от таблицата "и"
логически невярно
логично nondeterministically
1 Sovmestivnye istinnosti- от това дали има истина ред в таблицата по-, където изявление се изчислява на истинската (1) едновременно
2 sovmestivnye от lozhnosti- ако твърдения истина маса в линията да е настроен на невярна (0) едновременно
3 след булева (подчинение) - от множество формули F (гама) логично следва формула V, ете, в съвместното им маса истина няма такова низ, където всички формули на Т- вярно и формула В - фалшив.
11. Основните закони и методи на правилните аргументи на класическата логика Пропозиционални
Разсъждение правилно. ако то е свързано с форма на гаранция:
Парцели. "А"
Заключение. "А"
Законите на логиката имат функцията. Ако някоя от променливите в тях, където и да се намира, да замени формулата, резултатът отново ще идентично вярно формула.
Начини за правилните аргументи:
Противоречия. 7 (А 7А)
12. Заключение и доказателства в класическия Пропозиционални смятане
13. Видове мотиви:
16. Vyvod- не е празен и не-крайната последователност на операции С1, С2, Ск (1), където всеки C е или изпращане или произтича от предходните линии, една от правилата изводът
правила 17. извод: * въвеждане на правила, изключения от правилата *
18. Език на класическата Пропозиционални смятане е език KLV
19. (2) Ако изхода използван или # 9488; Б, а след това всички формули от последните парцели и до резултата от прилагането на това правило са изключени от участие в допълнително изход стъпки.
20. Dokazatelstvo- изход от множество празни опаковки. Последната формула в доказателството се нарича доказуем формула или теорема.
21. евристични методи - начин за намиране на правилното предположение в доказателството
22. 1 евристики: Ако А Б, след това като допускания и целевата изхода B
23. 2 Евристики: Аргументът за противното A # 9488; А - цел на предположение
24. 3 евристики: когато А е B, # 9488; А - помещение, а след това, с изключение
21. Концепцията на форма на мисълта и неговите основни видове
Концепция - идеята, че разпределят въз основа на герой от вселената на всички неща, които имат тази функция, и събира в класа.
Основните характеристики на понятието:
Сила на звука - много елементи, освободени от Вселената въз основа на характера.
Той призова празни понятия, които не отговарят на всяко едно нещо в обективния свят.
Например. "Перпетуум мобиле".
Не са празни понятия, отнасящи се до всички обекти от реалността;
Например: "Млечен път".
Положителен - концепцията, съдържанието на който се изразява в присъствието на свойствата на обекта.
Отрицателни - понятието, съдържанието на които е показана при липсата на каквито и да било предмет на имоти. Вербализират отрицателни частици и не без. В случаите, когато отрицателна частица се слели с думата не се използва и без него, тези понятия в един клас от положителни (дрънкулка възмущение).
3) обекти от тип обобщение:
Nesobiratelnye - понятия, които се смятат за признаци, свързани с всеки елемент (звезда, командир на полка).
Специфична - замислена обект или колекция от предмети, тъй като нещо съществуващо независимо (книгата, свидетелят, държавата);
Резюме - замислена обект или функция връзка между обектите (дързост отговорен вечността). Образувани в резултат на разсейване абстракция от един обект атрибут. Посредник - цяло концепция; Медиацията - общ, абстрактен. ООН - единица конкретно.
23. Видове връзки между понятия
Сравними - има някои признаци, които позволяват на тези понятия се сравняват един с друг (в пресата и телевизията - медиите).
Несравним - нямат общи характеристики, не е възможно да се сравни (престъпност, квадрат).
само сравними понятия могат да бъдат в логически начини.
Съвместими - концепции, обем на която е изцяло или частично съвпадат. Връзка Съвместимост:
3. Представяне (субординация) - понятието за обем един от които е напълно включено в обхвата на друга, която е част от него (на Съда (А - подчиняване на концепция - вид) и градски съд (в - подчинен концепция -. Kind) Ако по отношение на подаване са две общи понятия, които подчиняването - натура; роб - родени Ако по отношение на подаване са общото, така и конкретно (индивидуално) концепцията, общата сума (подчиняването) - формата, а единица (роб) - лице (адвокат и Вася Иванов) ..
Несъвместимост - концепцията, обемите на които не са еднакви, или изцяло или частично. несъвместимост на отношенията:
2. противоположни (противоположностите) - концепции, едната от които съдържа някои от знаците и другите - качества, които не са съвместими с тях; обеми на две противоположни концепции, съставляват само част от общия обем за тяхното родово понятие (приятелска държава (A) и враждебна държава (B), пунктираната линия показва общия термин "държава"; черно и бяло).
3. противоречие (kontradiktornost) - понятия, един от които съдържа някои от функциите и други характеристики са същите изключва; обем два противоречиви понятия съставляват целия обем на рода (приятелски държавата (А - положителна концепция) и недружелюбен държавата (не-А - отрицателна концепция) изпускателната обхвата на понятието "държавна").
Пример: Определяне на вида на връзката между понятията "каменна къща", "недовършена къща", "Къщата", "сграда", "гаража".
Най-големият по обем между тези понятия - структурата. Това ще бъде най-големият кръг. Всички други понятия са по отношение на подчиненост в тази концепция и кръгове са изготвени в рамките на голям кръг.
Сега нека да видим как ще се намира от вътрешната страна на кръгове. Концепцията за каменна къща и една недовършена къща в отношенията на субординация, не само в понятието "структура", но и на концепцията на къщата. Между тези две понятия са във връзка с пресичането. така тегленето, както следва: две пресичащи се кръгове в рамките на концепцията за "дом".
Концепцията остава в гаража. Това понятие е свързано само с понятието "структура" - е също така по отношение на подаването. Така че просто вътре в "структура" метал облечени на концепцията, която по никакъв начин не следва да не засяга други кръгове.
25. Транзакции с понятията: обобщение, ограничение, дивизия
Например. Обобщаване на понятието "Министерство на правосъдието на България" - понятието "Министерство на правосъдието". Обобщение понятия става чрез изхвърляне на съдържанието на оригиналната концепция на индивида, видове, симптом.
Например. понятието "адвокат" може да бъде ограничен чрез добавяне на признаци за спецификата на професионална адвокатска дейност, например, да бъде "следовател" - се понятието "изследовател"; добавяне на знак, че е "като прокурор", можете да получите на понятието "изследовател" и така нататък. г.
Delenieponyatiy- логическа операция, която отразява понятие обем. В процеса на разделяне на обема на групи разпределени концепции.
Разделяне елементи са delimoe- концепция, обхвата на които се изисква да разкрие; членове deleniya- суперордината видове, които се споделят концепцията; база deleniya- подпише от който е направено разделение.
Например, учениците в училището могат да бъдат разделени в класове, в класа - най-
групи по различни критерии: атлети и спортисти непушачи; изучаването на английски, немски и френски, и така нататък. н. сделки (споразумение) може да бъде разделена на многостранни, двустранни и едностранни.
26. Концепцията за развитие на логическото площада, преки удръжки и видове
Логическата площада - схема, изразявайки отношения с т сп .. на истината и лъжата между универсалното утвърдително, универсалното отрицателен, а на често chastnootritsatelnym решения свири традиционна. логика, със същия предмет и на същото сказуемото.
Видове незабавно извод:
Реализация (SAP-> SE-P) - един вид пряк извод, в които качеството се променя, без да се променя неговия парцел сума. Тя се извършва по два начина:
а) чрез двойна негативна, която се поставя преди свързващото вещество и преди предикат: S е Р; S не е не P
б) чрез прехвърляне на отрицание на предикат в сноп: S не е Р; S не е P
Работа (SAP-> ЗИД) - директен извод, в които е налице промяна на местата на субекта и предикат, като същевременно се поддържа качеството на съдебните решения.
Всички юристи - адвокати \ Всички S са P
Някои юристи - адвокати \ Някои P са S
Контрастните предикат (SAP-> SE-P-> PES) - трансформация на това последователно прилагане и операции за обработка - решение превръщане в нова предложение в които субектът става концепция противоречие предиката и предиката - предмет на първоначалното решение; Тя се променя качеството на преценка.
Пример за решение "Всички юристи - адвокати", могат да бъдат, която се противопоставя предикат получи "Нито адвокатът не е адвокат." схематично:
Няма Р не е S.
основен термин (R) - заключения предикат;
второстепенен Терминът (S) - да влезе в субекта;
В средносрочен план (М) - свързва се в пакети P и S, в заключение на линия.
Всички течност (М) - еластични (Р) - основна предпоставка
Живак (S) - течност (М) - нисш публикуване
Живак (S) - еластичен (F) - Заключение
Фигурата на силогизъм - набор от силогизми, които имат подобен
Начин силогизъм - много силогизми имат структура, която се определя от вида на отчети, включени в състава.
Правилно Моди - тези, за които между помещенията и заключения връзката съществува логичен извод.
1. Във всеки силогизъм, трябва да има само три думи - големи, средни и малки.
2. В средносрочен план трябва да бъдат разпределени. т.е., взети заедно в неговата цялост, най-малко един от парцелите. За да направите това, той трябва или да бъдат предмет на общо предложение, сказуемото или отрицателно решение.
3.Termin не разпространява в помещенията не могат да бъдат разпределени в заключение. От общи предложения, помещения, "Всички птици летят с помощта на крила" и "Всички птици - топлокръвни животни" не могат да бъдат получени като обобщена изход решението. Колкото по-малка терминът "топлокръвни животни", отива на предиката утвърдително помещението и затова не разпространяват. Следователно, на изхода трябва да се вземат не в своята цялост.
4. От две частни парцели, които не е възможно да се направи заключение. В този случай, не можете да зададете отношението на силата на звука между условията на силогизма, следователно, по-категоричен извод не мога. Така например, на парцелите: "Някои от членовете на Академията на науките - химици" и "Някои биолози - членовете на Академията на науките" не категоричен извод не последва. Обемът на този въпрос ( "някои биолози"), могат да се пресичат по някакъв начин с обема на предиката ( "химически"), но също могат да бъдат разположени извън
5. Ако парцел частни, продукцията ще бъде частен.
От парцелите: "Всички участници на кръста - на спортистите" и "Някои интелигентни студенти - участници на кръста," общото заключение невъзможно. Не мога да кажа, че всички интелигентни студенти - спортисти, тъй като това е само част от обема на по-малкия план.
От двата отрицателни помещенията не може да се заключи.
В този случай, всички термини са взаимно изключващи се, което премахва всякаква обемна връзка между тях. От помещенията, "Не планета блести със собствена светлина" и "изкуствен спътник не е планета" - няма изход трябва да бъде.
7. Ако едно помещение е отрицателен, изходът е отрицателна. Например: "Всеки престой на чист въздух е полезен. свеж въздух спирането на по-ниска температура е опасно. Ето защо, излагане на чист въздух при ниски температури могат да бъдат вредни за здравето. "
Силогизъм - логично заключение, съставен от два парцела # 9670; Вземете два факта: "Сократ - човек" и "Всички хора са смъртни." Силогизъм от тези два факта е "Сократ е смъртен".
Условни sillogizmy- такива силогизми, в които един или и двете помещения - условни присъди. Схема условно силогизъм, където двете парцели - условни решения: