Кросcворд по предмету Математическая логика - на тему Логика предикатов

Был запрошен кроссворд на 15 слов, смогли построить на 15 слов
Кросcворд по предмету Математическая логика - на тему Логика предикатов Кросcворд по предмету Математическая логика - на тему Логика предикатов
 
По горизонтали
5. Множество Т картежей (а1, а2,…, аn) таких, что при замене х1 на а1, х2 на а2, … хn на аn, получается истинное высказывание
10. Выражается словами «некоторые», «найдётся», «существует» и др
11. Предложене, в которое входят переменные и которые при замене этих переменных их значения становится высказываниями
13. … двух предикатов F(x) и Q(x) называется такой предикат F(x) V Q(x), что для всех а Х, значение этого предиката является дизъюнкция высказываний F(а) V Q(а). Множество истинности для предиката f(x)vq(x) является объединение множеств истинности F(x) и Q(x)

По вертикали
1. … двух предикатов F(x) и Q(x), определенных на одном и том же множестве Х , называют предикат f(x)«q(x) такой, что для всех а Х, его значение равно f(а)«q(а)
2. Пвыражается с помощью слов «каждый», «всякий», «любой»
3. … предиката F(x) называется предикат , определенный одним и тем же множеством Х, значением которого для любого a Х, является отрицание выказывания
4. Множество Т значений переменных при подстановки, которых в предикат получается истинное высказывание
5. Если в предикат входят переменные х1, х2,…, хn принадлежащий соответственно множеству Х1, Х2,…, Хn, то декартово произведение множеств Х1 Х2 … Хn является …
6. Предикат, в котором предложение зависит от одной переменной
7. Выражается словами «единственный», «один и только один»
8. Предикат, в котором предложение зависит от двух переменной
9. Два предиката, заданные на одном и том же множестве Х, называются … , если множества их истинности совпадает
12. ... двух предикатов F(x) и Q(x), имеющих общую область определения X, называют такой предикат F(x) Q(x), х Х такой, что для любого а Х значение этого предиката является конъюнкцией высказываний F(а) Q(а). Множество истинности для предиката F(x) Q(x) служит пересечением множеств истинности F(x) и Q(x)
14. … двух предикатов F(x) и Q(x), определенных на одном и том же множестве Х, называют предикат F(x) Q(x), который при любом а Х, имеет значение F(а) Q(а)

Открыть кроссворд в MS Word, OpenOffice Writer (*.rtf)

Похожие категории

1.
Теория алгоритмов
2.
Логика

Похожие кроссворды

1.
По информатике - Логика
2.
По педагогике - Теории обучения
3.
По педагогике - Теории обучения и воспитания
4.
По государственному регулированию - Теории происхождения государства
5.
По психологии - Теории психического развития


Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2020, Список Литературы