A인지 -A인지는 알 수 없지만 (A v B) -> A 일 떄는 -B라는 것은 참이죠?