SEMBOLİK MANTIK Dersi YÜKLEM VE NİCELEYİCİLER soru detayı:
SORU:
Açık ve kapalı formüllerin tanımını yapınız.
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 “önerme”dir. En az bir serbest değişken geçişi olan bir formül ise “açık formül” olarak adlandırılır.