MNT102U
SEMBOLİK MANTIK
2017-2018
Dönem Sonu Sınavı
T6K-2-6
Soru 1
Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür?
Soru 2
z x (GA (Gx Hz)) formülünde z niceleyicisinin etki alanı aşağıdaki formüllerden hangisidir?
Soru 3
x (Gx Fx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?
Soru 4
x (Fx yGy) önermesi aşağıdaki modellerden hangisinde yanlıştır?
Soru 5
F : a matematikçidir.
G : a felsefecidir.
H : a müzisyendir.
Soru 6
Çözümleyici çizelge yöntemi ile x Fx y Fy önermesinin doğruluk değerini hesaplamak üzere
SM = {a, b}, FM = {a} modeli ve yukarıdaki tamamlanmamış çözümleyici çizelge verilmiş olsun.
Soru 7
p
x
D
Y
Y
Y
Soru 8
p
q
x
D
D
Y
D
Y
D
Y
D
D
Y
Y
Y
Soru 9
“Geçerli bir tümdengelimli çıkarımda,
çıkarımın öncül önermelerinin tümünün doğru olduğunu
kabul ettiğimizde sonuç önermesini de doğru kabul etmemiz
zorunludur.”
Soru 10
Aşağıdakilerden hangisi “Bazı canlılar kanatlıdır.” önermesi ile aynı yargıyı dile getirir?
Soru 11
z y (Gy Hz) ön-nicelemeli normal biçimdeki formülünün matrisi aşağıdakilerden hangisidir?
Soru 12
Aşağıdakilerden hangisi ön-nicelemeli normal biçimdeki bir formüldür?
Soru 13
Aşağıdakilerden hangisinde değilleme eklemi sadece atomik formüllere uygulanmıştır?
Soru 14
“Her cisim yer kaplar.” önermesinin değillemesi aşağıdaki önermelerden hangisidir?
Soru 15
Aşağıdaki
önermelerden hangisi
SM
= {a, b}, FM
= {a}, GM
= {} modelinde doğrudur?
Soru 16
x (Fx ↔ Gx) önermesi aşağıdaki modellerden hangisinde doğrudur?
Soru 17
F : a bir insandır.
G : a bir felsefecidir.
H : a bir mantıkçıdır.
Soru 18
Çözümleyici çizelge yöntemi ile
x
(FA
Fx) önermesinin geçerliliğini
denetlerken oluşturulacak çözümleyici çizelgenin başlangıcındaki
önermeler aşağıdakilerden hangisidir?
Soru 19
p: Ahmet felsefe öğrencisidir.
q: Ahmet’in en başarılı olduğu ders mantıktır.
r: Ahmet bol alıştırma çözerek çalışır.
Soru 20
“En
az bir canlı omurgalıdır.” önermesinin
değili aşağıdakilerden
hangisidir?