"From any true substitution instance of a propositional function, we may validly infer the existential quantification of that propositional function." Identify the rule.

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