Mantık problemleri arasında sudoku, sayısal olmayan uzaysal bulmacalar ve "şövalyeler ve dalgalanmalar" ve "lateral muhakeme" gibi dil temelli problemler bulunur. Bütün bu bulmacalar problem çözücüye bir durum ve bir takım kurallar sunar ve mantıklı bir kesinti gerektirir.
Şövalyeler ve knaves bulmacaları her zaman benzer bir format izler. Tipik olarak, problem çözücü iki kişiyle sunulur, biri her zaman doğruyu söyleyen bir şövalye ve her zaman yalan söyleyen bir şövalye ve hangisinin hangisi olduğunu belirlemesi gerekir. Cevap, bir bireyin yaptığı bir ifadeden çıkarılır. Örneğin, Bob ve Carl ile tanışırsınız. Bob, "İkimiz de değiliz" diyor. Bu durumda, Bob dizgindir, çünkü ifadesi bilmecenin kurallarına aykırıdır ve bu nedenle yalan söylemek zorundadır. Bu kolay bir örnektir, ancak yüzlerce başka şövalye ve knaves bulmacası, artı üç kişiyi içeren veya problem çözücünün bir kişiye tek bir evet /hayır sorusu sormasına izin veren varyasyonlar vardır.
Başka bir mantık bulmacası türüne yanal düşünme bulmacası denir. Bu bulmacalar, kelimelerin ve kavramların gerçek anlamlarını ya da ima edilen anlamlarını geçmiş olarak görmek anlamına gelen "yana doğru" düşünme yeteneğini gerektirir. Örneğin, polis, Charles adında bir cinayet zanlısının belirli bir evde poker oynadığını söyleyerek bir ipucuna yanıt verdi. Polis eve girdi ve bir pilot, bir marangoz, bir itfaiyeci ve bir tamirci poker oynuyor. Konuşmadan hemen itfaiyeciyi tutuklarlar. Nasıl bildiler? Cevap, pilotların, marangozların ve tamircilerin kadın olabileceği, ancak itfaiyecinin bir erkek olduğu. Ayrıca sorunun "itfaiyeci" terimini kullanmadığına dikkat edin. Bu sorun pilotların, marangozların ve mekanikçilerin erkek olduğu fikrini görmezden gelmemizi gerektiriyor. Şövalyeler ve knaves bulmacasında olduğu gibi, sayısız yanal düşünme bulmacası vardır.
