3.4_排中律と直観主義論理