auzefModern Mantıksosyoloji

Modern Mantık 2020-2021 Vize Soruları

Modern Mantık 2020-2021 Vize Soruları

1- Aşağıdakilerden hangisi [(∼ r↔ p) → (q →∼ r)] ∨ r ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?

a) [(D ↔ p) → (q → D)] ∨ Y
b) [(Y ↔ p) → (q → D)] ∨ D
c) [(Y ↔ p ) → (q → Y)] ∨ D
d) ( p → D) ∨ Y
e) D

Cevap : b) [(Y ↔ p) → (q → D)] ∨ D

2- ∼ (p↔∼ q) → q ifadesi için aşağıdakilerden hangisi veya hangileri doğrudur?
I. geçersizdir
II. geçerlidir
III. tutarlıdır

a) yalnız I
b) I ve II
c) I ve III
d) II
e) III

Cevap : c) I ve III

3- Aşağıdakilerden hangisi [ (∼ p → p) ∧ (q →∼ p)] →∼ q ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?

a) q →∼ q
b) [(D→ Y ) ∧ (q → D)] →∼ q
c) [(Y→ D )∧ (q → Y)] → ∼ q
d) ∼q →∼ q
e) ( Y∧ D ) → ∼ q

Cevap : a) q →∼ q

4- Aşağıdakilerden hangisi [ (∼ q ∧ p) → (q → p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?

a) Y
b) [( D ∧ p) → (y → p)]
c) p → D
d) Y → p
e) [( Y ∧ p) → ( D → p)]

Cevap : a) Y

5- “∼ (p ↔q )” ifadesi Lukasiewicz-Tarski Notasyonuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır?

a) NEpNq
b) NEpq
c) EpNq
d) NpNq
e) pNq

Cevap : b) NEpq

6- “p, q ve r” gibi üç değişkenli bir çıkarım “Tam Normal Biçime İndirgeme” yöntemiyle eşdeğerlikleri denetleniyor. Denetleme sonucu “eşdeğerlik değil” ise sonuç satırında en fazla kaç farklı pqr sıralı üçlüsü olabilir?

a) 8
b) 7
c) 6
d) 5
e) 4

Cevap : b) 7

7- Çelişmezlik ilkesi aşağıdaki şıklardan hangisinde doğru olarak tanımlanmıştır?

a) Bazı şeyler bazen doğru bazen yanlıştır.
b) Bazı şeyler başka şeylere dönüşür.
c) Bir şey ya doğrudur ya da yanlıştır.
d) Bir şey sadece kendisidir, kendisi olmayan olamaz.
e) Bir şey ne ise o’dur.

Cevap : d) Bir şey sadece kendisidir, kendisi olmayan olamaz.

8- Lukasiewicz-Tarski Notasyonunda eklemler hangi tarafa yazılır?

a) Ortaya
b) Sağ başa
c) Sol başa
d) İkinci önermeden sonra
e) İlk önermeden sonra

Cevap : c) Sol başa

9- (q↔∼q) ∨ (p→ q) ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?

a) D, Y, D, D
b) Y, Y, Y, D
c) D, D, Y, Y

Cevap : a) D, Y, D, D

10- Doğruluk değerleri D, Y, Y, D olan bir ifadenin değilinin değili aşağıdakilerden hangisidir?

a) Y, Y, D, Y
b) D, D, D, Y
c) Y, D, D, D
d) D, D, D, Y
e) D, Y, Y, D

Cevap : e) D, Y, Y, D

11- ~p ↔ q ifadesi için aşağıdakilerden hangisi en uygundur?

a) ne geçerli ne tutarlı
b) geçerli, tutarlı
c) tutarsız
d) geçerli, tutarsız
e) geçersiz, tutarlı

Cevap : e) geçersiz, tutarlı

12- Aşağıdakilerden hangisi klasik mantıkta kullanılan önerme gösterimlerinden biridir?

a) SüP
b) SiP
c) SöP
d) SoP
e) SuP

Cevap : d) SoP

13- Aşağıdakilerden hangisi bir önermenin kıyasta ele alınış tarzlarından biri değildir?

a) Tümel
b) Olumlu
c) Tikel
d) Tüzel
e) Olumsuz

Cevap : d) Tüzel

14- Kategorik önermelerin gösterimleri ile ilgili aşağıdakilerden hangisi yanlıştır?

a) Tümel-olumlu: SaP
b) Tümel-olumsuz: SeP
c) Tikel-olumlu: SıP
d) Tikel-olumsuz: SoP
e) Tikel-olumsuz: SuP

Cevap : e) Tikel-olumsuz: SuP

15- “Kategorik bir önermenin temel unsurları ………, ……… ve …………. tır. “ önermesine sırasıyla aşağıdakilerden hangisinin gelmesi gerekir?

a) özne, yüklem, koşaç
b) nesne, tümleç, yargı
c) yargı, belirtili nesne, tikel
d) tümel, mümkün, özne
e) tikel, yüklem, belirtisiz nesne

Cevap : a) özne, yüklem, koşaç

16- Aşağıdakilerden hangisi ∼[ (∼p→ p)→(q→∼p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?

a) Y
b) ∼ ( D → Y)
c) ∼ ( Y → D )
d) q
e) ∼ ( D → ∼ q )

Cevap : b) ∼( D→ Y)

17- Lukasiewicz-Tarski Notasyonunun parantezsiz yazıma imkan sağlaması aşağıdakilerden hangisine imkan vermektedir?

a) Matematik işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.
b) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.
c) Klasik Mantık tartışmalarını yeniden gündeme getirmiştir.
d) Kıyas denetlemesini kolaylaştırmıştır.
e) Özdeşlik ilkesini göz önünde bulundurmaktadır.

Cevap : b) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.

18- [(p ∧ q) → r] ∨ [∼(p ↔ p) (s ∧ t)] ifadesi Quine yöntemi ile denetlenecektir. “Doğru” değeri alacak ilk önerme hangisi olmalıdır?

a) p
b) q
c) r
d) s
e) t

Cevap : a) p

19- “∼ (p ↔∼q )” ifadesi Lukasiewicz – Tarski Notasyonuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır?

a) NEpNq
b) NEpq
c) EpNq
d) NpNq
e) pNq

Cevap : a) NEpNq

20- Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın sonuç satırında en az bir “yanlış” değeri
bulunuyorsa, bu ifade için aşağıdakilerden hangisi kesin olarak söylenebilir?

a) Geçerli
b) Geçersiz
c) Tutarlı
d) Tutarsız
e) Eşdeğer

Cevap : c) Tutarlı

21- Üç öncül ve bir sonuçtan oluşan bir çıkarım doğruluk tablosu yöntemiyle denetlenmektedir. Bu çıkarımın sonuç satırı en az bir “yanlış” değeri içeriyorsa, söz konusu çıkarım için aşağıdakilerden hangisi söylenir?

a) Geçerli
b) Geçersiz
c) Tutarlı
d) Eşdeğer
e) Belirsiz

Cevap : b) Geçersiz

22- Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın sonuç satırında en az bir “doğru” değeri bulunuyorsa, bu ifade için aşağıdakilerden hangisi kesin olarak söylenebilir?

a) Geçerli
b) Geçersiz
c) Tutarlı
d) Tutarsız
e) Eşdeğer

Cevap : c) Tutarlı

23- Aşağıdakilerden hangisi [(∼r↔ p)→(q→∼r)]∧r ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?

a) [(D ↔ p) → (q → D)] ∧ Y
b) ( p → D) ∧ Y
c) Y
d) (∼ p → ∼ q) ∧ Y
e) [( Y ↔ p) → (q → Y)] ∧ D

Cevap : d) (∼ p → ∼ q) ∧ Y

Modern Mantık 2020-2021 Vize Soruları

Modern Mantık 2020-2021 Vize sosyoloji facebook grubu
Auzef Modern Mantık

Modern Mantık 2020-2021 Vize Soruları

 

Editor

Editör

error: Kopyalamaya Karşı Korumalıdır!