глава I
Въведение
Представете си, че ние разполагаме с набор от три или повече от две букви решение, всички условия, от които са видове от същия род. Тези решения са свързани един с друг, така че, при приемането на определена двойка предложения, ние получаваме извода като се свързва с това ново предложение - още един извод, и т.н. до тогава, докато обхождате всички изявления, включени в комплекта. Ясно е, че ако първоначалния набор от предложения беше вярно, то крайното заключение би било вярно.
Такъв комплект заедно с прикачен към нея последните заключения се нарича Zorita. Първоначалният набор от предложения, наречена помещения. всеки от междинните заключения - лично мнение. Накрая, последният - пълно изречение. или просто заключение. Роуд, чиито видове са всички условия, които наричаме Вселената разглеждане. или кратко - Вселената. Zorita; изключени условията, включени в котило от силогизми - изключва отношение Zorita. и двете останалите условия, включени в своето заключение - да напусне условията Zorita. (Имайте предвид, че всеки конкретен извод съдържа една или две, за да се изключи план, но в пълния заключението включва остави само от условията).
На заключение се казва, че от помещенията. Преди това обикновено или постави думата "така", или да го е отделена от линия парцел хоризонталната. Трябва да се подчертае, че въпросът дали следва изводът от помещенията, не зависи от действителната истина или неистинността на някое от обстоятелствата, включени в носилки, и се определя единствено от връзката между съдебни решения.
Като пример, помислете следния набор от Zorita от 5 становища:
Като първо и второ решение, ние да получи становището на "No там не е в" ». Като го заедно с третия решението получи заключение "Не имат г '». От него и четвърти преценка следва да се заключи, "No г" не трябва д ' ». От последния, предприети във връзка с петото предложение, заключението трябва да бъде "Всички са з г». По този начин, ако първоначалното решение беше вярно, тогава заключението, получена би било вярно.
По този начин, като се започне с 5 решения за преценка "Всичко ч същност г» форма носилки. Първоначалните решенията са Yu-Zorita, твърдението "Всички са з г» - сключването му; а. б. в. д - изключваеми отношение Zorita и г и ч - оставете го условия.
Всички литра общо могат да бъдат представени, както следва:
Нито един не е нужно б ".
Нито е ", не е";
Това sorite три самостоятелни становища случват решение "Не там не е в" "," Никой няма не г "», «Не г" не трябва д ' ». В друг режим на частно заключение парцели щеше да е различно. Например, ако вземем решение в последователността 4, 1, 5, 2, 3, частните мнения са за съд "Не в" не е б "», «Всичко з са б», «Всичко з са в». Като цяло този sorite има девет частни мнения. Намерете ги за читателя в един интересен проблем.
глава II
ПРЕДИЗВИКАТЕЛСТВА Zorita
§ 1. Предварителни бележки
Задачите пред които сме изправени, са посочени, както следва: "Като се има предвид три или повече присъди връзка. Като ги за изпращане, за да се установи заключение (ако има такива) от тях трябва да бъде. "
Докато ние се ограничаваме само до онези задачи, които могат да бъдат решени с помощта на формули разбера I (вж. Книга VI, глава III, § 2). Задачи, които изискват за тяхното решаване други формули твърде трудни за начинаещи.
Задачите пред нас тип могат да бъдат решени от един от два метода:
- Метод индивидуален силогизъм;
- подчертае метод.
Помислете за всеки метод на мира.
§ 2. sorit решение от отделните силогизми
Правила, които се следват при решаването на проблеми от страна на отделни силогизми, са както следва.
- Изберете "вселена".
- Бъдете речник букви а. б. в. и т.н. съдебните решения на условията.
- съдебни решения рекорд в индексна форма.
- Изберете две решения, съдържащи два към класа и да ги използвате като силогизъм помещенията.
- Намерете формула сключването на силогизъм.
- Сред чип изберете такава, че заедно с получения Вторият извод силогизъм ще образуват парцели силогизъм.
- Като се използва формулата за намиране на заключението на втората силогизъм.
- Този процес продължава до момента, докато всички пакети са били изчерпани.
- Присъства последно заключение, което е пълен сключване Zorita в определена форма.
Като пример, помислете следния набор от предположения:
- Всички ченгетата в тази област имат нашите вечеря готвачи.
- Един мъж с дълга коса не може да бъде поет.
- Амос Джъд никога не е бил в затвора.
- Всички наши братовчеди готвят като студено овнешко.
- В този район няма други поети, с изключение на ченгета.
- С нашата готвач не пожъне никой освен роднините й.
- Всички хора с къса коса седи в затвора.
Вселена - "хората», а = Амос Джъд, B = братовчеди, нашият готвач, с = седяха в затвора, г = с дълга коса, е = обичат студени овче, H = поети, К = ченгета наоколо, L = вечерям с нашите готвач.
Представлява предположения в индекс форма. За да направите това, ние първо трябва да ги представи на абстрактната форма:
Подайте абстрактно предложение под формата на индекс, не е никаква трудност:
Сега ние откриваме два парцела, на който той е сключен. За да направите това, ние приемаме първата пратка и ще се оправи от порядъка на всички останали толкова дълго, колкото ние достигне парцелите, които заедно с първото изображение на фигурата ми .tak помещение е лесно да се види, ще се изпраща 5 (к - термин, с изключение). Следователно, първият ще бъде силогизъм
Вземете заключение l'h0 и го podyschu няколко сред останалите шест парцели. Решение ще бъде желан публикуване 2 (з - дългосрочни делеции), така че втората ни силогизъм ще има следния вид:
Колети 1, 2 и 5, ние вече се използват, така че няколко да се заключи, трябва да се потърси l'd0 сред останалите парцели. Като 6 колет получи трета силогизъм:
Какво пакет е в двойка с db'0. Очевидно е, че помещение 4. Четвърто силогизъм е:
§ 3. В решението се подчертава sorit метод
Помислете за няколко пратки
от което следва извод xy0.
За да получите xy0. Имаме, както се вижда от формула, М и изключва т 'и Y и напиши х наблизо, в един експресионен.
Изключени писма ще бъдат подчертавайки. първата буква - от една черта. второ - две. Тогава предположения са под формата
Писане на парцели, за да се подчертае, че е подходящо да се пропусне всички индекси. нули вече могат да се считат достойни във всички изрази, както и на такива, които се интересуват от само тези, които са изложени на писмата, които се съдържат в пълния мнение (за това, което знаем, твърди се, има ли нещо, за съществуването на термини, които все пак ще бъдат изключени) , Тези единици не е трудно да се възстанови оригиналния израз.
Помислете за решение Zorita подчертае по-подробно с примера на § 2. Изходна:
Читателят се насърчава да вземе лист хартия и напишете за себе си решението. Първият запис линия ще се състои от първоначалните данни, а вторият ще бъде изготвен малко по малко в процеса на решение.
На първо място, ние напишете първото предпоставката, поддържане пореден номер, който стои над нея, но пропускането на всички индекси. Тогава ние трябва да намерим пакет, който е "в съответствие" с първия, това означава, че съдържа или к. или л. Търси парцели от ляво на дясно, ще видим, че това помещение е предпоставката 5, и я прикрепете към първата, поставяне на знак между тях †.
За да се направи извод, да бъдат изключени от пакетите 1 и 5 термините к и к ". и че, когато това се случи, тя е представена като единична експресия. Ние наблягаме една особеност к и к "- две и да получите l'часа.
Сега ние трябва да намерим пакета, съдържащ или л. или з ". Гледайки как се изпраща една след друга, ние откриваме, че това условие е изпълнено, като изпрати 2, и я прикрепете към предишното освобождаване.
Три парцели химера (1, 5, 2) са действително еквивалент експресия l'часа † DH ". от която е необходимо да се изключи условията на час и час ". и какво ще бъде написана под формата на един единствен израз. Ние наблягаме з и з ". Оставаме l'г.
Нека да намерите пакета, съдържащ или л. или г. Такава обвивка се публикуване 6.
Четири парцели химера, сега стоеше на втория ред, еквивалентно експресия l'г † b'l. Подчертавайки л и л ". Получаваме db.
Търси парцел, съдържащ или г ". или б. Това ще бъде пакет 4. Като подчерта, б и б. " И накрая, ние се де ".
След това, ние трябва да намерим пакета, съдържащ или г ". или електронна. Това помещение се публикуване 7. Като подчерта г и г '. Накрая стигаме e'c ".
Сега ние трябва да намерим пакета, съдържащ или електронно. или. Това помещение е предпоставката 3 (може да се каже, че е изпратил 3, за други парцели в ляво).
Подчертавайки, в 'и с, ние откриваме, че всички дългосрочна еквивалентен e'a. Затова e'a може да се разглежда като сключването на Zorita и я прикрепете към парцелите на веригата отбележат П.
Тук трябва да се върне към първоначалните данни, както и да проверите дали те съдържаше suschestvovaniie изявление ", или. Твърдението на съществуването на намираме в пакета 3. Чрез добавянето на този факт до заключение, можем да пишем на последния във формата на P e'a0 † А1. т.е. P a1e'0. или "Всички сме д».
Ако читателят се спазват стриктно всички инструкции, той следва протокола за вземане на решение трябва да има:
Свързани статии