# 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 Answer Report Discuss Option: A Explanation : Click on Discuss to view users comments. amit pawar said: (7:54pm on Friday 12th April 2013) Explain Write your comments here:
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 Answer Report Discuss Option: B Explanation : Click on Discuss to view users comments. Write your comments here:
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 Answer Report Discuss Option: A Explanation : Click on Discuss to view users comments. Write your comments here:
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) Answer Report Discuss Option: D Explanation : Click on Discuss to view users comments. Priya rane said: (5:25am on Monday 28th August 2017) For option B How to solve Write your comments here:
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 Answer Report Discuss Option: B Explanation : Click on Discuss to view users comments. Write your comments here:

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