Home FAQ Feedback Login

Mathematical Logic - Mathematical Logic

  1. Home
  2. Computer Science MCQ
  3. Mathematical Logic
  4. 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: (9:54am 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: (7:25pm on Sunday 27th August 2017)
For option B How to solve
praveen singh said: (7:04am on Saturday 7th April 2018)
why option c not a toutology????

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:

Sample Online Test

 Computer System Architecture Test I/O Operations in C Operating System Unit Test 7 Unix Online Test 3 Sets & Relations Online Unit Test Trees

UGC NET Paper 1 UGC NET Computer Science UGC NET Exam GATE Exam Aptitude Viva Questions General Knowledge Computer Questions Online Test

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

Copyright © 2012-2024 by Avatto.com ™, All rights Reserved