Тема 4: Предикаты.
Вопрос: » Примем следующие обозначения для предикатов: Р(х) — ‘х — простое число’, Е(х) — ‘х — четное число’, D(х,у) — ‘у делится на х’, х=у — ‘х равно y’. Прочитайте следующие высказывания о целых положительных числах, укажите какие из них истинные:
1) #math#Not()Р(7);
2) #math#Not()Е(2) V #math#Not()P(2);
3) #math$gexistx(D(2,x)#math@mgr#Not()E(x));
4) #math$gforx(#math#Not()E(x) V D(2,x));
5) #math$gexistx(E(x)#math@mgr#Not()D(2,x));
6) #math$gexistx(P(x)#math@mgr$gfory(E(y)&D(x,y))).
Введите через пробел в порядке возрастания номера истинных высказываний.»
Ответ (4,6)
Вопрос: » Примем следующие обозначения для предикатов: Р(х) — ‘х — простое число’, Е(х) — ‘х — четное число’, D(х,у) — ‘у делится на х’, х=у — ‘х равно y’. Прочитайте следующие высказывания о целых положительных числах, укажите какие из них истинные:
1) #math$gforx(#math#Not()E(x)&P(x)&#math$gfory((E(y)&P(y))#math@mgr#Not()(x=y)));;
2) #math$gexistx#math$gexisty((P(y)&D(x,y))#math@mgr#Not()((x=y) V (x=1)));
3) #math$gexistx(#math#Not()(x=1)#math@mgr$gexisty(P(y)&D(y,x)).
Введите через пробел в порядке возрастания номера истинных высказываний.»
Ответ (1,3)
Вопрос: » Примем следующие обозначения для предикатов: Р(х) — ‘х — простое число’, Е(х) — ‘х — четное число’, D(х,у) — ‘у делится на х’, х=у — ‘х равно y’. Прочитайте следующие высказывания о целых положительных числах, укажите какие из них ложные:
1) #math#Not()Р(7);
2) #math#Not()Е(2) V #math#Not()P(2);
3) #math$gexistx(D(2,x)#math@mgr#Not()E(x));
4) #math$gforx(#math#Not()E(x) V D(2,x));
5) #math$gexistx(E(x)#math@mgr#Not()D(2,x));
6) #math$gexistx(P(x)#math@mgr$gfory(E(y)&D(x,y))).
Введите через пробел в порядке возрастания номера ложных высказываний.»
Ответ (1,2,3,5)
Вопрос: » Примем следующие обозначения для предикатов: Р(х) — ‘х — простое число’, Е(х) — ‘х — четное число’, D(х,у) — ‘у делится на х’, х=у — ‘х равно y’. Прочитайте следующие высказывания о целых положительных числах, укажите какие из них ложные:
1) #math$gforx(#math#Not()E(x)&P(x)&#math$gfory((E(y)&P(y))#math@mgr#Not()(x=y)));;
2) #math$gexistx#math$gexisty((P(y)&D(x,y))#math@mgr#Not()((x=y) V (x=1)));
3) #math$gexistx(#math#Not()(x=1)#math@mgr$gexisty(P(y)&D(y,x)).
Введите через пробел в порядке возрастания номера ложных высказываний.»
Ответ (2)
Вопрос: » Примем следующие обозначения для предикатов: Р(х) — ‘х — простое число’, D(х,у) — ‘у делится на х’, х=у — ‘х равно у’. Прочитайте следующие высказывания о целых положительных числах, укажите какие из них истинные:
1) #math$gexistx(P(x)#math@mgrD(2,x));
2) #math$gexistx(P(x)#math@mgr$gfory(P(y)#math@mgr#Not()D(x,y)));
3) #math$gexistx(#math#Not()D(2,x)#math@mgr$gfory(D(x,y)#math@mgrD(2,y)));
4) #math$gexistx#math$gexisty(#math#Not()D(x,y)& #math#Not()D(y,x));
5) #math$gfor x#math$gexisty#math#Not()D(x,y);
6) #math$gexistx#math$gexisty#math$gexistz#math#Not()D(x#math@muly,z)&D(x,z)&D(y,z);
Введите через пробел в порядке возрастания номера истинных высказываний.»
Ответ (1,4,5,6)