CEVAP: Bir formülde tüm değişken geçişleri bağlı ise, bu formül sembolik niceleme mantığında bir kapalı formül veya önermedir.