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

A. Synthetic Logic B. Statement Logic C. Analytical Logic D. Ethical Logic

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. Classical inductive logic B. Classical deductive logic C. Classical ethics D. Western ethics