The process of obtaining a proposition from a propositional function by substituting a constant for a variable is called …………………………………

Related MCQs

• In case an argument is produced by substituting a different simple statement for each different statement variable in an argument form, that argument form is called ……………………
• ’statement form from which the statement results by substituting a different simple statement for each different statement variable’ is called ……………………..
• General propositions can be regarded as resulting from propositional functions by a process called
• The universal quantification of a propositional function is true if and only if ……...
• The proposition arrived at on the basis of proposition or propositions in an argument, is called……………………………..
• Singly general proposition is a general proposition with ………………………………..
• Multiply general proposition is a general proposition with ……………………………..
• The two types of statements dealt within propositional logic are ……………………
• The proposition or propositions on the basis of which the conclusion is arrived at in an argument is called …………………………..
• A compound proposition whose truth-value is completely determined by the truth-values of it’s component statements is called …………………….