Sembolik Mantık Ara 7. Deneme Sınavı
Toplam 10 Soru1.Soru
Bir çıkarımın önermeler mantığında sembolleştirilmesi, çıkarımı oluşturan önermelerin önermeler mantığında sembolleştirilmesinden ve öncüllerle sonuç önermesi arasına hangi işaretin konulmasından ibarettir?
|
∴ |
|
.. |
|
: |
|
; |
|
., |
Bir çıkarımın önermeler mantığında sembolleştirilmesi ise, çıkarımı oluşturan önermelerin önermeler mantığında sembolleştirilmesinden ve
öncüllerle sonuç önermesi arasına ∴ işaretinin konulmasından ibarettir. Doğru cevap A seçeneğidir.
2.Soru
sembolik önermesini,
p: Ali mantık dersini geçebilir.
q: Ali tüm alıştırmaları çözer.
r: Ali sadece sınav öncesinde ders çalışır.
s: Ali derslerine düzenli çalışır.
t: Ali ders notlarını okur.
Çeviri anahtarına göre gündelik dile çevirisi aşağıdakilerden hangisidir?
|
Ali mantık dersini ancak ve ancak, sadece sınav öncesinde ders çalışırsa veya derslerine düzenli olarak çalışır veya ders notlarını düzenli olarak okur ve tüm alıştırmaları çözerse geçebilir. |
|
Ali mantık dersini ancak ve ancak, sadece sınav öncesinde ders çalışmayıp derslerine düzenli olarak çalışır veya ders notlarını düzenli olarak okur veya tüm alıştırmaları çözerse geçebilir. |
|
Ali mantık dersini ancak ve ancak, sadece sınav öncesinde ders çalışmayıp derslerine düzenli olarak çalışır veya ders notlarını düzenli olarak okur ve tüm alıştırmaları çözerse geçebilir. |
|
Ali mantık dersini ancak ve ancak, sadece sınav öncesinde ders çalışıp ve derslerine düzenli olarak çalışır ve ders notlarını düzenli olarak okur veya tüm alıştırmaları çözerse geçebilir. |
|
Ali mantık dersini ancak ve ancak, sadece sınav öncesinde ders çalışmayıp derslerine düzenli olarak çalışır ve ders notlarını düzenli olarak okur veya tüm alıştırmaları çözerse geçebilir. |
1. Adım: Eksik parantez olmadığı için, bu adımın sonunda önermesi aynen kalır.
2. Adım: (Ali mantık dersini geçebilir ((~Ali sadece sınav öncesinde ders çalışır ^ Ali derslerine düzenli çalışır) v (Ali ders notlarını okur ^ Ali tüm alıştırmaları çözer)))
3. Adım: (Ali mantık dersini geçebilir ancak ve ancak ((Ali’nin sadece sınav öncesinde ders çalıştığı doğru değildir ve Ali derslerine düzenli çalışır) veya (Ali ders notlarını okur ve Ali tüm alıştırmaları çözer)))
4. Adım: Ali mantık dersini ancak ve ancak, sadece sınav öncesinde ders çalışmayıp derslerine düzenli olarak çalışır veya ders notlarını düzenli olarak okur ve tüm alıştırmaları çözerse geçebilir.
3.Soru
“Cem doktordur.” ve “Bir insan doktorsa hastaları vardır.” önermelerinden oluşan gruba aşağıdaki önermelerden hangisini eklersek tutarlılık bozulmaz?
|
Osman Cem’in hastasıdır. |
|
Herkes Cem’in hastasıdır. |
|
Cem kimsenin hastası değildir. |
|
Cem bugün hastalarını muayene etti. |
|
Kimse Cem’in hastası değildir. |
Bir grup önermenin tümünün aynı zamanda doğru olabilmesi bu önermeler grubunun tutarlı olması demektir. Bir grup önermenin tümünün aynı zamanda doğru olmaması ise bu önerme grubunun tutarsız olması demektir.
4.Soru
Aşağıda bir çıkarımı oluşturan öncüller ve sonuç önermelerinin gerçek doğruluk değerleri ile çıkarımın geçerliliği arasındaki ilişkilerden hangisi doğrudur?
|
Öncüllerin tümü doğru ve sonuç yanlış olması durumunda çıkarım geçersizdir. |
|
Öncüllerin tümü doğru ve sonuç da doğru olması durumunda çıkarım geçerlidir. |
|
Öncüllerin bazıları doğru ve bazıları yanlış, sonuç ise doğru olması durumunda çıkarım geçersizdir. |
|
Öncüllerin tümü yanlış ve sonuç doğru olması durumunda çıkarım geçerlidir. |
|
Öncüllerin bazıları doğru ve bazıları yanlış, sonuç ise yanlış olması durumunda çıkarım geçerlidir. |
Öncüllerin tümü doğru ve sonuç da doğru olması durumunda çıkarım geçerli ya da geçersizdir. Öncüllerin bazıları doğru ve bazıları yanlış, sonuç ise doğru olması durumunda çıkarım geçerli ya da geçersizdir. Öncüllerin tümü yanlış ve sonuç doğru olması durumunda çıkarım geçerli ya da geçersizdir. Öncüllerin bazıları doğru ve bazıları yanlış, sonuç ise yanlış olması durumunda çıkarım geçerli ya da geçersizdir. Öncüllerin tümü doğru ve sonuç yanlış olması durumunda ise çıkarım geçersizdir.
5.Soru
Şekilde verilen çözümleyici çizelge için aşağıdakilerden hangisi doğrudur?
|
Bütün dallar açıktır. |
|
p yanlış, q yanlış durumları için doğrulayıcı bir yorumlaması vardır. |
|
Bütün dallar kapalıdır. |
|
p doğru q yanlış durumları için doğrulayıcı bir yorumlaması vardır. |
|
p yanlış q doğru durumları için doğrulayıcı bir yorumlaması vardır. |
Yukarıdaki şekile baktığımızda sağ kol kapalıdır fakat sol kol açıktır. Açık olan kolda ? q ve ? p önermeleri vardır.
6.Soru
Aşağıdakilerden hangisi geçerli bir çıkarımdır?
|
Emrah Furkan’dan uzundur. Furkan da Ayşe’den uzundur. O halde Emrah Ayşed’en uzundur. |
|
Mahmut, Ekrem’in arkadaşıdır. O halde Ekrem, Mahmut’u sever. |
|
Zeynep Mehmet’in annesidir. O halde Mehmet, Zeynep’i sever. |
|
Ali Ceyda ile evlidir. halde Ceyda güzeldir. |
|
Ahmet ya merveyi ya da Nazlıyı sevmektedir. O halde Ahmet Merveyi sevmektedir. |
Öncülde verilen tüm çıkarımlar doğru ve sonuç da doğru olduğu için A seçeneği geçerli bir çıkarımdır.
7.Soru
Sembolleştirmenin kaçıncı aşamasında önerme eklemlerinin yerine önerme eklemi sembolleri konmaktadır?
|
1 |
|
2 |
|
3 |
|
4 |
|
5 |
Sembolleştirmenin aşamaları:
1. adım: Önerme eklemlerinin eşanlamlıları yerine standart önerme eklemleri yazılarak, ve noktalamaya uygun olarak, parantezler yerleştirilerek, önermenin standart biçimi elde edilir.
2. adım: Önerme eklemlerinin yerine önerme eklemi sembolleri konur.
3. adım: Basit önermeler yerine, sembolleştirme anahtarında verilen önerme
değişkenleri konur.
4. adım: Okumada kolaylık sağlamak amacıyla, kimi parantezler işlem önceliği kurallarına göre kaldırılabilir.
Doğru cevap B seçeneğidir.
8.Soru
Aşağıdakilerden hangisi geçerli bir çıkarımdır?
|
Bazı ağaçlar meyve vermez. Çam bir ağaçtır. O halde çam meyve vermez. |
|
Türkiye ya yedi ya da sekiz bölgedir. O halde Türkiye sekiz bölgedir. |
|
Kedi hayvandır. Çilek meyvedir. O halde kedi hayvandır ve çilek meyvedir. |
|
Matematik zordur. O halde fizik kolaydır. |
|
Bazı aylar 30 gün bazı aylar 31 gündür. O halde Şubat ayı 30 gündür. |
A seçeneğindeki önermede öncül önermeler doğru olmasına karşın sonuç önermesi yanlıştır, dolayısıyla bu önerme geçersiz bir önermedir. B seçeneğinde öncül önermesi doğrudur ancak sonuç önermesiyle öncül önerme arasında mantık ilişkisi olmadığından bu önerme de geçersizdir. Benzer şekilde D seçeneğinde Fiziğin kolay olması matematiğin zor olmasının bir sonucu değildir. E seçeneği de B seçeneğine benzer şekilde geçersiz bir önermedir.
9.Soru
Aşağıdakilerden hangisi mantık biliminin kurucusudur?
|
Nicolaus copernicus |
|
Bertnard Russull |
|
Hardy |
|
Aristoteles |
|
Parmenides |
Mantık biliminin kurucusu Aristoteles’dir.
10.Soru
“Kimi doğru önermeler gerçek durum başka olsa bile yanlış olamayacak önermedir.” ifadesi aşağıdakilerden hangisidir?
|
Tutarlılık |
|
Mantıksal Doğruluk |
|
Önerme |
|
Çıkarım |
|
Akıl Yürütme |
Bir önermenin doğru olmasını önermenin bildirdiği yargının gerçeklerle uyuşması olarak tanımlanır. Kimi doğru önermeler gerçek durum başka olsa bile yanlış olmayacak önermelerdir. Bu önermelere mantılsak olarak doğru önermeler denir.