1
Question 1 of 15
Which of the following propositions is tautology?
A level Mathematical Logic Quiz 1
15 QuestionsMultiple ChoiceFree Practice
About this quiz
This A level Mathematical Logic Quiz 1 quiz contains 15 multiple choice questions designed to help you revise and test your A level Logic Quizzes knowledge. Select an answer for each question and click “Submit Answer” to see instant feedback. Take your time and try to score as high as possible!
Description
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
Progress0 / 15 answered
2
Question 2 of 15
Which of the proposition is p^ (~ p v q) is
3
Question 3 of 15
Which of the following is/are tautology?
4
Question 4 of 15
Logical expression ( A^ B) → ( C' ^ A) → ( A ≡ 1) is
5
Question 5 of 15
Identify the valid conclusion from the premises Pv Q, Q → R, P → M, ˥M
6
Question 6 of 15
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
7
Question 7 of 15
Which of the following is a declarative statement?
8
Question 8 of 15
P → (Q → R) is equivalent to
9
Question 9 of 15
Which of the following are tautologies?
10
Question 10 of 15
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
Question 11 of 15
Consider two well-formed formulas in propositional logic
F1 : P →˥P F2 : (P →˥P) v ( ˥P →)
Which of the following statement is correct?
12
Question 12 of 15
What can we correctly say about proposition P1:
P1 : (p v ˥q) ^ (q →r) v (r v p)
13
Question 13 of 15
(P v Q) ^ (P → R )^ (Q →S) is equivalent to
14
Question 14 of 15
The functionally complete set is
15
Question 15 of 15
(P v Q) ^ (P→R) ^ (Q → R) is equivalent to