Large language models exhibit significant limitations in their logical reasoning abilities, especially for complex reasoning patterns involving negations and non-monotonic logics.
