КАТЕГОРИЯ:


Астрономия- (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)

Много предикати истина




Fashion първоначални работни места

Концепцията на предиката

Понятието `` предикат '' обобщава понятието `` изявление ''. Неформално казано, предикат - това изявление, в което можете да заместите аргументите. Ако един аргумент - аргумента на предиката изразява имот, ако присъстват повече - съотношението между аргументите.

Пример предикати. Вземете отчета: `` Сократ - човек, '', '' Платон - човек ''. И на тези твърдения изразяват имота да бъде `` човек ''. По този начин, можем да считаме, предиката `` бъде човек '' и да кажа, че тя се извършва за Сократ и Платон.

Вземете отчета: `` разстояние от Иркутск за Москва 5000 км ". Вместо това, ние можем да напишете предиката `` разстояние '' (което означава, че първият и вторият аргумент на предиката са на разстояние, равно на третия аргумент) на аргумента, `` Иркутск '', '' Москва '' и `` 5000 километра " ,

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

Този аргумент на езика на Пропозиционални логика може да се запише в три отделни изявления. Въпреки това, няма връзка не може да бъде установена връзка между тях. На езика на предикатното логиката на тези предложения може да се изрази с две предикати: `` бъде човек '' 'и `` бъде смърт. " Първото изречение установява връзка между тези предикати.

1) Пропозиционални форма, т.е.. Д. следва да уточни Пропозиционални форма и набор от обекти за променливи

(X) = <х - неравномерно>, M х = N

2) Spreadsheet

В табличен метод се използва, когато малки променливи (от 1 до 3), върху които предиката и набор от обекти, към които предиката е разположен ниско.

N-на стая Пропозиционални форма - Пропозиционални форма, в зависимост от променливите N.

(X) = <х> 1>, M х = R - еднократна Пропозиционални форма

(X, Y, Z) = х + у - г = 10, M х = M у = M Z = R - образуват тройна Пропозиционални

Ако промените реда на променливите в предиката, той ще бъде още един предикат. Ако последователността не е уточнено, че е взето по азбучен ред, а след това и индекси (увеличение).

Ако някои променлива стойност Пропозиционални форма, без признаци на логически операции, губи значението си, а след това се смята, че са фалшиви.

(X) = - Истината за х <0

(X) = - Легнете по х <0

Поръчано п-кортеж - набор от п не е непременно различни предмети с дадения ред на тяхното местоположение.

{A; п; д; л; S; S; и; N} = {S; п; и; п; и; д; л; S} - за най-различни

(A, N, Е, L, В, С и, п) ≠ (А, п, А, п, и Е, L, S) - за подредени N-кортеж

Декартово произведение (продукт на п комплекти) - е набор от нареди на М-кортежи, в който 1-во място на обекта от първия комплект на 2-ри на 2-ри:



Нека M х = {а; б; С}, М Y = {1; 2}, след това им декартово произведение е равно на:

M х * M Y = {( а; 1); (В 2); (А 2); (С 1); (С; 2); (В 1)}

(<PH с капак>) - много предиката на истината, множеството от стойности на х, в които сказуемото е настроен на "истината".

Ако сказуемото зависи от две променливи, набор от истината е много двойки, в които при първото място обекта от M х, а вторият - от M у.

ако (X, Y) = <х > у>, M х = { 1; 2; 3) = {(3, 1); (3, 2); (2: 1)}

Ако устройството Това съвпада с набора, който определя предиката, предиката се нарича идентично вярно.

Ако устройството празен, предиката се нарича фалшива самоличност.

Равностойността на Пропозиционални форми

Пропозиционални форма еквивалент Пропозиционални форма Ако променливите са от един и същ набор и за всеки набор от Пропозиционални променливи форми вземат една и съща истина стойност.

еквивалент:

Х + 1 = 0 <=> X = COS π

| х | > 3 <=> х 2-90> 0

| х | <0 <=> грях х = 2

х = 1 <=> х + у - у = 1

Neravnosilnye:

пространство х> 0 <≠> Y> 0

х = х <≠> = х