Mathematical Logic - Mathematical Logic

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

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
 
 

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

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)
 
 

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
 
 

Option: C

Explanation :

Click on Discuss to view users comments.

Write your comments here: