McqMate
| Q. |
_____________ is the process of obtaining a proposition from a propositional function by substituting a constant for the variable. |
| A. | Instantiation |
| B. | Quantification |
| C. | Deduction |
| D. | Implication |
| Answer» A. Instantiation | |
View all MCQs in
Symbolic LogicNo comments yet