Здравствуйте, Семенюк Анастасия Андреевна!
Задание 2 Вы решили неправильно.
Укажите подмножества множества {{[$8709$],2},{2}}
Ответ: {{[$8709$],2},{2}}, {{[$8709$]}},{{2}}, [$8709$]
Задание 3:
Если R - отношение эквивалентности, значит в него входят все пары (a,a)[$8712$]AxA
Следовательно, в множество AxA\R все эти пары не входят.
Следовательно, отношение AxA\R не является рефлексивным.
Следовательно, отношение AxA\R не является отношением эквивалентности.
Задание 5:
Согласно дистрибутивному закону,
P[$8743$](Q[$8744$]R)=(P[$8743$]Q)[$8744$](P[$8743$]R)
Значит, имеем выражение вида A->A, где A =P[$8743$](Q[$8744$]R)
Подобное выражение всегда истинно.
[$8743$]
Задание 6:
а) аксиоматическим методом
Согласно клаузе Вонга, аргумент правильный, если в его правой и левой частях присутствует одинаковый терм. Здесь это C [$8743$] D
б) методом резолюций
A[$8594$](BVC),AVB,B[$8594$]A,B[$8594$]D[$8658$]CVD
¬AV(BVC),AVB,¬BVA,¬BVD,¬C,¬D[$8658$]0
¬AVBVC,¬BVD,A,¬C,¬D[$8658$]0
A,D,¬AVC,¬C,¬D[$8658$]0
Получили два противоположных дизъюнкта. Покрытие обеспечено, аргумент - правильный.
Задание 7:
В универсуме 0 и 1 найдите форму [$8704$]x P(0,x).
P(0,0) [$8743$]P(0,1)
Задание 8:
E(x,y) означает x=y
G(x,y)означает x>y
Не может случиться, что x=y и x>y
[$8704$]x[$8704$]y¬(E(x,y) [$8743$]G(x,y))