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