В математиката, често има предложения, които съдържат една или повече променливи: х <3, х + у = 8. Эти предложения не являются высказываниями, так как не имеет смысла вопрос, истинны они или ложны.
Помислете за пример. Оферта е номер - двуцифрено "не се казва, защото по отношение на нея не може да се определи: вярно или невярно това предложение. Въпреки това, чрез заместване на конкретни стойности на променливата, той отива на вярно или невярно твърдение. Например, когато х = 7 получим невярно твърдение "Броят на 7-цифрен", а когато х = 27 - вярно твърдение "Броят на 27-цифрения". Такова предложение в областта на математиката се нарича предикат или Пропозиционални форма.
Оферта, включващ променлива, която може да поеме различни ценности, замяната на някои от променливата превръща това изречение в изказването нарича предикат или Пропозиционални форма.
Всеки Пропозиционални форма генерира набор от отчети.
Например, чрез заместване на различни стойности на променливата в Пропозиционални форма "х + 3 = 8" ще получи същия тип на отчети: 2 + 3 = 8, 7 + 3 = 8, 5 + 3 = 8, и др.
По броя на променливите в Пропозиционални форма (предикат), те са разпределени в единични, двойни, и т.н. и съответно означават: А (х) В (х, у) и т.н.
Например, изречението "Броят на х - двуцифрено" и "х + 3 = 8" са единични форми на Пропозиционални (предикат) и предлага "х> у" и "х + у = 10" - двойни Пропозиционални форми.
Трябва да се има предвид, че под формата на Пропозиционални променливи са, съдържаща се имплицитно.
Така например, в изречението: "Броят е още", "Двете линии се пресичат", "четириъгълник е ромб" не променливи, но те са дефинирани като: "Броят на х - дори", "две линии х и у пресичат", "Четиристранната х е ромб" ,
За всеки Пропозиционални форма трябва да посочите набор от ценности, които могат да се променливата (и), включен в Пропозиционални форма.
Наборът от стойности, които могат да се вземат на променливата (и) Пропозиционални форма (сказуемото) се нарича областта на Пропозиционални форма (предикат).
Домейнът на Пропозиционални форма ще бъде означен с X и предикати ще бъдат записани показва областта на дефиниция: А (х). х ÎX; В (х, у), х. при ÎX и т.н. Записване А (х), х Î H. чете "Пропозиционални форма (предикат) А (х) се определя от набор X".
1. (х) Слово - глаголът "домейн му ще бъде много руски думи.
3. С (х): "х Четиристранни - квадрат" X - множество от четириъгълници.
Сред всички възможни стойности на променливия домен на изолираното тези, които плащат Пропозиционални форма вярно твърдение.
Наборът от стойности на вариабилния домен на Пропозиционални форма (предикат), който, когато се получи заместен истинската изказване се нарича набор от истина Пропозиционални форма (предикат).
Множество Пропозиционални форма истина (предикат) е обозначен с Т. След това, по дефиниция, TÌX (T комплект е подмножество на X).
1. (х) Слово - глаголът "своята истина комплект е набор от глаголи руски език.
3. С (х): "х Четиристранни - квадрат" T множество квадрати.
4. Г (х, у) "х + у = 5". Множество от истината на този предикат може да бъде различен в зависимост от областта на дефиниция. Когато X = R или X = Z, тогава Т - множество двойки числа, чиято сума е равна на 5, и се очаква да бъде безкраен. Ако X = N, тогава Т =.
Пропозиционални форма, определена на ограничен набор, че е възможно да се определи масата на първия ред, чиито елементи посочва домен, а втората - на твърдение е истина или лъжа, получен от Пропозиционални форма чрез заместване на тези елементи за променлива.
Например нека Пропозиционални форма А (х): "Броят х - дори" се намира на набор X =. Както се казва "Броят е дори 1" е невярно, броят 1 ще съответства на стойността на Пропозиционални форма "L" (фалшиво). Номер 2 отговаря вярно твърдение "Броят 2 - дори". Ние се получи следната таблица.
Свързани статии