на множестве X={1,2,…20} заданы предикаты: А(х) – «х не делиться на 5», В(х) – «х – простое число», С(х) – четкое число», D(x) – «Х – кратно 3». Сформулируйте следующие предикаты, и найдите множество истинности этих предикатов: 1) A(x)VB(х), 2) D(x)VB(x), 3) С(х)В(х).
-
-
22.11.2010 в 20:57Пункт 5
Очень хорошо написано с примерами у Никольской в математической логике
Литература по математической логике и теории алгоритмов
Почитайте, выскажите свои соображения, мы проверим, направим.