Click to Get updated NTA UGC NET CS Test Series           Study Material for UGC NET Computer Science- 2019

# Mathematical Logic - Mathematical Logic

16:   ˥(P → Q) is equivalent to
 A. P ^ ˥Q B. P ^ Q C. ˥P v Q D. None of these Answer Report Discuss Option: A Explanation : Click on Discuss to view users comments. Write your comments here:
17:   In propositional logic , which of the following is equivalent to p → q?
 A. ~p → q B. ~p v q C. ~p v~ q D. p →q Answer Report Discuss Option: B Explanation : Click on Discuss to view users comments. Write your comments here:
18:   Which of the following is FALSE?
Read ^ as And, v as OR, ~as NOT, →as one way implication and ↔ as two way implication?
 A. ((x → y)^ x) →y B. ((~x →y)^ ( ~x ^ ~y))→y C. (x → ( x v y)) D. ((x v y) ↔( ~x v ~y)) Answer Report Discuss Option: D Explanation : Click on Discuss to view users comments. Write your comments here:
19:   Which of the following well-formed formula(s) are valid?
 A. ((P → Q)^(Q → R))→ (P → R) B. (P → Q) →(˥P → ˥Q) C. (P v (˥P v ˥Q)) →P D. ((P → R) v (Q → R)) → (P v Q}→R) Answer Report Discuss Option: A Explanation : Click on Discuss to view users comments. Write your comments here:
20:   The correct prefix formula is
 A. →˥,P v Q ↔˥R ˥S B. →P˥Qv ↔ ˥R C. →→PQ→→QR→PR D. →˥PV ↔ QSP Answer Report Discuss Option: C Explanation : Click on Discuss to view users comments. Write your comments here:

X