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
B. 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
This Question Belongs to Philosophy >> Modern Symbolic Logic
Related Questions on Modern Symbolic logic
What is the other name of Propositional Logic?
A. Synthetic Logic
B. Statement Logic
C. Analytical Logic
D. Ethical Logic
Sentential connective is used in which?
A. The value of formulas
B. The construction of formulas
C. The term of formulas
D. The concept of formulas
A. 1, 2 and 3
B. 2, 3 and 4
C. 1, 3 and 4
D. All of these
A consistent theory is essential for which logic?
A. Classical inductive logic
B. Classical deductive logic
C. Classical ethics
D. Western ethics
Join The Discussion