Ответы на тесты по дисциплине Дискретная информатика 19



Авторы специализируются на тестах по любым дисциплинам! Средний балл по тестам 4,6.
Любые вопросы по дистанционному обучению. Тесты, письменные работы, сессия под ключ.
Известный интернет сайт, помощь по любым учебным вопросам - от теста до дипломной работы. Личный менеджер.
Крупная биржа студенческих работ. Закажи напрямую у преподавателя. Низкие цены, стена заказов.
Биржа студенческих работ. Потребуется самостоятельная выгрузка работ.

Тема 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)

Похожие материалы