In this quiz, A level logic quiz, we will basically be talking about what logic is all about, the definition, what tautology and contradiction in mathematical logic is all about as this quiz with 15 questions has been solely set on the tautology and contradiction of mathematical statements.

Mathematical logic is the application of mathematical techniques to logic. Tautology is a situation whereby the truth values on the last column of a truth table are all true and a contradiction is the reverse of a tautology as in all the truth values in the last column of the truth table are all false.

__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. With this, you can now go ahead and test your knowledge with the questions provided to you by this online revision platform.

Good Luck

6:

**Let a, b, c, d be propositions. Assume that the equivalence a ↔ (b v ˥b) and b ↔ c hold. Then truth value of the formula ( a ^ b) → ((a ^ c) v d) is always**

10:

**If F1, F2 and F3 are propositional formulae such that F1 ^ F2 → F3 and F1 ^ F2→F3 are both tautologies, then which of the following is TRUE?**

11:

**Consider two well-formed formulas in propositional logic****F1 : P →˥P F2 : (P →˥P) v ( ˥P →)****Which of the following statement is correct?**

12:

**What can we correctly say about proposition P1:****P1 : (p v ˥q) ^ (q →r) v (r v p)**