논리학적으로 따졌을때