Deneme Sınavı Soruları

Bir çıkarımın geçersiz olması

Bir çıkarımın geçerli olması,

Bir çıkarımın olması,

Bir çıkarımın olmaması,

Bir çıkarımın mantıklı olması,

Ys

~Ys

∃ν A

A (s)

∀ν A

Bazı şarkılar ya eğlenceli ya da üzüntülüdür.

Hiçbir şarkı hem eğlenceli hem üzüntülü değildir.

Bazı şarkılar ne eğlenceli ne de üzüntülüdür.

Her şarkı ya eğlenceli ya üzüntülüdür.

Her şarkı ya eğlenceli değildir ya da üzüntülü değildir.

Ad sembolünü kümenin yüklemi ile eşleştirmek

Ad sembolünü özel bir adla eşleştirmek

Ad sembolünü kümenin bir elemanı ile eşleştirmek

Kümedeki bir elemanın özelliğini belirtmek

Kümedeki bir elemanın olmayan bir özelliğini belirtmek

Y⊆X

X⊆Y

X∉Y

Y∉X

Y∈X

Bütün ilkçağda yaşamış filozoflar Anadolu'ludur.

Anadolu'lurın hepsi ilkçağda yaşamış filozoflardır.

İlk çağda yaşamış filozoflar Anadolu'lu değildir.

Anadolu'lu filozoflar ilkçağda yaşamamışlardır.

İlkçağda yaşamış bazı filozoflar Anadolu’ludur.

∀x (x → x ) ∧ ∃y (y  ∧ ~y )

∀x (x → x) ∧ ∃y (y ∧ y)

∀x (Fx → Gx) ∧ ∃y (Hy ∧ ~Ky)

∀x (x → x) ∧ ∃y (y  → y)

∀x (Fx → Gx) ∧ ∃y (Hy ∧ Ky)

∀x ∃x

Fx ∀x 

Fx ∃x 

∀x Fx

∃x Fx

Her F G dir.

Hiçbir F G değildir

Bazı F ler G dir

Bazı F ler G değildir.

F ile G ler bir bütündür.

((Fa ↔ Gb) → ∀x (Fx ∨ Gx)) 

~((Fa ↔ Gb) → ∀x (Fx ∨ Gx)) 

~((Fa → Gb) → ∀x (Fx ∨ Gx)) 

~((Fa ↔ Gb) → ∀x (Fx → Gx)) 

~((Fa ↔ Gb) ↔ ∀x (Fx ∨ Gx)) 

∀x (Fx → Gx)

∀x (Fx → ~Gx)

∃x (Fx ∧ Gx)

∃x (Fx ∧ ~Gx)

∀x (Fx ∧ ~Gx)

sonucu değiştirmez 

ifadesi önemlidir 

farklı bir sonuç yaratır

etkili bir çıkarım oluşturur

Sorunsalını irdelememiz gerekir

Bazı insanlar hata yapabilir ancak kimi hatalar kolay affedilmez.

Hiçbir insan hata yapamaz ancak kimi hatalar kolay affedilir.

Her insan hata yapabilir ve kimi hatalar kolay affedilir.

Her insan hata yapabilir ancak kimi hatalar kolay affedilmez

Tüm insanlar hata yapabilir veya kimi hatalar kolay affedilebilir.

Totoloji

Olumsal önerme

Çelişki önermesi

Tutarlı önerme

Mantıklı önerme

A önermesi için doğrulayıcı yorumlama vardır.

~A önermesi totolojidir

~A önermesi çelişkidir.

A önermesi için yanlışlayıcı yorumlama vardır.

Çizelge hatalı oluşturulmuştur.

Dil önermesindeki her bir farklı basit önermeyi farklı bir önerme değişkeni ile eşleştirmek

Gündelik dil çıkarımında geçen tüm basit önermelerin hangi önerme değişkenleriyle karşılanacağını belirlemek 

Sembolleştirmede hata yapmaktan kaçınmak

Çıkarımın denetlenmesi, çıkarımın geçerli mi geçersiz mi olduğunun ortaya konması

Gündelik dilin hem terim sayısı hem de tümce yapıları bakımından zenginliğini bilmek

Gündelik dildeki bir çıkarımın sembolleştirilmesi, çıkarımda geçen önermelerin
sembolleştirilmesinden ibaret değildir

Gündelik bir dildeki çıkarımın sembolleştirilmesi için ikinci olarak elde edilen sembolik çıkarım, doğruluk tablosu yöntemi ile denetlenebilir 

Gündelik bir dildeki çıkarımın sembolleştirilmesi için ilk olarak gündelik dil çıkarımını oluşturan önermeler açıkça belirtilen bir sembolleştirme anahtarına göre doğru biçimde sembolleştirilir

Gündelik dildeki bir çıkarımın sembolleştirilmesi, çıkarımda geçen önermelerin
sembolleştirilmesinden ibarettir

Gündelik dildeki bir çıkarımın, önermeler mantığı bakımından denetlenmesi iki adımda gerçekleşir

Tümel evetleme eklemi

Değilleme eklemi

Koşul eklemi

Karşılıklı-koşul eklemi

Tikel evetleme eklemi

Tümel evetleme eklemi.

Değilleme eklemi.

Tikel evetleme eklemi.

Karşılıklı-koşul eklemi.

Koşul eklemi.

Doğa bilimi

Mantık bilimi

Fizik bilimi

Matematik bilimi

Sağlık bilimi