ド・モルガンの法則
上のド・モルガンの法則は、一階述語論理にも拡張できる。