………………………… is any sequence of symbols containing statement variables but no statements, such that when statements are substituted for the statement\ variables-the same statement being substituted for the same statement variable throughout- the result is a statement

Related MCQs

• …………………………… can be defined as an array of symbols containing statement variables but no statements, such that when statements are substituted for statement variables- the same statement being substituted for the same statement variable throughout – the result is an argument
• …………………. statements have the same meaning and may be substituted for one another
• Any argument that results from the substitution of statements for statement variables in an argument form is called ………………………………
• ……………………………………. are defined as expressions which contain individual variables and become propositions when their individual variables are replaced by individual constants
• ’statement form from which the statement results by substituting a different simple statement for each different statement variable’ is called ……………………..
• 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 ……………………
• “If a statement is true, then it is implied by any statement whatever” is symbolized as
• “ If a statement is false, then it implies any statement whatever”
• …………………had introduced into logic the important notion of a variable
• The process of obtaining a proposition from a propositional function by substituting a constant for a variable is called …………………………………