直観主義みたいな、排中律を認めない論理体系では対偶と背理法は別物だったような。