Probing LLMs for logical reasoning