ExamVeda
Login
Home

Match the following List-I List-II a Universal instantiation 1 P(x) P(c)...

This question belongs to Philosophy Modern Symbolic Logic
Modern Symbolic logic
?

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

Answer & Solution
Correct Answer: Option A
Let's discuss the solution. Join the discussion
Examveda
Question posted by Examveda
Community

Join the Discussion

No comments yet Be the first to discuss this question.
Keep Learning

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
Rules of inference are
1. applied when the main operators are in use.
2. nine in number.
3. applied only to entire statements.
4. not applied to entire statements.
Select the correct answer:
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
More Related Questions on Modern Symbolic logic