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

Question 1

Aşağıdakilerden hangisi Lukasiewicz–Tarski notasyonunun sağladığı katkılardandır?

Accepted Answer

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

Answer

Fizik ifadelerini açık kılar.

Answer

Özdeşlik ilkesinin göz önünde bulundurulmasını sağlar.

Answer

Kıyas denetlemelerini belirginleştirir.

Answer

Klasik mantık tartışmalarını yeniden gündeme getirir.

Question 2

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

Accepted Answer

q→q

Answer

∼q→q

Answer

Y→q

Answer

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

Answer

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

Question 3

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

Accepted Answer

D

Answer

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

Answer

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

Answer

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

Answer

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

Question 4

p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş değil” ise sonuç satırında en fazla kaç “pqr” sıralı üçlüsü olabilir?

Accepted Answer

7

Answer

6

Answer

8

Answer

5

Answer

4

Question 5

p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

Accepted Answer

8

Answer

6

Answer

5

Answer

3

Answer

1

Question 6

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

Accepted Answer

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

Answer

[ (q↔ D)∨(p →D)]→[ D∧( p↔q)]

Answer

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

Answer

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

Answer

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

Question 7

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

Accepted Answer

Pozitif

Answer

İmkânlı

Answer

İmkânsız

Answer

Zorunlu

Answer

Olumsal

Question 8

∼∃y(Ay→ By)(Ax→Bx)∀y (Cy v Dy) ve [∀x (Cx v Dx) ∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Accepted Answer

Özdeş değil

Answer

Özdeş

Answer

Geçersiz

Answer

Geçerli

Answer

Belirsiz

Question 9

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

Accepted Answer

(∼ p→ ∼q)∧Y

Answer

D

Answer

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

Answer

(∼ p→ ∼q)∧D

Answer

Y

Question 10

Aşağıdakilerden hangisi çelişiktir?

Accepted Answer

∀x Fx ve ~∀x Fx

Answer

∀x Fx ve ∀x Fx

Answer

~∀x Fx ve ~∀x Fx

Answer

∀x ~ Fx ve ∀x~ Fx

Answer

~ ∀x~ Fx ve ~∀x ~ Fx

Question 11

Çok değerli mantık kuralları göz önünde bulundurulduğunda aşağıdakilerden hangisi yanlıştır?

Accepted Answer

p ∨ q = min ( p )

Answer

p → q = min⁡ [1, (1 – p) + q ]

Answer

p ∨ q = max⁡ ( p , q)

Answer

p ∧ q = min ⁡( p , q)

Answer

∼ p = 1 – p

Question 12

[∀z(Cz v Dz) ∼∀y (Cy v Dy)] ve∼[∀z(Cz v Dz) v ∀y (Cy Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Accepted Answer

Özdeş değil

Answer

Geçerli

Answer

Belirsiz

Answer

Özdeş

Answer

Geçerli değil

Question 13

Aşağıdakilerden hangisi yalın bir önermedir?

Accepted Answer

Kedi kanatlıdır.

Answer

Ayşe’nin finalden yüksek not alması muhtemeldir.

Answer

Zaman ve tarihin birbirinden farklı konuları içeren kavramlar olması mümkün değildir.

Answer

Yüksekten bırakılan bir cismin düşmesi zorunludur.

Answer

Ahmet’in Tuğba’yı satrançta yenmesi mümkündür.

Question 14

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

Accepted Answer

Özdeş değil

Answer

Tutarlı değil

Answer

Tutarlı

Answer

Belirsiz

Answer

Özdeş

Question 15

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

Accepted Answer

∼r→D

Answer

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

Answer

Y

Answer

r→Y

Answer

q→Y

Question 16

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

Accepted Answer

Özdeş

Answer

Geçerli değil

Answer

Geçerli

Answer

Özdeş değil

Answer

Belirsiz

Question 17

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

Accepted Answer

Özdeş değil

Answer

Geçersiz

Answer

Geçerli

Answer

Özdeş

Answer

Belirsiz

Question 18

[∀y (Cy .Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z (Cz v Dz)↔ ∀y (Cy .Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Accepted Answer

Özdeş

Answer

Özdeş değil

Answer

Geçerli

Answer

Geçerli değil

Answer

Belirsiz

Question 19

Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “doğru” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

Accepted Answer

Tutarlı

Answer

Eşdeğer

Answer

Tutarsız

Answer

Geçersiz

Answer

Geçerli

Question 20

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

Accepted Answer

D, Y, D, D

Answer

Y, Y, D, Y

Answer

D, Y, Y, D

Answer

Y, D, D, D

Answer

D, D, D, Y

Question 21

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

Accepted Answer

[(q↔ D)v(p →Y)]→[ Y∧( p↔q)]

Answer

[(q↔ Y)v(D)]→[ Y∧( p↔q)]

Answer

[(q↔ Y)v(p →D)]→[ Y∧( p↔q)]

Answer

[(q↔ D)v(p →D)]→[ D∧( p↔q)]

Answer

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

Question 22

p, q, r gibi üç değişkenli bir ifadenin “tam normal biçime indirgeme yöntemi” ile geçerli olup olmadığı denetleniyor. Denetleme sonucu “geçersiz” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

Accepted Answer

0

Answer

1

Answer

2

Answer

8

Answer

5

Question 23

Aşağıdakilerden hangisi (q v r) ifadesinin Lukasiewicz-Tarski notasyonu ile yazılmış şeklidir?

Accepted Answer

Aqr

Answer

Lqr

Answer

Kqr

Answer

Eqr

Answer

Ngr

Question 24

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

Accepted Answer

Y, D, D, Y

Answer

D, Y, D, D

Answer

D, Y, Y, Y

Answer

D, Y, Y, D

Answer

D, D, D, Y

Question 25

Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “yanlış” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

Accepted Answer

Geçersiz

Answer

Eşdeğer

Answer

Tutarsız

Answer

Tutarlı

Answer

Geçerli

Modern Mantık soruları ve cevapları

Aşağıdakilerden hangisi Lukasiewicz–Tarski notasyonunun sağladığı katkılardandır?

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

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

p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş değil” ise sonuç satırında en fazla kaç “pqr” sıralı üçlüsü olabilir?

p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

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

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

∼∃y(Ay→ By)(Ax→Bx)∀y (Cy v Dy) ve [∀x (Cx v Dx) ∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

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

Aşağıdakilerden hangisi çelişiktir?

Çok değerli mantık kuralları göz önünde bulundurulduğunda aşağıdakilerden hangisi yanlıştır?

[∀z(Cz v Dz) ∼∀y (Cy v Dy)] ve∼[∀z(Cz v Dz) v ∀y (Cy Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Aşağıdakilerden hangisi yalın bir önermedir?

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

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

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

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

[∀y (Cy .Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z (Cz v Dz)↔ ∀y (Cy .Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “doğru” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

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

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

p, q, r gibi üç değişkenli bir ifadenin “tam normal biçime indirgeme yöntemi” ile geçerli olup olmadığı denetleniyor. Denetleme sonucu “geçersiz” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

Aşağıdakilerden hangisi (q v r) ifadesinin Lukasiewicz-Tarski notasyonu ile yazılmış şeklidir?

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

Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “yanlış” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

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ı

Aşağıdakilerden hangisi Lukasiewicz–Tarski notasyonunun sağladığı katkılardandır?

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

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

p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş değil” ise sonuç satırında en fazla kaç “pqr” sıralı üçlüsü olabilir?

p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

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

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

∼∃y(Ay→ By)(Ax→Bx)∀y (Cy v Dy) ve [∀x (Cx v Dx) ∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

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

Aşağıdakilerden hangisi çelişiktir?

Çok değerli mantık kuralları göz önünde bulundurulduğunda aşağıdakilerden hangisi yanlıştır?

[∀z(Cz v Dz) ∼∀y (Cy v Dy)] ve∼[∀z(Cz v Dz) v ∀y (Cy Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Aşağıdakilerden hangisi yalın bir önermedir?

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

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

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

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

[∀y (Cy .Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z (Cz v Dz)↔ ∀y (Cy .Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “doğru” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

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

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

p, q, r gibi üç değişkenli bir ifadenin “tam normal biçime indirgeme yöntemi” ile geçerli olup olmadığı denetleniyor. Denetleme sonucu “geçersiz” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

Aşağıdakilerden hangisi (q v r) ifadesinin Lukasiewicz-Tarski notasyonu ile yazılmış şeklidir?

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

Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “yanlış” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

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