Deneme Sınavı Soruları

20 soru
Cevap anahtarı açık: çöz, sonucunu gör

0 doğru · 0 yanlış · 20 kaldı

1
Aşağıdakilerden hangisi, çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz "öncelik kurallardan" biri değildir?
2
Çizelgede tüm dallar.................çıkarım geçerli olur

Yukarıdaki boşluğa aşağıdaki ifadelerden hangisi getirilirse doğru olur?
3
En az bir serbest değişken geçişi olan bir formül ne olarak adlandırılır?
4
~∃ν A ve ∀ν ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~∃ν A
ifadesi varsa, o dalda bir nokta olarak ∀ν ~A ifadesi eklenir

Yukarıdaki ifade hangi kurala aittir?
5
Aşağıdakilerden hangisi ∃x ∃y (Fx ∧ ~Fy) \ ∃x ∀y (Fx ∧ ~Fy) çıkarımı için iki elemanlı bir karşı-modeldir?
6
(Ǝx Gx ∧ ∀x (Fx ↔Gx)) önermesinin ön-nicelemeli normal biçimi aşağıdakilerden hangisidir?
7
"Bazı insanlar çalışkan değildir ." önermesinin değili aşağıdakilerden hangisidir?
8
Aşağıdakilerden hangisi niceleme mantığının sembolik dilinin içerdiği sembollerden değildir?
9
Niceleme mantığında "Her" kelimesiyle ifade edilen niteleyiciye ne ad verilir?
10
Aşağıdakilerden hangisi bazı anlamında kullanılır?
11
(A↔B) çözümlü çizelge yönteminde neyi ifade etmektedir?
12
I.En az bir modelde doğru olan bir nicelemeli önerme tutarlıdır.

II.En az bir modelde yanlış olan bir önerme geçersizdir.

III.En az bir modelde doğru ve en az bir modelde yanlış olan bir önerme olumsaldır.

IV.Tutarlı ama geçersiz bir önerme olumsaldır.

V. Tüm modellerde doğru olan bir önerme geçersizdir.

Yukarıdaki bilgilerden hangisi yanlıştır?
13
F: a geçmişe takılmıştır.

G: a insandır.

H: a depresyondadır.

Yukarıdaki anahtara göre ∃x ((Fx ∧ Gx) ∧ Hx) sembolik önermesinin gündelik dile çevrilmiş hali aşağıdakilerden hangisindedir?
14
Önermelere ilişkin aşağıda verilen ifadelerden hangisi doğrudur?
15
((A ∧ ~B) ∨ (~A ∧ B)) bu önermenin eşdeğeri aşağıdakilerden hangisidir?
16
Gündelik dildeki bir önermenin, önermeler mantığı bakımından denetlenmesi iki adımda gerçekleşir, bunlardan ilki nedir?
17
Aşağıdaki şıklardan hangisinde önerme eklemi ve önerme eklemine ait sembol doğru verilmiştir?
18
Aşağıdaki sözcüklerden hangisi çok anlamlıdır?
19
Gündelik dile çevirme ile ilgili aşağıdaki ifadelerden hangisi yanlıştır?
20
Bir grup önermenin tümünün aynı zamanda doğru olabilmesi bu önermeler grubunun durumunu gösteren kavram aşağıdakilerden hangisidir?

Bir şıkka dokun; doğru cevap hemen görünür.

Yeni yılların sınavlarını da çözSembolik Mantık dersinin tüm sınavları, cevap anahtarları, süreli mod ve yanlış analizi uygulamada.Uygulamada aç