Sembolik Mantık
2016–2017 Tek Ders Çıkmış Soruları
- 20 soru
- Cevap anahtarı açık: çöz, sonucunu gör
- 1
Bir ∼A önermesinin çözümleyici çizelgesinde açık kalan dal olması durumunda aşağıdakilerden hangisi kesin olarak doğrudur?
- 2
Aşağıdakilerden hangisi “Her cisim yer kaplar.” önermesi ile aynı yargıyı dile getirir?
- 3
Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir?
- 4
Aşağıdakilerden hangisi kategorik önermelerden biri değildir?
- 5
“Hiçbir F G değildir.” önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir?
- 6
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?
- 7
Verilen tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur?
- 8
Aşağıdaki önermelerden hangisi bir totolojidir?
- 9
Aşağıdaki önermelerden hangisi olumsal olarak doğrudur?
- 10
Aşağıdaki önermelerden hangisi (p → p) önermesi ile eşdeğerdir?
- 11
p: Da Vinci iyi bir ressamdır.
q: Da Vinci iyi bir bilim adamıdır.
r: Da Vinci insan anatomisini titizlikle incelemiştir.
s: Da Vinci’nin çizimleri gerçekçidir.
Yukarıdaki sembolleştirme anahtarına göre, “Da Vinci iyi bir ressam ve bilim adamıdır. O halde, Da Vinci’nin çizimlerinin gerçekçi olmasının gerekli bir koşulu, insan anatomisini titizlikle incelemiş olmasıdır.” çıkarımının sembolik karşılığı aşağıdakilerden hangisidir?
- 12
Yukarıdaki tamamlanmış çözümleyici çizelgeye göre, aşağıdakilerden hangisi kesinlikle yanlıştır?
- 13
Aşağıdakilerden hangisi “Bazı F G'dir.” önermesinin değilidir?
- 14
∀y ∃x (Gy ∧ Hz) ön-nicelemeli normal biçimdeki formülünün matrisi aşağıdakilerden hangisidir?
- 15
Aşağıdakilerden hangisi
∀x∃y(∼FA → (Hx ↔ Hy)) önermesinin denetlenebileceği bir modeldir? - 16
Aşağıdaki önermelerden hangisi
SM = {a,b}, FM = {a,b}, AM = b modelinde doğrudur? - 17
“Her F G'dir.” önerme biçiminin sembolik karşılığı aşağıdakilerden hangisidir?
- 18
Verilen tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur?
- 19
Aşağıdaki tümcelerden hangisi bir önermedir?
- 20
p: Galileo bir fizikçidir.
q: Galileo bir filozoftur.
r: Bazı filozoflar fizikçidir.
s: Bazı fizikçiler filozoftur.
Yukarıdaki sembolleştirme anahtarına göre, “Galileo hem fizikçi hem de filozoftur. O halde, bazı filozoflar fizikçi ve bazı fizikçiler filozoftur.” çıkarımının sembolik karşılığı aşağıdakilerden hangisidir?
Bir şıkka dokun; doğru cevap hemen görünür.