반갑습니다.

p이면 q이다의 대우명제는
~q이면 ~p이다 이지요.

그런데 p에 해당하는 조건이 '갑과 을이 모두 위촉되면' 인데요.
이에 대한 ~p는 '갑이 위축되거나 을이 위축된다'는 것입니다.

즉, 논리적으로 A에 대한 부정은 notA가 아니라
A의 여집합으로 보아야 한답니다.^^