直観主義論理の選言特性