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