Deneme Sınavı Soruları

Aşağıdakilerden hangisi tikel-niceleyici bir önermedir?

“Her insan hata yapabilir ancak kimi hatalar kolay affedilmez” önermesini
F: a bir insandır.
G: a hata yapabilir.
H: a bir hatadır.
K: a kolay affedilir.
sembolleştirme anahtarına göre, niceleme mantığında sembolleştirelim:
1. adımda, tikel ve tümel-niceleme ifadeleri ile önerme eklemlerinin eş anlamlıları standart niceleme ifadeleriyle ve önerme eklemleri ile değiştirilerek ve noktalama işaretlerine uygun olarak parantezler yerleştirilerek,

Her x (x bir insandır ise x hata yapabilir) ve bazı y (y bir hatadır ve değildir
y kolay affedilir.)
ifadesi, önermenin standart biçimi olarak elde edilir.
2. adımda, niceleme ifadeleri ve önerme eklemleri yerine niceleyiciler ve
önerme eklemi sembolleri yerleştirilerek
∀x (x bir insandır → x hata yapabilir) ∧ ∃y (y bir hatadır ∧ ~y kolay affedilir)
3. adımda, parantezli yüklem ifadelerinin uygulandıkları değişkenle birlikte
konulmasıyla
∀x ({a birinsandır}x → {a hata yapabilir}x) ∧ ∃y ({a bir hatadır}y ∧ {a kolay
affedilir}y)
ifadesi elde edilir.
4. adımda, parantezli yüklem ifadeleri yerine sembolleştirme anahtarında
bunların karşılığı olarak verilen yüklem sembolleri konarak
∀x (Fx → Gx) ∧ ∃y (Hy ∧ ~Ky)
önermesi elde edilir.
5. adımda, önermede geçen hiçbir ad olmadığından, yine
∀x (Fx → Gx) ∧ ∃y (Hy ∧ ~Ky)
önermesi elde edilir.
6. adımda, kurallara göre hiçbir parantez elenemeyeceğinden, yine aynı önerme elde edilir.

Aşamaların hangileri doğrudur?

Aşağıdakilerden hangileri niceleme mantığının sembolik dilindeki terimlerdendir?

∀y(Gx˅ƎzHz) formülünde Ǝz tümel-nicelemesinin etki alanı aşağıdakilerden hangisidir?

Doğrusal açılım sonucunda(I)..........biçimindeki tümel-niceleme ifadeleri tümel-evetleme ifadelerine(II)................ biçimindeki tikel-niceleme ifadeleri de tikel-evetleme ifadelerine dönüşmektedir

Yukarıdaki boşluklara sırası ile aşağıdaki seçeneklerde belirtilen sembolik önermelerden hangileri getirilmelidir?

S_M ={a, b, c}, F^M = {b}, G^M ={b, c}  A^M =a modeline göre aşağıdaki önermelerden hangisi doğrudur?

"~∃ν A ve ∀ν ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~∃ν A ifadesi varsa, o dalda bir nokta olarak ∀ν ~A ifadesi eklenir." verilen bilgi hangi değer hesaplama kuralına aittir?

S_M ={a, b, c}, F^M = {a}, G^M ={b, c}, A^M =a, B^M =b modeline göre aşağıdaki önermelerden hangisi yanlıştır?

A = ∀y ((Fx ∧ Gy) ∨ (Gy → Hx)) ise ağağıdakilerden hangisi doğrudur?

Aşağıdakilerden hangisi değişken olarak kullanılır?

Ǝx (Fx v ∀y Gy) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?

"Çözümleyici çizelge ile model oluştururken, bir dalda ∀ν A biçiminde bir önerme ortaya
çıktığında, o dalda ortaya çıkmış her s elemanı için .......... ifadesi dala eklenmelidir." boşluğa ne gelmelidir?

“∀” aşağıdaki sembolik dillerden hangisine örnektir?

... bakımından bir çıkarımda öncüllerin sonuç önermesini kesin olarak ortaya koyması değil, sonucun doğru olma olasılığını arttırmaları şartı aranır.

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

Önermeler mantığında doğruluk tablosu yöntemine göre ((p v q) <-> (~q v r)) önermesinin doğruluk tablosu kaç satırdan oluşur?

(p → q), (p → r) ∴ p → (q ∧ r) çıkarımının geçerli olması için p,q ve r'nin doğruluk değeri nasıl olmalıdır?

Çözümleyici çizelge yönteminde bir dalda ortaya çıkan aşağıdaki biçimde bir ifadede “k” sayısı neyi göstermektedir

                                   n. A (k)

"Eğer Ahmet gelirinin yeterli olmasını istiyorsa, ya harcamalarını azaltması ya da, harcamalarını azaltamıyorsa, gelirini arttırmaya çalışması gereklidir. Ahmet’e büyük ikramiye çıkarsa, ne harcamalarını azaltması ne de gelirini arttırmaya çalışması gereklidir. O halde, Ahmet’e büyük ikramiye çıkmamasına rağmen Ahmet gelirinin yeterli olmasını istiyorsa, Ahmet’in ya harcamalarını azaltması ya da gelirini arttırmaya çalışması gereklidir."

Aşağıdakilerden hangisi yukarıdaki cümlenin öncüllerinden biridir?

Aşağıdakilerden hangisi bir çelişki önermesidir?

1. Başka bir önermeden türetilmemiş olan önermeler basit önermelerdir.
2.  En az bir başka önermeden elde edilmiş önermeler bileşik önermedir.
3. Bir bileşik önermeyi elde etmek için kullanılan önermeler bu bileşik önermenin önerme eklemleridir.
4. Bir bileşik önermede en son birleştirilen önermeler bu bileşik önermenin ana bileşenleridir

Önermelere ilişkin yuklarıda verilen bilgilerden hangisi ya da hangileri doğrudur?