A level Mathematical Logic Quiz 1

15 Questions

Quiz 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

1:

 Which of the following propositions is tautology? 


Correct
  • 1:
    (p v q)→q
  • 2:
    p v (q→p)
  • 3:
    p v (p→q)
  • 4:
    Both (b) & (c)
2:

 Which of the proposition is p^ (~ p v q) is 


Correct
  • 1:
    A tautulogy
  • 2:
    A contradiction
  • 3:
    Logically equivalent to p ^ q
  • 4:
    All of above
3:

 Which of the following is/are tautology? 


Correct
  • 1:
    a v b → b ^ c
  • 2:
    a ^ b → b v c
  • 3:
    a v b → (b → c)
  • 4:
    None of these
4:

 Logical expression ( A^ B) → ( C' ^ A) → ( A ≡ 1) is 


Correct
  • 1:
    contradiction
  • 2:
    valid
  • 3:
    well informed formula
  • 4:
    non of these
5:

 Identify the valid conclusion from the premises Pv Q, Q → R, P → M, ˥M 


Correct
  • 1:
    P ^ (R v R)
  • 2:
    P ^ (P ^ R)
  • 3:
    R ^ (P v Q)
  • 4:
    Q ^ (P v R)
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 


Correct
  • 1:
    true
  • 2:
    false
  • 3:
    Same as the truth value of a
  • 4:
    Same as the truth value of b
7:

 Which of the following is a declarative statement? 


Correct
  • 1:
    It's right
  • 2:
    he says
  • 3:
    Two may not be an even integer
  • 4:
    I love you
8:

P → (Q → R) is equivalent to 


Correct
  • 1:
    (P ^ Q) → R
  • 2:
    (P v Q) → R
  • 3:
    (P v Q) → ˥R
  • 4:
    non of the above
9:

 Which of the following are tautologies? 


Correct
  • 1:
    ((P v Q) ^ Q) ↔ Q
  • 2:
    ((P v Q) ^ ˥P) → Q
  • 3:
    ((P v Q) ^ P) → P
  • 4:
    Both (a) & (b)
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? 


Correct
  • 1:
    Both F1 and F2 are tautologies
  • 2:
    The conjuction F1 ^ F2 is not satisfiable
  • 3:
    Neither is tautologies
  • 4:
    None of these
11:

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


Correct
  • 1:
    F1 is satisfiable, F2 is unsatisfiable
  • 2:
    F1 is unsatisfiable, F2 is satisfiable
  • 3:
    F1 is unsatisfiable, F2 is valid
  • 4:
    F1 & F2 are both satisfiable
12:

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


Correct
  • 1:
    P1 is tautology
  • 2:
    P1 is satisfiable
  • 3:
    If p is true and q is false and r is false, the P1 is true
  • 4:
    If p as true and q is true and r is false, then P1 is true
13:

 (P v Q) ^ (P → R )^ (Q →S) is equivalent to 


Correct
  • 1:
    S ^ R
  • 2:
    S → R
  • 3:
    S v R
  • 4:
    All of the above
14:

 The functionally complete set is 


Correct
  • 1:
    { ˥, ^, v }
  • 2:
    {↓, ^ }
  • 3:
    {↑}
  • 4:
    Both (b) and (c)
15:

  (P v Q) ^ (P→R) ^ (Q → R) is equivalent to 


Correct
  • 1:
    P
  • 2:
    Q
  • 3:
    R
  • 4:
    True=T

Feature Image

A level Mathematical Logic Quiz 1
gcequiz
Student
Instructor
Account
Contact us

Efoulan, Yaounde
Cameroon, Email:info@gcequiz.com