論理の定義