Q. _____________ is the process of obtaining a proposition from a propositional function by substituting a constant for the variable. (Solved)