A level Logic Quiz 2

15 Questions

Quiz Description

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

1:

 ˥(P → Q) is equivalent to 


Correct
  • 1:
    P ^ ˥Q
  • 2:
    P ^ Q
  • 3:
    ˥P v Q
  • 4:
    None of these
2:

 In propositional logic , which of the following is equivalent to p → q? 


Correct
  • 1:
    ~p → q
  • 2:
    ~p v q
  • 3:
    ~p v~ q
  • 4:
    p →q
3:

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


Correct
  • 1:
    ((x → y)^ x) →y
  • 2:
    ((~x →y)^ ( ~x ^ ~y))→y
  • 3:
    (x → ( x v y))
  • 4:
    ((x v y) ↔( ~x v ~y))
4:

 Which of the following well-formed formula(s) are valid? 


Correct
  • 1:
    ((P → Q)^(Q → R))→ (P → R)
  • 2:
    (P → Q) →(˥P → ˥Q)
  • 3:
    (P v (˥P v ˥Q)) →P
  • 4:
    ((P → R) v (Q → R)) → (P v Q}→R)
5:

 The correct prefix formula is 


Correct
  • 1:
    →˥,P v Q ↔˥R ˥S
  • 2:
    →P˥Qv ↔ ˥R
  • 3:
    →→PQ→→QR→PR
  • 4:
    →˥PV ↔ QSP
6:

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


Correct
  • 1:
    true
  • 2:
    false
  • 3:
    neither a or b
  • 4:
    either a or b
7:

Which of the following statement is a proposition?


Correct
  • 1:
    Get me a glass of milkshake
  • 2:
    God bless you!
  • 3:
    What is the time now?
  • 4:
    The only odd prime number is 2
8:

The truth value of ‘4+3=7 or 5 is not prime’.


Correct
  • 1:
    true
  • 2:
    false
  • 3:
    either a or b
  • 4:
    non of the above
9:

Which of the following option is true?


Correct
  • 1:
    If the Sun is a planet, elephants will fly
  • 2:
    3 +2 = 8 if 5-2 = 7
  • 3:
    1 > 3 and 3 is a positive integer
  • 4:
    -2 > 3 or 3 is a negative integer
10:

First Order Logic is also known as _____


Correct
  • 1:
    First Order Propositional Logic
  • 2:
    First Logic
  • 3:
    Predicate Logic
  • 4:
    AI Logic
11:

''All boys are cool.''

Corresponding FOL is:


Correct
  • 1:
    ∀x: boy(x) → cool(x).
  • 2:
    ∀x: boy(x) → (cool,x)
  • 3:
    ∀x: boy(x) ∧ cool(x)
  • 4:
    ∀x: boy(x) ↔ cool(x)
12:

The characteristic equation of D flip-flop is:


Correct
  • 1:
    Q = 1
  • 2:
    Q= D
  • 3:
    Q = D̄
  • 4:
    Q = 0
13:

 EE-ROM is 


Correct
  • 1:
    Electrically erasable
  • 2:
    Easily erasable
  • 3:
    non-erasable
  • 4:
    effective erasable
14:

A digital gate can respond to an input signal in


Correct
  • 1:
    about a second
  • 2:
    about a hundred of a second
  • 3:
    a few billionth of a second
  • 4:
    a few millisecond
15:

Which of the following is a first integrated logic family?


Correct
  • 1:
    RTL
  • 2:
    DTL
  • 3:
    TTL
  • 4:
    MOS

Feature Image

A level Logic Quiz 2
gcequiz
Student
Instructor
Account
Contact us

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