Помогите, пожалуйста, с решением задачи:
Записать в форме высказывания следующую фразу (предложение):
"Некоторые москвичи - слушатели данной группы".

Абсолютно не понимаю, как это сделать...

@темы: Математическая логика

Комментарии
09.04.2011 в 16:04

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Я думаю, что здесь надо использовать два предиката, некую логическую операцию над ними и квантор существования
09.04.2011 в 16:06

Это конечно, может быть и хорошо, но я абсолютно не понимаю, как это делать...
09.04.2011 в 16:20

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Ну, а вы вообще кванторы, предикаты, операции над предикатами проходили?
09.04.2011 в 16:24

Проболела все самые главные лекции и теперь предикаты и все прочее для меня - темный лес (((
09.04.2011 в 16:58

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Понятно
Тогда вот здесь Литература по математической логике и теории алгоритмов есть книжка Никольская Математическая логика
Она для техникумов, поэтому очень просто написана. Прочтите там, начиная с параграфа о предикатах.
Там очень много примеров и вообще книга понятная.
Потому что без знания этого решение задачи невозможно