PrintScreen Вашего видео я использовал в своём видеоролике (07-10. ЛОГИЧЕСКАЯ СПЕЦОПЕРАЦИЯ-2: ПРЕДИКАТЫ и КВАНТОРЫ - их диаграммы и формулы: ua-cam.com/video/DaGxSQW_wj0/v-deo.html ). Спасибо.
Странно... Почему выражение (3:16) «Однозначное натуральное число x является чётным» вдруг относится к понятию «одноместный предикат» P(x)??? Ведь в этом суждении ДВЕ логических переменных, которые следует обозначить только как «двухместный предикат» P(x,y), а именно:
x - однозначное натуральное число, y - являться чётным Тогда будут справедливы (и совершенно ПРАВИЛЬНЫ) следующие выражения: P(x,y) = xy = P(4,1)=1 и P(3,0) = xy’ = 1 И НИКАКИХ НУЛЕЙ! Тогда совершенно ничем необоснованная неопределённость в виде E(P)={0,1} - просто исчезнет. Растворится, как сон. К чему это введение в нормальную логику ничем не оправданной, ошибочной неопределённости??? :-)
Если переменная одна, то одноместный, если две, то двухместный. Вы ввели вторую переменную, у Вас получился двухместный, у меня одна переменная - одноместный.
PrintScreen Вашего видео я использовал в своём видеоролике (07-10. ЛОГИЧЕСКАЯ СПЕЦОПЕРАЦИЯ-2: ПРЕДИКАТЫ и КВАНТОРЫ - их диаграммы и формулы: ua-cam.com/video/DaGxSQW_wj0/v-deo.html ). Спасибо.
С чем это связано, и откуда взято?
Это математическая логика.
Странно... Почему выражение (3:16) «Однозначное натуральное число x является чётным» вдруг относится к понятию «одноместный предикат» P(x)??? Ведь в этом суждении ДВЕ логических переменных, которые следует обозначить только как «двухместный предикат» P(x,y), а именно:
x - однозначное натуральное число, y - являться чётным
Тогда будут справедливы (и совершенно ПРАВИЛЬНЫ) следующие выражения:
P(x,y) = xy = P(4,1)=1 и P(3,0) = xy’ = 1
И НИКАКИХ НУЛЕЙ! Тогда совершенно ничем необоснованная неопределённость в виде E(P)={0,1} - просто исчезнет. Растворится, как сон. К чему это введение в нормальную логику ничем не оправданной, ошибочной неопределённости??? :-)
@Ольга Благодарю за уточнения. Но чем же тогда понятие «предикат» отличается от понятия «переменная»?
Если переменная одна, то одноместный, если две, то двухместный. Вы ввели вторую переменную, у Вас получился двухместный, у меня одна переменная - одноместный.