Помогите решить. Являются ли парами следующие отрицания или нет (объясните почему)

Тут надо установить пары отрицаний. То есть, таких утверждений, которые, во первых взаимно исключают друг друга, а во вторых, дополняют друг друга так, что в любом случае реализуется хотя бы одно утверждение. Так:

Пара а) не является парой отрицаний, т. к. есть ещё утверждение 5 = 4, хотя и неверное, но которое исключается как первым, так и вторым утверждением.
Пара б) является парой отрицаний. Несмотря на то, что второе утверждение неверно, оно полностью отрицает первое.
Пара в) не является парой отрицаний. Возможен ещё случай: Треугольник АВС остроугольный
Пара г) является парой отрицаний. Любое натуральное число либо чётное, либо нечётное. Третьего не дано.
Пара д) не является парой отрицаний. Существуют ещё функции общего вида, которые не являются ни чётными, ни нечётными.
Пара ж) является парой отрицаний. Вообще, если для любого n из некоторого множества что-то неверно, то отрицанием этого утверждения будет то, что существует хотя бы один такой n, для которого это верно.
Пары з) и и) являются парами отрицаний по той же причине.
Пара к) не является парой отрицаний. Отрицанием для первого утверждения будет "Существует такое n, которое делится на 3, но не делится на 9", о чём не говорится во втором утверждении.
Пара л) не является парой отрицаний по той же причине, что и в паре а).