F: a bir okurdur.
G: a bir yazardır.
H: a bir eleştirmendir
Yukarıdaki çeviri anahtarına göre
?x(Gx›Fx)^
y(Fy^Hy)^?z(Hz›(Fz^ ? Gz)) sembolik önermesinin günlük hayatta karşılığı aşağıdakilerden hangisidir?
Soru 2
∀ν A ifadesinin S kümesindeki bir doğrusal açılımı ∀ν A biçimindeki tümel-niceleme ifadeleri aşağıdakilerden hangisine dönüşür?
Soru 3
Çözümleyici çizelge ile nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için yapılması gereken aşağıdakilerden hangisidir?
Çözümleyici çizelge ile nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için yapılması gereken aşağıdakilerden hangisidir?
Soru 6
Bir önermenin tutarlı olduğunu göstermek için çözümleyici çizelge yöntemine göre aşağıda verilenlerden hangisi yapılmalıdır?
Soru 7
Aşağıdakilerden hangisi bir çıkarımdır?
Soru 8
Yukarıdaki çizelgeye göre aşağıdakilerden hangisi A önermesinin bir modelidir?
Soru 9
Niceleme mantığında yorumlama modellerle gerçekleşir. Her model bir küme üzerinde oluşturulur. Modelin üzerine kurulduğu küme, modelin “...........” ya da “evreni” olarak adlandırılır.Boşluğa hangi şıkkın gelmesi uygundur?
Soru 10
Bir çıkarımın karşı-modelini oluştururken tüm önermeleri aynı modelde değerlendirmek gereklidir. Öncüllerin doğru ve sonucun yanlış olduğu ayrı modeller oluşturmakla çıkarımın geçersiz olduğunu gösteremeyiz, çıkarımın geçersiz olduğunu gösteren bir karşı-model oluşturmaya çalışırken izlediğimiz adımlardan hangisi aşağıdaki bir şıkta yanlış verilmiştir?
Soru 11
**Aşağıdakilerden hangisi bir çıkarımın geçersiz olduğunu gösteren bir karşı-model bulmak için izlenebilecek adımlardan birideğildir?**
Soru 12
Aşağıdaki önermelerden hangisinde “bir” ifadesi tikel-niceleyici olarak kullanılmıştır?
Soru 13
F: a bir canlıdır.
G: a bir insandır.
H: a bir gün ölecektir.
Yukarıdaki çeviri anahtarına göre Ɐx(Fx→Hx)
Ɐx(Gx→Hx) sembolik önermesinin günlük hayatta karşılığı aşağıdakilerden hangisidir?
Soru 14
En az bir modelde tüm öncülleri doğru ama sonuç önermesi yanlış olan bir çıkarım için aşağıdakilerden hangisi doğrudur?
F:a bir çilektir.
G:a bir portakaldır.
H:a bir meyvedir.
L: a ağaçta yetişir.
K:a toprakta yetişir.
"Çilek ve portakal birer meyvedirler. Portakal ağaçta çilek ise toprakta yetişir. Dolayısıyla bazı meyveler ağaçta yetişmez." ifadesinin yukarıdaki çeviriye göre anahtarı aşağıdakilerden hangisidir?
Soru 17
F: a’nın kanatları vardır.
G: a kuştur.
H: a uçaktır.
Yukarıdaki çeviri anahtarına göre, Ɐx (Fx ↔ (Gx ˅ Hx) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?
Soru 18
Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için ne yapılması gerekir?
Soru 19
F: a öğrencidir.
G: a çok çalışmalıdır.
H: a çok kitap okumalıdır.
A: Ali
Yukarıdaki çeviri anahtarına göre, ?x (Fx › Hx) FA› GA ^ HA sembolik çıkarımının gündelik dile çevirisi aşağıdakilerden hangisidir?