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