論理的否定の構成

「法学部と経済学部と文学部がある」の厳密な否定は、ド・モルガンの法則により、「法学部がないか、経済学部がないか、文学部がないかのどれかである」となる。