1) x:y, A={1,2,3,4,5,6}

Понимаем запись x:y как «x делится на y». Для каждого x перечислим его делители y, принадлежащие множеству A.

Ответ: множество истинности — множество пар (x,y): {(1,1), (2,1), (2,2), (3,1), (3,3), (4,1), (4,2), (4,4), (5,1), (5,5), (6,1), (6,2), (6,3), (6,6)}.