自由邏輯

自由邏輯是免除存在性假定的邏輯 。 或者說 ， 它是定理在包括空域的所有論域中都有效的邏輯 。