Join via Microsoft Teams
We often hear things described as 'logical' or 'illogical'.
But what is logic and how do you work out if something is logical?
In this course we will learn formal logic, the system of symbols and rules that lets us analyse statements and arguments.
By the end of this tough but rewarding course, you will not just understand what '⊢(∃x∀yP²xy→∀y∃xP²xy)' means but you will be able to prove it too!