Задача 4. На множестве Х= {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} заданы два предиката – А(х): «х - нечетное число»
На множестве Х= {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} заданы два предиката – А(х): «х - нечетное число», В(х): «число х кратно 3». а) Сформулировать предикат А(х) Ù и найти его множество истинности. б) Изобразить множества истинности предикатов А(х) и В(х) с помощью кругов Эйлера и заштриховать множество истинности предиката А(х) Ù . Решение. а) Сформулируем предикат – «число х не кратно 3». Сформулируем конъюнкцию предикатов А(х) Ù : «х – нечетное и не кратное 3 число». Найдем множества истинности предикатов А(х), В(х), . ТА = {5, 7, 9, 11, 13, 15}. ТВ = {6, 9, 12, 15}; = Х\ТВ = {5, 7, 8, 10, 11, 13, 14). Найдем множество истинности конъюнкции А(х) Ù по формуле {5, 7, 11, 13}. б) Множество Х – универсальное для множеств ТА и ТВ. Круги для множеств Та и ТВ пересекаются, т.к. множества имеют общие элементы. Множество истинности предиката А(х) Ù показано на рисунке штриховкой.
|