Modern Mantık 2020-2021 Vize Soruları
Modern Mantık 2020-2021 Vize Soruları
1- Aşağıdakilerden hangisi [(∼ r↔ p) → (q →∼ r)] ∨ r ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?a) [(D ↔ p) → (q → D)] ∨ Y Cevap : b) [(Y ↔ p) → (q → D)] ∨ D |
2- ∼ (p↔∼ q) → q ifadesi için aşağıdakilerden hangisi veya hangileri doğrudur?
|
3- Aşağıdakilerden hangisi [ (∼ p → p) ∧ (q →∼ p)] →∼ q ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?a) q →∼ q Cevap : a) q →∼ q |
4- Aşağıdakilerden hangisi [ (∼ q ∧ p) → (q → p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?a) Y Cevap : a) Y |
5- “∼ (p ↔q )” ifadesi Lukasiewicz-Tarski Notasyonuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır?a) NEpNq Cevap : b) NEpq |
6- “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?a) 8 Cevap : b) 7 |
7- Çelişmezlik ilkesi aşağıdaki şıklardan hangisinde doğru olarak tanımlanmıştır?a) Bazı şeyler bazen doğru bazen yanlıştır. Cevap : d) Bir şey sadece kendisidir, kendisi olmayan olamaz. |
8- Lukasiewicz-Tarski Notasyonunda eklemler hangi tarafa yazılır?a) Ortaya Cevap : c) Sol başa |
9- (q↔∼q) ∨ (p→ q) ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?a) D, Y, D, D Cevap : a) D, Y, D, D |
10- Doğruluk değerleri D, Y, Y, D olan bir ifadenin değilinin değili aşağıdakilerden hangisidir?a) Y, Y, D, Y Cevap : e) D, Y, Y, D |
11- ~p ↔ q ifadesi için aşağıdakilerden hangisi en uygundur?a) ne geçerli ne tutarlı Cevap : e) geçersiz, tutarlı |
12- Aşağıdakilerden hangisi klasik mantıkta kullanılan önerme gösterimlerinden biridir?a) SüP Cevap : d) SoP |
13- Aşağıdakilerden hangisi bir önermenin kıyasta ele alınış tarzlarından biri değildir?a) Tümel Cevap : d) Tüzel |
14- Kategorik önermelerin gösterimleri ile ilgili aşağıdakilerden hangisi yanlıştır?a) Tümel-olumlu: SaP Cevap : e) Tikel-olumsuz: SuP |
15- “Kategorik bir önermenin temel unsurları ………, ……… ve …………. tır. “ önermesine sırasıyla aşağıdakilerden hangisinin gelmesi gerekir?a) özne, yüklem, koşaç Cevap : a) özne, yüklem, koşaç |
16- Aşağıdakilerden hangisi ∼[ (∼p→ p)→(q→∼p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?a) Y Cevap : b) ∼( D→ Y) |
17- Lukasiewicz-Tarski Notasyonunun parantezsiz yazıma imkan sağlaması aşağıdakilerden hangisine imkan vermektedir?a) Matematik işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır. Cevap : b) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır. |
18- [(p ∧ q) → r] ∨ [∼(p ↔ p) (s ∧ t)] ifadesi Quine yöntemi ile denetlenecektir. “Doğru” değeri alacak ilk önerme hangisi olmalıdır?a) p Cevap : a) p |
19- “∼ (p ↔∼q )” ifadesi Lukasiewicz – Tarski Notasyonuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır?a) NEpNq Cevap : a) NEpNq |
20- Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın sonuç satırında en az bir “yanlış” değeri
|
21- Üç ö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?a) Geçerli Cevap : b) Geçersiz |
22- Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın sonuç satırında en az bir “doğru” değeri bulunuyorsa, bu ifade için aşağıdakilerden hangisi kesin olarak söylenebilir?a) Geçerli Cevap : c) Tutarlı |
23- Aşağıdakilerden hangisi [(∼r↔ p)→(q→∼r)]∧r ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?a) [(D ↔ p) → (q → D)] ∧ Y Cevap : d) (∼ p → ∼ q) ∧ Y |
Modern Mantık 2020-2021 Vize Soruları
Modern Mantık 2020-2021 Vize Soruları