AUZEF · 192 SORU
Modern Mantık soruları ve cevapları
AUZEF Modern Mantık dersi için mevcut 192 soruyu ve cevaplarını incele. Soruları çözerek dersteki bilgilerini kontrol edebilir, cevap anahtarı üzerinden eksiklerini belirleyebilirsin.
Sorular mevcut arşiv ile Universiten’in önceki içerik kaynağı Lolonolo’dan ders adı/kodu doğrulanarak birleştirilmiştir. Kaynakta bulunan dönem ve sınav türü bilgisi soru kartında gösterilir.
İlerleme yükleniyor…
- Soru 126Lolonolo · 2022-2023 · Vize
- Soru 127Lolonolo · 2022-2023 · Final
[∀x(Cx↔Dx)↔ ∼∀y(Cy v Dy)] ve [∀x(Cx .Dx)∼∀y (Cy ↔ Dy)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?
- Soru 128Lolonolo · 2022-2023 · Final
(∀x Fx ∀y Hy) ve (∃z Hz ∀x Hx ∃y Fy) ifadeleri için aşağıdakilerden hangisi doğrudur?
- Soru 129Lolonolo · 2022-2023 · Final
∼[ ∃x (Ax→Bx) ∀y (Cy → Dy)]→∼∀x (Fx→Gx) ve [ ∃x (Ax→Bx)∀y (Cy v Dy)]→ ∼∀x (Fx→Gx) ifadeleri için aşağıdakilerden hangisi doğrudur?
- Soru 130Lolonolo · 2022-2023 · Final
“Niceleyicinin eş değerliği” kurallarına göre aşağıdaki ifadelerden hangisi doğrudur?
- Soru 131Lolonolo · 2022-2023 · Final
D: Doğru, Y: Yanlış, B: Belirsiz değerleri için aşağıdakilerden hangisi yanlıştır?
- Soru 132Lolonolo · 2022-2023 · Final
Aşağıdakilerden hangisi [(∼q↔ ∼r)∨(q→r)]→[ q∧(∼ p↔q)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
- Soru 133Lolonolo · 2022-2023 · Final
∼[∀x(Cx .Dx)→ ∼∀x (Cx .Dx)] ve [∀x(Cx .Dx) . ∀x (Cx .Dx)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?
- Soru 134Lolonolo · 2022-2023 · Final
Aşağıdakilerden hangisi “iki değerli mantık” örneklerinden değildir?
- Soru 135Lolonolo · 2022-2023 · Final
∼[∀y (Cy → Dy)→ ∼∀y (Cy .Dy)] ve [∀y (Cy → Dy) . ∀y (Cy .Dy)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?
- Soru 136Lolonolo · 2022-2023 · Final
[∀x(Cx .Dx)→ ∼∀x (Cx .Dx)] ve [∼∀x(Cx .Dx) v ∼∀x (Cx .Dx)] ifadeleri için aşağıdakilerden hangisi doğrudur?
- Soru 137Lolonolo · 2022-2023 · Final
∀y(Ay→ By) ∀y (Cy v Dy) ve [∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?
- Soru 138Lolonolo · 2022-2023 · Final
∼[ ∃x (Ax→Bx) → ∀y (Cy v Dy)] ve [ ∼∃x (Ax→Bx)∼∀y (Cy v Dy) ] ifadeleri için aşağıdakilerden hangisi doğrudur?
- Soru 139Lolonolo · Final
“~(p ↔ ∼ q)” ifadesi Lukasiewicz -Tarski notasyonunuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır?
- Soru 140Lolonolo · Final
Aşağıdakilerden hangisi ∼ (q v r)” ifadesinin LT notasyonu ile yazılmış şeklidir?
- Soru 141Lolonolo · Final
∼[∼∀y (Cy v Dy) v ∀x ( Cx v Dx)] ve [∀y (Cy v Dy).∼∀x (Cx v Dx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
- Soru 142Lolonolo · Final
∼[∼∃x(Ax→ Bx)→∀y (Cy v Dy)] ve [∼∃x(Ax→ Bx) ∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
- Soru 143Lolonolo · Final
[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∼∀y(Cy → Dy) v∼∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
- Soru 144Lolonolo · Final
∼[Ax→∼ ∀y(Cy .Dy)] ve [∼Ax ∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
- Soru 145Lolonolo · Final
∼[Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∀y (Cy Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
- Soru 146Lolonolo · Final
∼[Cy (Cy → Dy) →∼∀y (Cy . Dy)] ve [∀y (Cy → Dy) . ∀y (Cy . Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
- Soru 147Lolonolo · Final
Modal mantığın özellikle yapay zeka alanında kullanılmasının sebebi, aşağıdaki şıklardan hangisinde doğru bir biçimde verilmiştir?
- Soru 148Lolonolo · Final
Aşağıdakilerden hangisi “iki değerli mantık” örnekleri dışında bir örnektir?
- Soru 149Lolonolo · Final
∼∃x (Ax→Bx) ↔ (Ax→ Bx) ∀y (Cy v Dy) ve [∼∃x(Ax→Bx) ↔∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
- Soru 150Lolonolo · Final
[∀z (Cz v Dz) ∼∀y (Cy v Dy)] ve ∼[∀z(Cz v Dz) v ∀y ( Cy Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?
Bu dersin yer aldığı bölüm arşivleri
Aynı bölümdeki diğer derslerin sorularına geç.