형식논리에만 적용 되는건가요?