Modern Mantık Testi-2
Modern Mantık Testi-2
Modern Matık |
| 1) “Saçmaya indirgeme yöntemi” hangi mantık ilkesini kendisine zemin olarak kullanır? a) Çelişmezlik b) Özdeşlik c) Üçüncü Halin Olmazlığı d) Tutarlılık e) Neden-Sonuç Bağlantısı Cevap: c) Üçüncü Halin Olmazlığı |
| 2) 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 b) Geçersiz c) Tutarlı d) Tutarsız e) Eşdeğer Cevap:b) Geçersiz |
| 3) Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın sonuç satırında en az bir “yanlış” değeri bulunuyorsa bu ifade için aşağıdakilerden hangisi kesin olarak söylenebilir? a) Geçerli b) Geçersiz c) Tutarlı d) Tutarsız e) Eşdeğer Cevap: c) Tutarlı |
| 4) Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın sonuç satırının tamamında “yanlış” değeri bulunuyorsa bu ifade için aşağıdakilerden hangisi kesin olarak söylenebilir? a) Geçerli b) Geçersiz c) Belirsiz d) Tutarsız e) Eşdeğer Cevap: a) Geçerli |
| 5) Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın sonuç satırının tamamında “doğru” değeri bulunuyorsa bu ifade için aşağıdakilerden hangisi kesin olarak söylenebilir? a) Geçerli b) Geçersiz c) Belirsiz d) Tutarlı e) Eşdeğer Cevap: b) Geçersiz |
| 6) Saçmaya indirgeme yöntemi ile denetlenen bir çıkarımın tamamının öncelikle hangi doğruluk değerine sahip olduğu varsayılarak işlem yapılır? a) Doğru b) Yanlış c) Belirsiz d) Tutarlı e) Geçerli Cevap: b) Yanlış |
| 7) [(p ? q) › r] ifadesi saçmaya indirgeme yöntemi ile denetlenecektir. Bu ifadenin tamamının “yanlış” değerini alabilmesi için “(p ? q)” ifadesinin hangi doğruluk değerine sahip olması zorunludur? a) Doğru b) Yanlış c) Belirsiz d) Tutarlı e) Geçerli Cevap: a) Doğru |
| 8) [(p ? q) › r] ifadesi saçmaya indirgeme yöntemi ile denetlenecektir. Bu ifadenin tamamının “yanlış” değerini alabilmesi için “(r)” ifadesinin hangi doğruluk değerine sahip olması zorunludur? a) Doğru b) Yanlış c) Belirsiz d) Tutarlı e) Geçerli Cevap: b) Yanlış |
| 9) [(q › r) ? (p – q’)] › [(p › q) ? r] ifadesi saçmaya indirgeme yöntemi ile denetlendiğinde sonuç “geçersiz” olarak belirleniyorsa, aynı ifadenin Quine yöntemi ile elde edilecek sonuç aşağıdakilerden hangisi olacaktır? a) Doğru b) Yanlış c) Geçersiz d) Tutarlı e) Geçerli Cevap: c) Geçersiz |
| 10) [(q › r) ? (p – q’)] › [(p › q) ? r] ifadesi saçmaya indirgeme yöntemi ile denetlendiğinde sonuç “geçersiz” olarak belirleniyorsa, aynı ifadenin doğruluk tablosu yöntemi ile elde edilecek sonuç aşağıdakilerden hangisi olacaktır? a) Doğru b) Yanlış c) Geçersiz d) Tutarlı e) Geçerli Cevap: c) Geçersiz |
| 11) “Tam Normal Biçime İndirgeme yöntemi” ile bütün eklemler tek bir eklem cinsinden yazılabilmektedir. Bu eklem hangisidir? a) parantez b) veya c) ise d) ancak ve ancak e) değil Cevap: b) veya |
| 12) “Tam Normal Biçime İndirgeme yöntemi” ile bir ifadenin hangi özellikleri denetlenmektedir? a) Geçerli ve Tutarlılık b) Eşdeğerlik c) Alternatif İlişki d) Belirsizlik e) Süreksizlik Cevap: a) Geçerli ve Tutarlılık |
| 13) De Morgan ve dağıtım kurallarıyla bir takım dönüşümler yapılabilmektedir. Aşağıdaki dönüşüm işlemlerinden hangisi yanlış yapılmıştır? a) (A › B) = ~(A ? B’) b) ~(A ? B’) = (A’ ? B) c) A = A(BVB’ d) A = ABVAB’ e) A = AB Cevap: e) A = AB |
| 14) “Tam Normal Biçime İndirgeme yöntemi” Boole cebri ile birlikte iş görmektedir. Aşağıdaki Boole cebri işlemlerinden hangisi yanlış verilmiştir? a) x(y + z) = xy + xz b) x(1 – x) = xx’ = 0 c) x + 0 = x d) A – B = AB ? A’B’ e) A – B = Bı ? (A ? B) Cevap: e) A – B = Bı ? (A ? B) |
| 15) Aşağıdakilerden hangisi yanlış bir sadeleştirme işlemine örnektir? a) AA = A b) AA’ = Y c) ABCD…A’ = Y d) A ? A = A’ e) A ? A’ = D Cevap: d) A ? A = A’ |
Modern Mantık Testi-2 Yeni
Modern Mantık |
| 1) Aşağıdakilerden hangisi yanlış bir dönüştürme işlemine örnektir? a) (A › B) = (Aı ? B) b) ~(A › B) = AB’ c) (A – B) = (AB ? A’B’) d) ~(A – B) = (AB’ ? A’B) e) (A › B) = AB’ Cevap: e) (A › B) = AB’ |
| 2) “p, q ve r” gibi üç değişkenli bir çıkarım “Tam Normal Biçime İndirgeme yöntemi” ile denetleniyor. Denetleme sonucu “geçerli ve tutarlı” ise sonuç satırında kaç farklı sıralı pqr biçimine ulaşılmıştır? a) 2 b) 4 c) 8 d) 10 e) 12 Cevap: c) 8 |
| 3) “p, q ve r” gibi üç değişkenli bir çıkarım “Tam Normal Biçime İndirgeme yöntemi” ile denetleniyor. Denetleme sonucu “geçersiz ama tutarlı” ise sonuç satırında en az kaç “doğru” değeri vardır? a) 1 b) 2 c) 3 d) 5 e) 8 Cevap: a) 1 |
| 4) “p, q ve r” gibi üç değişkenli bir çıkarım “Tam Normal Biçime İndirgeme yöntemi” ile denetleniyor. Denetleme sonucu “geçersiz ve tutarsız” ise sonuç satırında en az kaç “doğru” değeri vardır? a) 1 b) 2 c) 3 d) 5 e) 0 Cevap: e) 0 |
| 5) “p, q ve r” gibi üç değişkenli iki çıkarımın “Tam Normal Biçime İndirgeme yöntemi” ile eşdeğerlikleri denetleniyor. Denetleme sonucu “eşdeğer değil ” ise sonuç satırında en fazla kaç “pqr” sıralı üçlüsü olabilir? a) 8 b) 7 c) 6 d) 5 e) 4 Cevap: b) 7 |
| 6) Jan Lukasiewicz ve Alfred Tarski isimli iki Polonyalı mantıkçının geliştirdiği notasyon (yazım tarzı), mantık işlemlerini hangi açıdan kolaylaştırmaktadır? a) Parantez kullanmadan ifade edebilme olanağı vermektedir. b) Geçerlik denetlemesi yapabilme olanağı vermektedir. c) Tutarlılık denetlemesi yapabilme olanağı vermektedir. d) Eşdeğerlik denetlemesi yapabilme olanağı vermektedir. e) İfadenin değilini denetleme olanağı vermektedir. Cevap: a) Parantez kullanmadan ifade edebilme olanağı vermektedir. |
| 7) 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. b) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır. c) Klasik mantık tartışmalarını yeniden gündeme getirmiştir. d) Kıyas denetlemesini kolaylaştırmıştır. e) Özdeşlik ilkesini göz önünde bulundurmaktadır. Cevap: b) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır. |
| 8) Lukasiewicz – Tarski notasyonunun eklemler hangi tarafa yazılır? a) Ortaya b) Sağ başa c) Sol başa d) İkinci önermeden sonra e) İlk önermeden sonra Cevap: c) Sol başa |
| 9) Lukasiewicz – Tarski notasyonunda eklemler harf cinsinden yazılır. Aşağıda verilen eklem-harf karşılıklarından hangisi yanlıştır? a) “~” : N b) “?” : K c) “?” : A d) “›” : K e) “-” : E Cevap: d) “›” : K |
| 10) Lukasiewicz – Tarski notasyonunda eklemler harf cinsinden yazılır. Aşağıda verilen eklem-harf karşılıklarından hangisi yanlıştır? a) “~” : N b) “?” : K c) “?” : A d) “›” : C e) “-” : D Cevap: e) “-” : D |
| 11) “~(p – q)” ifadesi Lukasiewicz – Tarski notasyonunuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır? a) NEpNq b) NEpq c) EpNq d) NpNq e) pNq Cevap: b) NEpq |
| 12) “~(p – ~q)” ifadesi Lukasiewicz – Tarski notasyonunuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır? a) NEpNq b) NEpq c) EpNq d) NpNq e) pNq Cevap: a) NEpNq |
| 13) “~(~p – ~ q)” ifadesi Lukasiewicz – Tarski notasyonunuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır? a) NEpNq b) NEpq c) EpNq d) NENpNq e) pNq Cevap: d) NENpNq |
| 14) “[(p ? q) › rı] ? ~(p – r) )” ifadesi Lukasiewicz – Tarski notasyonunuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır? a) CKpqNrNEpr b) KpqNrNEpr c) ACKpqpr d) AKprNEpr e) ACKpqNrNEpr Cevap: e) ACKpqNrNEpr |
| 15) “NEpNq” ifadesi parantezli haline döndürülmek isteniyor. Aşağıdakilerden hangisi bu tür bir işlemin sonucudur? a) ~(p – ~q) b) (p – ~q) c) ~(p – q) d) ~(p ? ~q) e) (p ? ~q) Cevap: a) ~(p – ~q) |
Modern Mantık Testi-2
 |
|
