Examveda

Match List-I with List-II and select the correct answer:
List-I List-II
a. Exportation 1. (p ⊃ q) ≡ (q ∼ ⊃ ∼p)
b. Tautology 2. (p ⊃ q) ≡ (∼ p ∨ q)
c. Transposition 3. p ≡ (p.p)
d. Material implication 4. [(p.q) ⊃ r] ≡ [p ⊃ (q ⊃ r)]

A. a-1, b-2, c-3, d-4

B. a-4, b-2, c-3, d-1

C. a-4, b-3, c-1, d-2

D. a-3, b-4, c-1, d-2

Answer: Option C


This Question Belongs to Philosophy >> Modern Symbolic Logic

Join The Discussion

Related Questions on Modern Symbolic logic