Будьте добры связывая переменные кванторами, превратите функции в высказывания: а) х автор романа у; б) город х стоит на берегу у; в) река х впадает в у; г) студент х учится на факультете у в учебном заведении z; даны предикаты: p(x): x< 5? q(y): < 9 составьте предикаты: p(x)^q(y),q(y)vp(x), q(x)-> q(y)
Предикаты: p(х): х автор романа, q(у): у
Высказывание: p(х) - "х является автором романа"
b) Переменные: х, у
Предикаты: p(х): город х, q(у): у стоит на берегу
Высказывание: p(х) -> q(у) - "Если х является городом, то у стоит на берегу"
c) Переменные: х, у
Предикаты: p(х): река х, q(у): у впадает в
Высказывание: p(х) -> q(у) - "Если х является рекой, то она впадает в у"
г) Переменные: х, у, z
Предикаты: p(х): студент х, q(у): учится на факультете, r(z): учебное заведение z
Высказывание: p(х) ^ q(у) ^ r(z) - "х является студентом, который учится на факультете у в учебном заведении z"
Далее, составляем предикаты из предложенных предикатов p(x) и q(y):
a) p(x) ^ q(y) - "x автор романа и y"
b) q(y) v p(x) - "y или х является городом на берегу"
c) q(x) -> q(y) - "Если x, то и y"