Kısa cevap · Soru 126
Bir çıkarımın denetlenmesi ne demektir?
Yayımlanmış cevap
Bir çıkarımın denetlenmesi ise, çıkarımın geçerli mi geçersiz mi olduğunun ortaya konması demektir.
Cevabın yayımlanmış cevapla uyuştu mu?
Soru arşivi yükleniyor…
Soru arşivi yükleniyor…
Sorular yükleniyor…
Sınav ve konu sorularıyla çalış. Cevabını kontrol et, zorlandığın soruları kaydet ve yeniden çöz.
239 sorunun metninde arama yapabilirsin.
Diğer 3 görselli soruları kendi sayfalarında çözebilirsin.
Kendi cevabını düşün, sonra yayımlanmış cevapla karşılaştır. Değerlendirmeyi sen yaparsın.
İlerleme yükleniyor…
Bir çıkarımın denetlenmesi ise, çıkarımın geçerli mi geçersiz mi olduğunun ortaya konması demektir.
Cevabın yayımlanmış cevapla uyuştu mu?
Bir gündelik dil önermesindeki her bir farklı basit önermeyi farklı bir önerme değişkeni ile eşleştiren bir listeye, bu gündelik dil önermesi için bir sembolleştirme anahtarı denir.
Cevabın yayımlanmış cevapla uyuştu mu?
Bir önermeyi sembolleştirirken ilk olarak bu önermede geçen önerme eklemlerinin eş anlamlılarını standart olarak kabul ettiğimiz önerme eklemleriyle değiştireceğiz. Bu sırada, gerekirse cümlenin yapısını da yeniden düzenleyeceğiz ve noktalama işaretlerine uygun olarak parantezler yerleştireceğiz. Önermenin bu şekilde elde edilen biçimi standart biçimi olarak adlandırılır.
Cevabın yayımlanmış cevapla uyuştu mu?
vap: 1. Önerme eklemlerinin eşanlamlıları yerine standart önerme eklemleri yazılarak, ve noktalamaya uygun olarak, parantezler yerleştirilerek, önermenin standart biçimi elde edilir. 2. Önerme eklemlerinin yerine önerme eklemi sembolleri konur. 3. Basit önermeler yerine, sembolleştirme anahtarında verilen önerme değişkenleri konur. 4. İstenirse, okumada kolaylık sağlamak amacıyla, kimi parantezler ikinci ünitede belirttiğimiz işlem önceliği kurallarına göre kaldırılabilir.
Cevabın yayımlanmış cevapla uyuştu mu?
Bir sembolik önerme için bir çeviri anahtarı, önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren bir listedir. Bir sembolik önermenin hangi gündelik dil önermesine çevrileceği verilen çeviri anahtarına bağlıdır.
Cevabın yayımlanmış cevapla uyuştu mu?
Gündelik dile çevirme işlemi, sembolleştirme işleminin tersidir. Dolayısıyla, gündelik dile çevirme işleminde, gündelik dil önermelerini sembolleştirirken yaptığımız işlemlerin tersini yapacağız. Adım adım belirtirsek: 1. Verilen sembolik önermede, kısaltma amacıyla eksik bırakılmış parantezler yerine konur. 2. Sembolik önermede geçen önerme değişkenleri yerine, çeviri anahtarında belirtilen gündelik dil önermeleri konur. 3. Önerme eklemi sembolleri yerine önerme eklemleri konur. 4. Elde edilen ifadeyi doğal bir gündelik dil önermesine dönüştürmek için, parantezler kaldırılarak istenen önerme eklemlerinin yerine eşanlamlıları ve uygun noktalama işaretleri yerleştirilir.
Cevabın yayımlanmış cevapla uyuştu mu?
Sembolleştirme anahtarı.
Cevabın yayımlanmış cevapla uyuştu mu?
Önermenin standart biçimde ifade edilmesidir.
Cevabın yayımlanmış cevapla uyuştu mu?
Standart biçimde geçen önerme eklemlerinin sembollerinin konmasıdır.
Cevabın yayımlanmış cevapla uyuştu mu?
Sembolleştirmenin üçüncü adımı, basit önermelerin yerine, sembolleştirme anahtarında verilen karşılıkları olan, önerme değişkenlerinin yerleştirilmesidir.
Cevabın yayımlanmış cevapla uyuştu mu?
Önermenin gündelik dile çevirisi.
Cevabın yayımlanmış cevapla uyuştu mu?
Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren bir listeye “çeviri anahtarı” adı verilir.
Cevabın yayımlanmış cevapla uyuştu mu?
Verilen sembolik önermede, kısaltma amacıyla eksik bırakılmış parantezler yerine konur.
Cevabın yayımlanmış cevapla uyuştu mu?
Sembolik önermede geçen önerme değişkenleri yerine, çeviri anahtarında belirtilen gündelik dil önermeleri konur.
Cevabın yayımlanmış cevapla uyuştu mu?
Önerme eklemi sembolleri yerine önerme eklemleri konur.
Cevabın yayımlanmış cevapla uyuştu mu?
p › q
Cevabın yayımlanmış cevapla uyuştu mu?
p v q
Cevabın yayımlanmış cevapla uyuştu mu?
Gündelik dilin hem terim sayısı hem de tümce yapıları bakımından zenginliğidir.
Cevabın yayımlanmış cevapla uyuştu mu?
Gündelik dile çevirme işlemi, sembolleştirme işleminin tersidir.
Cevabın yayımlanmış cevapla uyuştu mu?
Çıkarımın geçerli mi geçersiz mi olduğunun ortaya konması demektir.
Cevabın yayımlanmış cevapla uyuştu mu?
Doğruluk tablosundaki satır sayısının, göz önünde bulundurmamız gereken önerme değişkenlerinin sayısı ile orantılı olarak çok hızlı artmasıdır.
Cevabın yayımlanmış cevapla uyuştu mu?
Çözümleyici çizelge yönteminin ana fikri, bir önermenin doğru olması için gereken koşulların bir çizgesini (grafiğini) oluşturmaktır.
Cevabın yayımlanmış cevapla uyuştu mu?
Çizelgeden bahsederken, çizelgedeki her numaralı önermeye bir nokta, 1. numaralı noktaya çizelgenin kökü, kökten en aşağıya kadar birbirini izleyen noktalara bir dal adını vereceğiz.
Cevabın yayımlanmış cevapla uyuştu mu?
Bir dalda birbirinin değili olan iki önerme ortaya çıkmış ise, o dal kapalıdır denir ve bu durum ortaya çıktığında, o dalda daha fazla devam etmeden, hemen dalın altına bir x (çarpı) işareti konarak, bu işaretin yanına o dalın hangi iki noktasının birbirinin değili olduğu belirtilir. Dal kapanmış ise ya da dalda çözümleyici çizelge kurallarından birini uygulayabileceğimiz hiçbir bileşik önerme kalmamış ise, o dal tamamlanmış bir daldır. Tüm dallar tamamlandığında çizelge de tamamlanmıştır. Çizelge tamamlandığında, tüm dallar kapanır ise, çizelge kapalıdır.
Cevabın yayımlanmış cevapla uyuştu mu?
Çizelgenin köküne önermeyi yazarak çözümleyici çizelge kurallarına göre ilerleriz. Bir dalda ortaya çıkan her önerme değişkenine ya da değillemesine, verilen doğruluk değerlemesine göre doğruluk değerini yazarız. Eğer dalda Y değeri ortaya çıkarsa, o dal yanlıştır ve o dalda daha fazla ilerlemeyiz. Eğer tamamlanan bir dalda tüm değerler D ise, yani o tamamlanmış daldaki tüm önerme değişkenleri ve değillenmiş değişkenler D değerini almış ise, o dal doğrudur denir. Çizelge tamamlandığında en az bir dal doğru ise, çizelgesini yaptığımız önerme bize verilen doğruluk değerlemesinde doğrudur. Çizelgeyi yaparken tamamlanmış bir doğru dal ortaya çıkarsa, daha fazla devam etmeden, önermenin verilen doğruluk değerlemesinde doğru olduğunu söyleyebiliriz. Eğer tüm dallar yanlış ise, önerme bize verilen doğruluk değerlemesinde yanlıştır. Bu nedenle, bir tek yanlış dala bakarak önermenin verilen doğruluk değerlemesinde yanlış olduğunu söyleyemeyiz. Önermenin verilen doğruluk değerlemesinde yanlış olduğunu söyleyebilmek için tüm dalların yanlış olması gerekir.
Cevabın yayımlanmış cevapla uyuştu mu?