Deneme Sınavı Soruları

20 soru
Cevap anahtarı açık: çöz, sonucunu gör

0 doğru · 0 yanlış · 20 kaldı

1
I.Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal açıktır.

II. İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir
daldır. Bu durum o dalın sonuna bir × (çarpı) işareti konarak gösterilir.

III. Tümel-özelleme ve tikel-özelleme kurallarını, tümel ve tikel-nicelemelerin
değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak ilerleriz.

Yukarıda çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önerme için bir model bulmak için yapılması gerekenlerden hangisi veya hangileri yanlıştır?
2
S_M ={a, b}, F^M = {b}, A^M=a modeline göre ∀x(Fx→FA) önermesinin açılımı aşağıdakilerden hangisidir?
3
Aşağıdakilerden hangisi bir çıkarımın karşı-modelini oluşturulmasıyla ilgili doğru bir bilgidir?
4
Aşağıdakilerden hangisi "Her F G dir." ifadesinin sembolleştirilmiş halidir?
5
Aşağıdakilerden hangisi ∃x ∃y (Fx ∧ ~Fy) \ ∃x ∀y (Fx ∧ ~Fy) çıkarımı için iki elemanlı bir karşı-modeldir?
6
Bir formülün sembolik niceleme mantığında bir “kapalı formül” veya “önerme” olması için aşağıdakilerden hangisi gereklidir.
7
Bir çıkarımın karşı-modelini oluştururken tüm önermeleri aynı modelde değerlendirmek gereklidir. Öncüllerin doğru ve sonucun yanlış olduğu ayrı modeller oluşturmakla çıkarımın geçersiz olduğunu gösteremeyiz, çıkarımın geçersiz olduğunu gösteren bir karşı-model oluşturmaya çalışırken izlediğimiz adımlardan hangisi aşağıdaki bir şıkta yanlış verilmiştir?
8
Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz “öncelik kuralları” vardır.Buna göre aşağıdakilerden hangisi
bu kurallardan biri değildir?
9
Aşağıdakilerden hangileri niceleme mantığının sembolik dilindeki terimlerdendir?
10
I. Önermede her S ad sembolü yerine s elemanını yazarız:

II. 1 numaralı kök noktasına elde ettiğimiz ifadeyi yazarız.

III. Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve
bu durum o dalın, sonuna √ işareti konarak kapanmasıyla belirtilir.

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önerme için bir model bulmak için yapılması gerekenler hangisi veya hangileri doğrudur?
11
Niceleme mantığında bir ad sembolünün bir kümede yorumlanması ne anlama gelmektedir?
12
Kaç tane niceleyici kuralı vardır?
13
"....................... gündelik dile çeviri, ad ve yüklem sembollerinin gündelik dildeki karşılığını belirten çeviri anahtarına göre gerçekleştirilir." Boşluğa ne gelmelidir?
14
"Ali derslerine çalışmaz ise, ne derslerinde başarılı olur ne de mezun olur" önermesinin aşağıda verilen sembolleştirme anahtarına göre önermeler mantığında sembolleştirmesi aşağıdakilerden hangisidir?

p: Ali derslerine çalışır

q: Ali derslerinde başarılı olur.

r: Ali mezun olur.
15
Aşağıdakilerden hangisi “Ayşe Ali’yi tanır. Ali Mehmet’i tanır ise Ali Mehmet’le konuşur. O halde, Ayşe Mehmet’i tanır” çıkarımında geçen basit önermeler arasında değildir?
16
Aşağıdakilerden hangisinde bir çıkarımda öncüllerin sonuç önermesini kesin olarak ortaya koyması değil, sonucun doğru olma olasılığını arttırmaları şartı aranmaktadır?
17
Sonuç önermesi, öncül önermelerinin tümünün doğru olması durumunu en iyi açıklayan önerme aşağıdakilerden hangisidir?
18
“Ali derslerine çalışmaz ise, ne derslerinde başarılı olur ne de mezun olur” önermesinin standart biçimi aşağıdakilerden hangisidir?
19
P → P ᴧ (P ᴠ ~Q) sembolik önermesinin çözümleyici çizelgesinde aşağıdakilerden hangisi 3. sırada yer alır?
20
Basit önermelerin yerine, sembolleştirme anahtarında verilen karşılıkları olan, önerme değişkenlerinin yerleştirilmesi sembolleştirmenin kaçıncı adımıdır?

Bir şıkka dokun; doğru cevap hemen görünür.

Yeni yılların sınavlarını da çözSembolik Mantık dersinin tüm sınavları, cevap anahtarları, süreli mod ve yanlış analizi uygulamada.Uygulamada aç