MNT102U
SEMBOLİK MANTIK
2015-2016
Dönem Sonu Sınavı
T6K-2-4
Soru 1
Aşağıdakilerden hangisinde hiçbir niceleyici ifade kullanılmadan tümel-nicelemeli bir önerme dile getirilmiştir?
Soru 2
y x (Gy Hz) ön-nicelemeli normal biçimdeki formülünün matrisi aşağıdakilerden hangisidir?
Soru 3
Aşağıdakilerden hangisi x(FA (GB Hx)) önermesinin denetlenebileceği bir modeldir?
Soru 4
Aşağıdakilerden hangisi x(Gx HA) \ HB çıkarımının denetlenebileceği bir modeldir?
Soru 5
Aşağıdaki
önermelerden hangisi
SM = {a,b,c}, FM = {a,b}, GM = {b,c} modelinde doğrudur?
SM = {a,b,c}, FM = {a,b}, GM = {b,c} modelinde doğrudur?
Soru 6
“Bazı F G'dir.” önerme biçiminin sembolik karşılığı aşağıdakilerden hangisidir?
Soru 7
“Hiçbir F G değildir.” önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir?
Soru 8
A: Dünya
F: a bir gezegendir.
G: a yuvarlaktır.
Soru 9
SM = {a, b}, FM = {a}, GM = {a,b}, AM = a modeli verilmiş olsun, x (Fx (GA yFy)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir?
Soru 10
Soru 11
Soru 12
Bir ifadenin anlamının bulanık olması ne demektir?
Soru 13
Aşağıdaki önermelerden hangisi “a sayısının 2 ile bölünebilmesi, a sayısının çift sayı olması için gerekli koşuldur.” önermesi ile aynı yargıyı bildirir?
Soru 14
Aşağıdakilerden hangisinde değilleme eklemi sadece atomik formüllere uygulanmıştır?
Soru 15
S = {a, b} olsun. Bu durumda
x
(Fx
y
(Hy
GA)) önermesinin S kümesindeki doğrusal
açılımı aşağıdakilerden hangisidir?
Soru 16
F: a canlıdır.
G: a omurgalıdır.
H: a omurgasızdır.
Soru 17
y (Fy x Fx) önermesinin, evreni {a, b} olan bir modelde doğruluk değerini çözümleyici çizelge ile hesaplarken, çizelgedeki ilk noktalar aşağıdakilerden hangisidir?
Soru 18
Soru 19
p: Galileo bir fizikçidir.
q: Galileo bir filozoftur.
r: Bazı filozoflar fizikçidir.
s: Bazı fizikçiler filozoftur.
Soru 20