Studopediya

КАТЕГОРИЯ:


Астрономия- (809) Биология- (7483) Биотехнологии- (1457) Военное дело- (14632) Высокие технологии- (1363) География- (913) Геология- (1438) Государство- (451) Демография- (1065) Дом- (47672) Журналистика и СМИ- (912) Изобретательство- (14524) Иностранные языки- (4268) Информатика- (17799) Искусство- (1338) История- (13644) Компьютеры- (11121) Косметика- (55) Кулинария- (373) Культура- (8427) Лингвистика- (374) Литература- (1642) Маркетинг- (23702) Математика- (16968) Машиностроение- (1700) Медицина- (12668) Менеджмент- (24684) Механика- (15423) Науковедение- (506) Образование- (11852) Охрана труда- (3308) Педагогика- (5571) Полиграфия- (1312) Политика- (7869) Право- (5454) Приборостроение- (1369) Программирование- (2801) Производство- (97182) Промышленность- (8706) Психология- (18388) Религия- (3217) Связь- (10668) Сельское хозяйство- (299) Социология- (6455) Спорт- (42831) Строительство- (4793) Торговля- (5050) Транспорт- (2929) Туризм- (1568) Физика- (3942) Философия- (17015) Финансы- (26596) Химия- (22929) Экология- (12095) Экономика- (9961) Электроника- (8441) Электротехника- (4623) Энергетика- (12629) Юриспруденция- (1492) Ядерная техника- (1748) Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военни бизнесмен (14632) Висока technologies- (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къща- (47672) журналистика и смирен (912) Izobretatelstvo- (14524) външен >(4268) Informatika- (17799) Iskusstvo- (1338) историята е (13644) Компютри- (11,121) Kosmetika- (55) Kulinariya- (373) културата е (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23702) математиците на (16968) Механична инженерно (1700) медицина-(12668) Management- (24684) Mehanika- (15423) Naukovedenie- (506) образователна (11852) truda- сигурност (3308) Pedagogika- (5571) Poligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97 182 ) индустрия- (8706) Psihologiya- (18388) Religiya- (3217) Svyaz (10668) Agriculture- (299) Sotsiologiya- (6455) на (42831) спортист строително (4793) Torgovlya- (5050) транспорт ( 2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Electronics- (8441) Elektrotehnika- (4623) Мощност инженерно ( 12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Количествено операция




Ние дефинираме предикат - "Номер разделена на броя ". , Истината на това твърдение е частичен, тъй като е възможно да изберете броя на и

така че не се дели на , предикат - "Прайм номер дели само по себе си и един "е универсално вярно, както е вярно за всяка стойност на х.

В предикатното логически частични и универсални истини е определен индивидуални специални символи - количествено (квантов, количество - количеството; количествено - за определяне на размера; квантор (квантор) - подходящо вербална съществително).

Ако посочите предикат , Това е от особен интерес да разгледат следните две твърдения:

1. Несигурно изявление вярно за всички ,

2. Несигурно изявление вярно за поне един елемент, Или, с други думи, елемент комплекти За което - Вярно е.

Приложенията 1 и 2 в кратката форма ще се появят съответно, както следва:

,

,

общ знак, обозначен - Обърнат първата буква от английската дума All - всичко.

Знак съществуване означен - Обърнат първата буква от английската азбука Съществува -Има.

Символи за quantifiers под формата на обърнати английски букви бяха въведени от италианския математик Джон. Peano през 90-те години на XIX век.

общ признак Той заменя формулировката думи: всичко, всеки, всеки, всеки. наличието на знак се използва вместо думи, най-малко един, там,.

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

По този начин, за да докаже истинността на твърденията Ние трябва да се докаже истинността на твърденията За всички, без изключение, ,

Но, за да се докаже неистинността на изявленията достатъчно да се посочи само един елемент За което одобрение Това е фалшива. значение За което невярно се нарича Контрапример да изразят , Като пример, помислете предиката Определя се на множеството на естествените числа: - " ". Kontprimerom да изразят е номер Въпреки че за всички Вярно е.

изразът То се отнася до твърдение, че е вярно, ако има елемент За което вярно и невярно друго.

Така предиката може да се превърне в резюме по два начина: да замени определена стойност в предикат, или да използвате универсални quantifiers и съществуване.

променлив , Част от предиката Тя се нарича свободна променлива. променлив , В израза Наречен променлива, свързана универсално количествено. променливата , В израза - Променлива, свързана екзистенциална квантор.



Количествени операции, приложими за BENCH

предикати. На снимачната дефиниран предикат ,

квантор Application операции на предиката променливата възлага двоичен предикат Единична предикат В зависимост от променливата и не зависи от променливата , За двоични предикатните quantifiers могат да бъдат използвани като променливата И променливия , Със следните опции:

; ; ; ;

; ; ; ,

Условия за пермутации на quantifiers. нека - Произволна формула на предикатното логика. Помислете за произволно, но фиксирана интерпретация. От дефиницията на quantifiers че, ако е вярно , Истинската и обратно. По същия начин, ние се заключи, ако е вярно , Истинската , По този начин, при смяна на местата на едноименния съседни quantifiers са равностойни, за да получите формулата.

По този начин, стоящи един до друг със същите quantifiers име може да се пренареди. Следователно формула

и

Те са валидни като цяло.

Противоположни quantifiers може да бъде винаги не се движеха.

Имаме следната теорема: За всяка формула и всеки обект, променливи и формула

логика е валидна, но обратната Изводът

Тя не винаги е логично универсално валидни.

За да докаже валидността на формулата фиксира произволно тълкуване

формула и определянето на quantifiers ние откриваме, че формулата е вярно, в който и да е тълкуване, че е, то е валидно.

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

Нека областта на предиката е съвкупност от реални числа, и сказуемото = " ".

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

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

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

1. - За всички и за всички разделения ,

2. - там Което е делител на всички ,

3. - За всички там така че разделен ,

4. - там и там е така че разделения ,

5. - За всички и за всички разделения ,

6. - За всички има че разделен ,

7. - там и там е така че разделения ,

8. - там такова, че за всеки разделен ,

От тези осем изявления 2, 3, 4, 6, 7, са верни, а останалите невярно.

Имайте предвид, че промяна на реда на quantifiers (3) и (8) се променя смисъла на изказването и неговото логично стойност.





; Дата: 27.06.2015; ; Прегледи: 911; Нарушаването на авторските права? ;


Ние ценим Вашето мнение! Беше ли полезна публикуван материал? Да | не



ТЪРСЕНЕ:


Вижте също:



zdes-stroika.ru - Studopediya (2013 - 2017) на година. Тя не е автор на материали, и дава на студентите с безплатно образование и използва! Най-новото допълнение , Al IP: 66.102.9.26
Page генерирана за: 0.05 секунди.