AUZEF Modern Mantık çıkmış sorular – Sayfa 3

Question 1

Doğruluk değerine ilişkin türlü biçimlerdeki belirsizlikleri konu edinen, böylece iki değerli sistemin dışına çıkarak onu genişleten çok değerli mantık sistemlerinin ilk örneği, 1920 yılında ortaya konan üç değerli mantıktır.

Yukarıda ifade edilen “üç değerli mantık” sisteminin kurucusu aşağıdaki isimlerden hangisidir?

Accepted Answer

Lukasiewicz

Answer

Russell

Answer

Gödel

Answer

Frege

Answer

Aristoteles

Question 2

~[~(p ↔ ~q)] ∧ ~p ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?

Accepted Answer

Y, Y, D, Y

Answer

D, D, D, Y

Answer

D, Y, Y, D

Answer

D, Y, Y, Y

Answer

Y, Y, D, D

Question 3

“Sonuçta mantık bilimi sayesinde yeni yapay diller kullanarak doğru düşüncenin sınırları da genişletilecektir.”

Yukarıdaki boşluğu dolduracak en uygun ifade aşağıdakilerden hangisidir?

Accepted Answer

denetlenebilirlik

Answer

sezgisellik

Answer

betimlenebilirlik

Answer

ifade

Answer

iletişim

Question 4

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

Accepted Answer

Tüzel

Answer

Olumlu

Answer

Tümel

Answer

Olumsuz

Answer

Tikel

Question 5

Tam normal biçime indirgeme işleminin neticesi, sekiz farklı bileşenin hiçbirini içermiyorsa ilgili önerme için aşağıdakilerden hangisi söylenir?

Accepted Answer

Geçersiz-Tutarsız

Answer

Geçersiz-Tutarlı

Answer

Geçerli-Tutarlı

Answer

Denk-Tutarsız

Answer

Geçerli-Tutarsız

Question 6

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

Accepted Answer

[(∼q→ p)↔(D→∼p)]

Answer

[(∼q→ Y)↔(r→∼D)]

Answer

[(∼q→ Y)↔(r→Y)]

Answer

[(∼q→ D)↔(r→∼Y)]

Answer

[(∼q→ D)↔(r→D)]

Question 7

∃zGz ifadesinin (a, b, c) evrenindeki açılımı aşağıdakilerden hangisidir?

Accepted Answer

Ga ∨ Gb ∨ Gc

Answer

Ga ∧ Gb ∨ Gc

Answer

Ga ∧ Gb ∧ Gc

Answer

Ga → Gb → Gc

Answer

Ga ∨ Gb ∧ Gc

Question 8

“Bütün kediler güzeldir.” önermesinin niceleme mantığındaki gösterimi, sembolleştirmeye ilişkin uygulama kuralları da dikkate alındığında aşağıdakilerden hangisi olmalıdır?

Accepted Answer

∀x (Kx → Gx)

Answer

∀x (∼Kx → Gx)

Answer

∼∀x (∼Kx → ∼Gx)

Answer

∼∀x (Kx → Gx)

Answer

∀x (Kx → ∼Gx)

Question 9

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

Accepted Answer

[(Y↔ ∼r)∨(Y →r)]→[ r∧(D↔q)]

Answer

[(Y↔ ∼r)∨(D →r)]→[ q]

Answer

[(Y↔ ∼r)∨(D →r)]→[ r∧(D↔q)]

Answer

[(Y↔ ∼r)∨(Y →r)]→[ r∧(Y↔q)]

Answer

[(D↔ ∼r)∨(D →r)]→[r∧(D↔q)]

Question 10

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

Accepted Answer

[ (Y ↔ D)∨(p →Y)]→Y

Answer

[ (Y ↔ ∼q)∨(D →Y)]→Y

Answer

[ (D ↔ ∼Y)∨(Y →Y)]→D

Answer

[ (D ↔ Y)∨(p →D)]→Y

Answer

[ (Y ↔ Y)∨(D →q)]→q

Question 11

Aşağıdakilerden hangisi modaliteler kapsamında ele alınmaz?

Accepted Answer

Pozitif

Answer

İmkânsız

Answer

Olumsal

Answer

Mümkün

Answer

Zorunlu

Question 12

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

Accepted Answer

D, Y, D, D

Answer

Y, Y, D, Y

Answer

Y, D, D, D

Answer

D, D, D, Y

Answer

D, Y, Y, D

Question 13

∼(p ↔ ∼q) ifadesi Lukasiewicz­-Tarski notasyonuna göre nasıl yazılmalıdır?

Accepted Answer

NEpNq

Answer

EpNq

Answer

NpNq

Answer

pNq

Answer

NEpq

Question 14

Aşağıdaki eş değerliklerden hangisi doğrudur?

Accepted Answer

∼∀xFx = ∃x∼Fx

Answer

∀xFx = ∃xFx

Answer

∼∼∀xFx = ∃xFx

Answer

∼∀xFx = ∃x∼∼Fx

Answer

∀xFx = ∼∃xFx

Question 15

I. Tutarlıdır.

II. Geçerlidir.

III. Geçersizdir.

(q ↔ ∼q)∨(p →q) ifadesi için yukarıdakilerden hangisi veya hangileri doğrudur?

Accepted Answer

I ve III

Answer

Yalnız II

Answer

I ve II

Answer

Yalnız I

Answer

Yalnız III

Question 16

“Karpuz şeftali kadar lezzetlidir” önermesindeki “kadar lezzetli olma” bağıntısı, tanıma göre, aşağıdaki özelliklerden hangisini bir şeyin kendisiyle de gerçekleştirebileceği bir bağıntı olması sebebiyle taşımaktadır?

Accepted Answer

Yansıma

Answer

Bakışım

Answer

Kısmi yansıma

Answer

Kısmi bakışım

Answer

Geçişlilik

Question 17

“Ayşe’nin acıkmış olması mümkündür ve yemek yemesi zorunludur.” ifadesi aşağıdakilerden hangisinde doğru olarak gösterilmiştir?

Accepted Answer

◊p∧□q

Answer

◊q∧∽q

Answer

◊p∨◊q

Answer

◊p∧∽□p

Answer

◊p∨□q

Question 18

Lukasiewicz-Tarski Notasyonu, Lukasiewicz ve Tarski’nin mensubu bulundukları mantık okuluna izafeten, ……… ya da ………. notasyonu olarak da adlandırılmaktadır. Yukarıdaki ifadede boş bırakılan yerlere aşağıdakilerden hangisi gelmelidir?

Accepted Answer

Varşova – Polonya

Answer

Paris – Fransa

Answer

Ankara – Türkiye

Answer

Roma – İtalya

Answer

Moskova – Rusya

Question 19

∃y(Fy ∧ Gy) (a,b) evrenindeki açılımı aşağıdakilerden hangisidir?

Accepted Answer

(Fa ∨ Ga) ∨ (Fb ∨ Gb)

Answer

(Fa ∧ Ga) ∨ (Fb ∧ Gb)

Answer

(Fa ∨ Ga) ∧ (Fb ∨ Gb)

Answer

(Fa ∨ Gb)

Answer

(Fa ∧ Gb)

Question 20

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

Accepted Answer

p

Answer

∼[ D→(q→Y)]

Answer

q

Answer

∼[ (Y→ D)→(q→Y)]

Answer

∼( D→ ∼q)

Question 21

“Bazı insanlar bütün pastaları yediler.” önermesinin niceleme mantığındaki gösterimi, sembolleştirmeye ilişkin uygulama kuralları dikkate alındığında aşağıdakilerden hangisi olmalıdır?

Accepted Answer

∃x (İx ∧ ∀y (Py → Yxy))

Answer

∃x (∼İx ∧ ∀y (Py → ∼Yxy))

Answer

∃x (∼İx ∧ ∀y (Py → Yxy))

Answer

∀x (İx ∧ ∃y (Py → Yxy))

Answer

∃x (İx → ∀y (Py ∧ Yxy))

Question 22

[∀x (Px →Fx) → ∼∀y (Cy → Dy)] ve [∼∀x (Px →Fx) v ∼∀y (Cy → Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Accepted Answer

Özdeş

Answer

Özdeş değil

Answer

Tutarsız

Answer

Belirsiz

Answer

Geçerli değil

Question 23

∀x􏰀x önermesinin çelişiği yani ∼∀x􏰀x önermesinin eş değeri aşağıdakilerden hangisidir?

Accepted Answer

∃x∼𝛹x

Answer

∃x𝛹x

Answer

∃x∼x

Answer

∃x𝛹xx

Answer

∀xx

Question 24

∃x∼Fx ifadesinin (a, b, c) evrenindeki açılımı aşağıdakilerden hangisidir?

Accepted Answer

∼Fa∨∼Fb∨∼Fc

Answer

∼Fa∨∼Fb∧∼Fc

Answer

∼Fa∧Fb∨∼Fc

Answer

∼Fa∧∼Fb∧∼Fc

Answer

∼Fa → Fb → ∼Fc

Question 25

Aşağıdakilerden hangisi (x ∨ y) ifadesinin üç değerli mantıktaki eş değeridir?

Accepted Answer

max (x, y)

Answer

max (x, y) – 1

Answer

min (x, y)

Answer

min (1 + x + y)

Answer

min (x, y) + 2

Modern Mantık soruları ve cevapları

~[~(p ↔ ~q)] ∧ ~p ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?

“Sonuçta mantık bilimi sayesinde yeni yapay diller kullanarak doğru düşüncenin sınırları da genişletilecektir.” Yukarıdaki boşluğu dolduracak en uygun ifade aşağıdakilerden hangisidir?

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

Tam normal biçime indirgeme işleminin neticesi, sekiz farklı bileşenin hiçbirini içermiyorsa ilgili önerme için aşağıdakilerden hangisi söylenir?

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

∃zGz ifadesinin (a, b, c) evrenindeki açılımı aşağıdakilerden hangisidir?

“Bütün kediler güzeldir.” önermesinin niceleme mantığındaki gösterimi, sembolleştirmeye ilişkin uygulama kuralları da dikkate alındığında aşağıdakilerden hangisi olmalıdır?

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

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

Aşağıdakilerden hangisi modaliteler kapsamında ele alınmaz?

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

∼(p ↔ ∼q) ifadesi Lukasiewicz-Tarski notasyonuna göre nasıl yazılmalıdır?

Aşağıdaki eş değerliklerden hangisi doğrudur?

I. Tutarlıdır. II. Geçerlidir. III. Geçersizdir. (q ↔ ∼q)∨(p →q) ifadesi için yukarıdakilerden hangisi veya hangileri doğrudur?

“Karpuz şeftali kadar lezzetlidir” önermesindeki “kadar lezzetli olma” bağıntısı, tanıma göre, aşağıdaki özelliklerden hangisini bir şeyin kendisiyle de gerçekleştirebileceği bir bağıntı olması sebebiyle taşımaktadır?

“Ayşe’nin acıkmış olması mümkündür ve yemek yemesi zorunludur.” ifadesi aşağıdakilerden hangisinde doğru olarak gösterilmiştir?

Lukasiewicz-Tarski Notasyonu, Lukasiewicz ve Tarski’nin mensubu bulundukları mantık okuluna izafeten, ……… ya da ………. notasyonu olarak da adlandırılmaktadır. Yukarıdaki ifadede boş bırakılan yerlere aşağıdakilerden hangisi gelmelidir?

∃y(Fy ∧ Gy) (a,b) evrenindeki açılımı aşağıdakilerden hangisidir?

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

“Bazı insanlar bütün pastaları yediler.” önermesinin niceleme mantığındaki gösterimi, sembolleştirmeye ilişkin uygulama kuralları dikkate alındığında aşağıdakilerden hangisi olmalıdır?

[∀x (Px →Fx) → ∼∀y (Cy → Dy)] ve [∼∀x (Px →Fx) v ∼∀y (Cy → Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

∀x􏰀x önermesinin çelişiği yani ∼∀x􏰀x önermesinin eş değeri aşağıdakilerden hangisidir?

∃x∼Fx ifadesinin (a, b, c) evrenindeki açılımı aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi (x ∨ y) ifadesinin üç değerli mantıktaki eş değeridir?

Bu dersin yer aldığı bölüm arşivleri

Çalışmanı planla, takıldığın yeri sor

AUZEF hakkında sık sorulan sorular

AUZEF nedir, burada hangi bilgileri bulabilirim?

AUZEF çıkmış sorularını ve cevaplarını bulabilir miyim?

AUZEF sorularını bölümüme göre nasıl bulurum?

AUZEF İşletme bölümünün ders soruları nerede?

AUZEF arşivi bütün sınav yıllarını kapsıyor mu?

AUZEF sorularını nasıl çözebilirim?

AUZEF haberlerini ve duyurularını nereden takip edebilirim?

AUZEF sınav ve kayıt tarihlerini nasıl kontrol ederim?

İstanbul Üniversitesi öğrenci işlemlerine nasıl ulaşırım?

Bu sayfa AUZEF resmî sayfası mı?

Modern Mantık soruları ve cevapları

~[~(p ↔ ~q)] ∧ ~p ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?

“Sonuçta mantık bilimi sayesinde yeni yapay diller kullanarak doğru düşüncenin sınırları da genişletilecektir.” Yukarıdaki boşluğu dolduracak en uygun ifade aşağıdakilerden hangisidir?

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

Tam normal biçime indirgeme işleminin neticesi, sekiz farklı bileşenin hiçbirini içermiyorsa ilgili önerme için aşağıdakilerden hangisi söylenir?

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

∃zGz ifadesinin (a, b, c) evrenindeki açılımı aşağıdakilerden hangisidir?

“Bütün kediler güzeldir.” önermesinin niceleme mantığındaki gösterimi, sembolleştirmeye ilişkin uygulama kuralları da dikkate alındığında aşağıdakilerden hangisi olmalıdır?

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

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

Aşağıdakilerden hangisi modaliteler kapsamında ele alınmaz?

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

∼(p ↔ ∼q) ifadesi Lukasiewicz­-Tarski notasyonuna göre nasıl yazılmalıdır?

Aşağıdaki eş değerliklerden hangisi doğrudur?

I. Tutarlıdır. II. Geçerlidir. III. Geçersizdir. (q ↔ ∼q)∨(p →q) ifadesi için yukarıdakilerden hangisi veya hangileri doğrudur?

“Karpuz şeftali kadar lezzetlidir” önermesindeki “kadar lezzetli olma” bağıntısı, tanıma göre, aşağıdaki özelliklerden hangisini bir şeyin kendisiyle de gerçekleştirebileceği bir bağıntı olması sebebiyle taşımaktadır?

“Ayşe’nin acıkmış olması mümkündür ve yemek yemesi zorunludur.” ifadesi aşağıdakilerden hangisinde doğru olarak gösterilmiştir?

Lukasiewicz-Tarski Notasyonu, Lukasiewicz ve Tarski’nin mensubu bulundukları mantık okuluna izafeten, ……… ya da ………. notasyonu olarak da adlandırılmaktadır. Yukarıdaki ifadede boş bırakılan yerlere aşağıdakilerden hangisi gelmelidir?

∃y(Fy ∧ Gy) (a,b) evrenindeki açılımı aşağıdakilerden hangisidir?

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

“Bazı insanlar bütün pastaları yediler.” önermesinin niceleme mantığındaki gösterimi, sembolleştirmeye ilişkin uygulama kuralları dikkate alındığında aşağıdakilerden hangisi olmalıdır?

[∀x (Px →Fx) → ∼∀y (Cy → Dy)] ve [∼∀x (Px →Fx) v ∼∀y (Cy → Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

∀x􏰀x önermesinin çelişiği yani ∼∀x􏰀x önermesinin eş değeri aşağıdakilerden hangisidir?

∃x∼Fx ifadesinin (a, b, c) evrenindeki açılımı aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi (x ∨ y) ifadesinin üç değerli mantıktaki eş değeridir?

Bu dersin yer aldığı bölüm arşivleri

Aynı bölümdeki diğer derslerin soruları

Atatürk İlkeleri İnkılap Tarihi

Çağdaş Sosyoloji Teorileri

felsefe tarihi sorunları

Felsefe Tarihi Sorunları-I

Psikoloji

Psikolojiye Giriş 2

Çalışmanı planla, takıldığın yeri sor

AUZEF hakkında sık sorulan sorular

AUZEF nedir, burada hangi bilgileri bulabilirim?

AUZEF çıkmış sorularını ve cevaplarını bulabilir miyim?

AUZEF sorularını bölümüme göre nasıl bulurum?

AUZEF İşletme bölümünün ders soruları nerede?

AUZEF arşivi bütün sınav yıllarını kapsıyor mu?

AUZEF sorularını nasıl çözebilirim?

AUZEF haberlerini ve duyurularını nereden takip edebilirim?

AUZEF sınav ve kayıt tarihlerini nasıl kontrol ederim?

İstanbul Üniversitesi öğrenci işlemlerine nasıl ulaşırım?

Bu sayfa AUZEF resmî sayfası mı?

∼(p ↔ ∼q) ifadesi Lukasiewicz-Tarski notasyonuna göre nasıl yazılmalıdır?