Classical

Mathematical Logic - Mathematical Logic

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
A. True
B. False
C. Same as the truth value of a
D. Same as the truth value of b
 
 

Option: A

Explanation :


7:   Which of the following is a declarative statement?
A. It's right
B. He says
C. Two may not be an even integer
D. I love you
 
 

Option: B

Explanation :


8:   P → (Q → R) is equivalent to
A. (P ^ Q) → R
B. (P v Q) → R
C. (P v Q) → ˥R
D. None of these
 
 

Option: A

Explanation :


9:  

Which of the following are tautologies?

A.

((P v Q) ^ Q) ↔ Q

B.

((P v Q) ^ ˥P) → Q

C.

((P v Q) ^ P) → P

D.

Both (a) & (b)

 
 

Option: D

Explanation :


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?
A. Both F1 and F2 are tautologies
B. The conjuction F1 ^ F2 is not satisfiable
C. Neither is tautologies
D. None of these
 
 

Option: B

Explanation :




Suggest an improvement

 


Syllabus covered in this section is-

  • Propositional Logic
  • First Order Logic
  • Well-formed-formulae (WFFL)
  • Satisfiability and Tautology

This Section covers Mathematical Logic Questions Answers

Who can benefit

  • This section can also be used by any student who is preparing for PhD entrance exam, pre PhD entrance exam, entrance exam  or any other such exam.
  • Any student who is preparing for DOEACC exams can also use Mathematical Logic questions answers for preparation of his exams.
  • Mathematical Logic mcq can be useful for the students who are pursuing any undergraduate or post graduate degree in computer science like BE, ME , Btech, Mtech, .BSc, MSc, BCA, MCA, BS, MS  or any other such degree
  • Mathematical Logic mcq with answers and explanation can also be useful for the students who are preparing for any competitive exam or recruitment exams like GATE, UGC NET, Kendriya Vidyalaya Sangathan PGT exam, PSU, IES or any other such exam.
  • Mathematical Logic multiple choice questions answers  can also be used by any candidate who wants to gain credits in Mathematical Logic in BS or MS Computer science,
  • You can download Mathematical Logic mcq pdf from this site.
  • You can get access to Mathematical Logic multiple choice questions answers EBook.

Various Search Terms Used For This Section Are

  • Mathematical Logic Quiz Questions With Answers

  • Mathematical Logic Exam Questions Answers

  • Mathematical Logic Mcq Questions Answers

  • Mathematical Logic Mcq Pdf Download