Q6
Match the following: List-I List-II a. Universal instantiation 1. ∀ × Σ × P(x) ⟶ P(c) b. Universal generalisation 2. P(c) ⟶ ∀ × Σ × P(x) c. Existential quantification 3. ∃ × Σ × P(x) d. Axiomatic system 4. Consistency
Match the following:
| List-I | List-II |
| a. Universal instantiation | 1. ∀ × Σ × P(x) ⟶ P(c) |
| b. Universal generalisation | 2. P(c) ⟶ ∀ × Σ × P(x) |
| c. Existential quantification | 3. ∃ × Σ × P(x) |
| d. Axiomatic system | 4. Consistency |
A.
a-1, b-2, c-3, d-4
AnswerB.
a-4, b-3, c-2, d-1
C.
a-4, b-2, c-3, d-1
D.
a-1, b-4, c-3, d-2
Answer: Option A
Solution
Answer: Option A
No explanation is given for this question Let's Discuss on Board