What are the methods to do decision procedures?
1. Truth Table
2. Shorter Truth Table
3. Reduction ad Absurdum
4. Algorithm

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