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

Question 1

∀y (Ay →By) ∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Accepted Answer

Özdeş değil

Answer

Hiçbiri

Answer

Geçerli değil

Answer

Özdeş

Answer

Belirsiz

Question 2

∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx) v ∼∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Accepted Answer

Özdeş

Answer

Hiçbiri

Answer

Geçerli değil

Answer

Özdeş değil

Answer

Geçerli

Question 3

∼[Ax→∼vy) (Cy v Dy)] ve [Ax v ∼∀y (Cy → Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Accepted Answer

Özdeş değil

Answer

Hiçbiri

Answer

Geçerli değil

Answer

Özdeş

Answer

Geçerli

Question 4

∼[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∀y(Cy → Dy).∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Accepted Answer

Özdeş değil

Answer

Hiçbiri

Answer

Geçerli değil

Answer

Özdeş

Answer

Belirsiz

Question 5

∼[Ax↔∼∀y (Cy v Dy) ve [Ax ∼∀y (Cy↔ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Accepted Answer

Özdeş değil

Answer

Hiçbiri

Answer

Geçerli değil

Answer

Özdeş

Answer

Geçerli

Question 6

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

I. geçersizdir

II. geçerlidir

III. tutarlıdır

Accepted Answer

I ve III

Answer

yalnız I

Answer

I ve II

Answer

II

Answer

III

Question 7

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

Accepted Answer

Y

Answer

[( D ∧ p) → (y → p)]

Answer

p → D

Answer

Y → p

Answer

[( Y ∧ p) → ( D → p)]

Question 8

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

Accepted Answer

NEpq

Answer

NEpNq

Answer

EpNq

Answer

NpNq

Answer

pNq

Question 9

“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?

Accepted Answer

7

Answer

8

Answer

6

Answer

5

Answer

4

Question 10

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

Accepted Answer

Bir şey sadece kendisidir, kendisi olmayan olamaz.

Answer

Bazı şeyler bazen doğru bazen yanlıştır.

Answer

Bazı şeyler başka şeylere dönüşür.

Answer

Bir şey ya doğrudur ya da yanlıştır.

Answer

Bir şey ne ise o’dur.

Question 11

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

Accepted Answer

D, Y, Y, D

Answer

Y, Y, D, Y

Answer

D, D, D, Y

Answer

Y, D, D, D

Answer

D, D, D, Y

Question 12

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

Accepted Answer

Tikel-olumsuz: SuP

Answer

Tümel-olumlu: SaP

Answer

Tümel-olumsuz: SeP

Answer

Tikel-olumlu: SıP

Answer

Tikel-olumsuz: SoP

Question 13

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

Accepted Answer

özne, yüklem, koşaç

Answer

nesne, tümleç, yargı

Answer

yargı, belirtili nesne, tikel

Answer

tümel, mümkün, özne

Answer

tikel, yüklem, belirtisiz nesne

Question 14

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

Accepted Answer

∼ ( D → Y)

Answer

Y

Answer

∼ ( Y →

Answer

q

Answer

∼ ( D → ∼ q )

Question 15

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

Accepted Answer

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

Answer

Matematik işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.

Answer

Klasik Mantık tartışmalarını yeniden gündeme getirmiştir.

Answer

Kıyas denetlemesini kolaylaştırmıştır.

Answer

Özdeşlik ilkesini göz önünde bulundurmaktadır.

Question 16

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

Accepted Answer

p

Answer

q

Answer

r

Answer

s

Answer

t

Question 17

Üç ö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?

Accepted Answer

Geçersiz

Answer

Geçerli

Answer

Tutarlı

Answer

Eşdeğer

Answer

Belirsiz

Modern Mantık soruları ve cevapları

∀y (Ay →By) ∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx) v ∼∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼[Ax→∼vy) (Cy v Dy)] ve [Ax v ∼∀y (Cy → Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∀y(Cy → Dy).∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼[Ax↔∼∀y (Cy v Dy) ve [Ax ∼∀y (Cy↔ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼ (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şağıdakilerden hangisi [ (∼ q ∧ p) → (q → p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?

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

“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?

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

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

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

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

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

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

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

Üç ö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?

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ı

∀y (Ay →By) ∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx) v ∼∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼[Ax→∼vy) (Cy v Dy)] ve [Ax v ∼∀y (Cy → Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∀y(Cy → Dy).∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼[Ax↔∼∀y (Cy v Dy) ve [Ax ∼∀y (Cy↔ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

∼ (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şağıdakilerden hangisi [ (∼ q ∧ p) → (q → p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?

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

“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?

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

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

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

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

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

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

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

Üç ö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?

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ı?