c логикой предикатов у тебя не все в порядке -) моя фраза утвержает что, если залетел(а) - значит, поимели, я ни коем образом нигде не утверждал, что если поимели - значит, залетела так что в данном контексте вы не правы...
по аналогии: все греки - люди, отсюда не следует, что все люди - греки...
Предикат (n-местный, или n-арный) — это функция с областью значений {0,1} (или «Истина» и «Ложь»), определённая на n-й декартовой степени множества M. Таким образом, каждую n-ку элементов M он характеризует либо как «истинную», либо как «ложную».
Предикат можно связать с математическим отношением: если n-ка принадлежит отношению, то предикат будет возвращать на ней 1.
Примеры Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат множеству вещественых чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.
Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.
Логика предикатов - раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации Л. п. принимает вид различных исчислений. Простейшими логическими исчислениями являются исчисления высказываний. В более сложных исчислениях предикатов описываются логические законы, связывающие объекты исследования с отношениями между этими объектами.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2006-10-24 09:08 am (UTC)no subject
Date: 2006-10-24 11:52 am (UTC)no subject
Date: 2006-10-24 01:11 pm (UTC)предикатову тебя не все в порядке -)моя фраза утвержает что, если залетел(а) - значит, поимели, я ни коем образом нигде не утверждал, что если поимели - значит, залетела
так что в данном контексте вы не правы...
по аналогии: все греки - люди, отсюда не следует, что все люди - греки...
no subject
Date: 2006-10-24 08:26 pm (UTC)требую определение в студию. причем неси ты - не я же это слово сказал )))
no subject
Date: 2006-10-24 08:40 pm (UTC)Предикат можно связать с математическим отношением: если n-ка принадлежит отношению, то предикат будет возвращать на ней 1.
Примеры
Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат множеству вещественых чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.
Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.
Логика предикатов - раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации Л. п. принимает вид различных исчислений. Простейшими логическими исчислениями являются исчисления высказываний. В более сложных исчислениях предикатов описываются логические законы, связывающие объекты исследования с отношениями между этими объектами.
no subject
Date: 2006-10-24 09:48 pm (UTC)