I am unsure how much this discussion warrants a document on its own, but here we are. We discussed how an implication is logically equivalent to its contrapositive. I want to demonstrate that again, ...

With the rapid increase in the popularity of Artificial Intelligence (AI) and Large Language Models (LLMs), there has been a growing interest in augmenting the reasoning capabilities of LLMs to handle ...

This module provides an introduction to various areas of pure maths – logic, proof, group theory, and number theory. Mathematical logic underpins almost all mathematics. Many people use it when they ...