# A level Logic Quiz 2

#### 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

˥(P → Q) is equivalent to

Correct
• P ^ ˥Q
• P ^ Q
• ˥P v Q
• None of these

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

Correct
• ~p → q
• ~p v q
• ~p v~ q
• p →q

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

Correct
• ((x → y)^ x) →y
• ((~x →y)^ ( ~x ^ ~y))→y
• (x → ( x v y))
• ((x v y) ↔( ~x v ~y))

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

Correct
• ((P → Q)^(Q → R))→ (P → R)
• (P → Q) →(˥P → ˥Q)
• (P v (˥P v ˥Q)) →P
• ((P → R) v (Q → R)) → (P v Q}→R)

The correct prefix formula is

Correct
• →˥,P v Q ↔˥R ˥S
• →P˥Qv ↔ ˥R
• →→PQ→→QR→PR
• →˥PV ↔ QSP

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

Correct
• true
• false
• neither a or b
• either a or b

Which of the following statement is a proposition?

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

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

Correct
• true
• false
• either a or b
• non of the above

Which of the following option is true?

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

First Order Logic is also known as _____

Correct
• First Order Propositional Logic
• First Logic
• Predicate Logic
• AI Logic

''All boys are cool.''

Corresponding FOL is:

Correct
• ∀x: boy(x) → cool(x).
• ∀x: boy(x) → (cool,x)
• ∀x: boy(x) ∧ cool(x)
• ∀x: boy(x) ↔ cool(x)

The characteristic equation of D flip-flop is:

Correct
• Q = 1
• Q= D
• Q = D̄
• Q = 0

EE-ROM is

Correct
• Electrically erasable
• Easily erasable
• non-erasable
• effective erasable

A digital gate can respond to an input signal in

Correct
• about a second
• about a hundred of a second
• a few billionth of a second
• a few millisecond

Which of the following is a first integrated logic family?

Correct
• RTL
• DTL
• TTL
• MOS