(?) Krş.. ayırma kuralı, çifte değilleme, niceleyici değillemesi, tümel özelleme kuralı, tikel özelleme kuralı, zorunluluk çıkış kuralı.