Deneme Sınavı Soruları

“Bazı asal sayılar tek rakamlıdır” önermesinin değili aşağıdaki önermelerden hangisidir?

A doğru ise ~A yanlış, A yanlış ise ~A doğrudur önermesi hangi kavramın ifadesidir? 

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?

(Ǝx Fx ∧ ∀x ~Gx) önermesi aşağıdaki modellerden hangisinde doğrudur?

ⱻ y (Gx ᴠ Hy ᴧ Tz) formülünde  ⱻ y tikel nicelemesinin etki alanı aşağıdakilerden hangisidir?           

Ɐx için Fx → Gx sembolik önermesinin karşılığı aşağıdakilerden hangisidir?

Her hayvan beslenir. O halde, hiçbir hayvan besinsiz değildir. Önermesinin sembolik karşılığı aşağıdakilerden hangisidir? (F: a besinsiz; G: a canlıdır.; H: a beslenir)

Verilen sembolleştirme anahtarına göre “Bütün pahalı arabalar hem güvenli hem de hızlıdır” önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir?

F: a pahalıdır.

G: a arabadır.

H: a güvenlidir.

J: a hızlıdır.

Nicelemeli bir sembolik önermenin gündelik dildeki karşılığını oluşturduğumuzda, bu sembolik önermeyi gündelik dile çevirdiğimizi söyleriz. Gündelik dile çevirme işlemini de, sembolleştirmede olduğu gibi adım adım gerçekleştireceğiz.
Önermeler mantığında olduğu gibi, niceleme mantığında da gündelik dile çeviri ancak bir çeviri anahtarına göre yapılabilir. Niceleme mantığında, sembolik
bir önerme için bir çeviri anahtarı, bu önermede geçen yüklem sembollerinin
yüklem ifadeleri ile, ad sembollerinin ise adlar ile eşleştirilmesi ile belirtilir.
Gündelik dile çevirme işlemi, sembolleştirme işleminin tersi olduğundan,
sembolik bir önermeyi gündelik dile çevirirken, sembolleştirme de izlediğimiz
adımları tersine çeviririz. Gündelik dile çeviri adımlarını açıkça sıralayalım:
1. adımda, en dıştaki parantezler hariç, okuma kolaylığı sağlamak için kaldırılmış olan parantezler eklenir.
2. adımda, ad sembolleri yerine, sembolleştirme anahtarında verilen adlar
konur.
3. adımda, ifadede geçen her yüklem sembolü yerine, sembolleştirme anahtarında verilen yüklem ifadesi küme parantezleri içine konur. Hemen yanına
yüklemin uygulandığı değişken veya ad konur.
4. adımda, önermede geçen {Y(a)}X ifadeleri yerine, Y(a) yüklem ifadesinde
a yerine X değişken veya ad sembolünün konmasıyla elde edilen Y(X) ifadesi konur.
5. adımda, niceleyiciler ve önerme eklemi sembolleri yerine gündelik dildeki
niceleme ifadeleri ve önerme eklemleri konur.
6. adımda, doğal bir ifade elde etmek için parantezler yerine noktalama işaretleri konur ve istenirse kimi niceleme ifadeleri ve önerme eklemleri eşanlamlı başka ifadelerle değiştirilir.

Hangisi Doğrudur?

Çözümleyici çizelge ile nicelemeli bir sembolik önermenin bir modelde doğruluk değerini hesaplarken, çizelgede en az kaç doğru dal ortaya çıkarsa,   
önerme, bize verilen modelde doğrudur?

Çözümleyici çizelge ile geçerlilik denetlemesi yaparken aşağıdakilerden hangisi ya da hangileri  doğru olur?

I. Tikel-özelleme kuralının tümel-özelleme kuralına önceliği vardır.

II. Alt alta yazma kurallarının çatal açma kurallarına önceliği vardır.

III. Nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için, önermenin değilinin model oluşturma kurallarına göre oluşturulan tamamlanmış çözümleyici çizelgesinin kapalı olması gerekir.

Aşağıdakilerden hangisi “Her F G dir” önermesinin doğru yorumlamasıdır?

∀x (Gx ↔ Fx ∨ Hx) sembolik önermesinin gündelik dil karşılığı aşağıdakilerden hangisidir?

F: a bir martı
G: a’nın kanadı vardır.
H: a serçedir.

p: Satranç zevkli bir oyundur.
q: Satranç öğrenmesi zor bir oyundur.
r: Oğuz iyi satranç oynar.
s: Oğuz satranç öğretemez.
t: Ebru satranç oynamayı öğrenmeyi istemektedir.
u: Ebru Oğuz'dan satranç dersi almaktadır.
v: Ebru satranç oynamayı öğrenir. 

6-10. sorular yukarıda verilen sembolleştirme anahtarına göre cevaplanacaktır.

Yukarıdaki sembolleştirme anahtarına göre "Satranç zevkli bir oyun olmasına rağmen öğrenmesi zor bir oyundur ve Oğuz hem iyi bir satranç oyuncusudur hem de satrancı iyi öğretir." önermesinin sembolik karşılığı aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi bir totolojidir?

Aşağıdakilerden hangisi bir çelişki önermesinin değilidir?

Oluşturdukları bileşik önermenin doğruluk değeri sadece bileşenlerinin doğruluk değerine göre belirlenebilen eklemlere ne denir?

Aşağıdaki önerme eklemlerinden hangisi bir doğruluk fonksiyonu belirmektedir?

"Ali’nin mezun olmasının ve diplomasını almasının gerekli bir koşulu, Ali’nin tüm derslerinden geçmiş olmasıdır." önermesinin standart biçimi aşağıdakilerden hangisidir?

... düzgün akıl yürütme kurallarının bilimi, felsefe ise, genel olarak, temel gerçeklerin akla dayalı araştırması olarak tanımlanır.

Boş bırakılan yere aşağıdakilerden hangisi getirilmelidir?