In this quiz, A level logic quiz, we will basically be talking about what logic is all about, the definition, the fields under mathematical logic and the uses of mathematical logic. After successfully going through this quiz, you should be able to answer the exam standard mathematical logic questions with no major difficulty.

The main subject of Mathematical Logic is mathematical proof. Mathematical logic is also formally referred to as logic and it is a subfield of mathematics which deals with the exploration of application of logic to mathematics. Mathematical logic has a very close connection to mathematics, theoretical computer science and philosophy.

Mathematical logic is subdivided into different fields and these fields are;

- Set theory
- Recursion theory
- Model theory and
- Proof theory

Understanding mathematical logic helps us understand ambiguity and disagreement. It also helps us understand where the disagreement comes from.

__gcequiz.com__ has put together a good number of quizzes to ease your studies and preparation for your exams. __Past ordinary level gce questions__ have also been made available for you.

Good Luck

3:

**Which of the following is FALSE?****Read ^ as And, v as OR, ~as NOT, →as one way implication and ↔ as two way implication?**

6:

**Let p and q be propositions. Using only the truth table decide whether p ↔ q does not imply p → ˥q is**