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