Essentials Of The Symbolic Logic Set 4
On This Page
This set of Essentials of the Symbolic Logic Multiple Choice Questions & Answers (MCQs) focuses on Essentials Of The Symbolic Logic Set 4
Q1 | Statement forms that have both true and false statements among theirsubstitution instances are called ……………………………………………..
- tautologous statement forms
- contingent statement forms
- self-contradictory statement forms
- specific statement forms
Q2 | Two statements are ………………… when their material equivalence is a tautology
- self-contradictory
- contingent
- logically equivalent
- materially implying
Q3 | …………………. statements have the same meaning and may be substituted for oneanother
- materially equivalent
- logically equivalent
- tautologous
- self-contradictory
Q4 | . ̴( p . q) is logically equivalent to …………………………………..
- p v ̴q
- ̴p . ̴q
- ̴p v ̴q
- ̴p v q
Q5 | An argument form is valid if and only if it’s expression in the form of a conditionalstatement is ……………
- a contradiction
- a biconditional
- a tautology
- material implication
Q6 | “If a statement is true, then it is implied by any statement whatever” issymbolized as
- p Ͻ (p Ͻ q)
- p Ͻ (q Ͻ p)
- ̴p Ͻ (p Ͻ q)
- ̴p Ͻ (q Ͻ p)
Q7 | “ If a statement is false, then it implies any statement whatever”
- ̴p Ͻ (p Ͻ q)
- p Ͻ (p Ͻ q)
- ̴p Ͻ (q Ͻ p)
- p Ͻ (q Ͻ p)
Q8 | ………………………… is defined as any argument that is a substitution instance of anelementary valid argument form
- an elementary valid argument
- formal proof
- tautology
- contradiction
Q9 | Name the rule of inference ̴( P . Q) ≡ ( ̴P V ̴Q)
- commutation ( com )-
- association (assoc )-
- de morgan’s theorem ( de m )
- distribution (dist )
Q10 | Name the rule of inference( p v q ) ≡ ( q v p )
- commutation ( com )-
- de morgan’s theorem ( de m )
- distribution (dist )
- association (assoc )-
Q11 | Name the rule of inference[ p v( q v r ) ] ≡ [ ( p v q ) v r ]
- de morgan’s theorem ( de m )
- distribution (dist )
- association (assoc )-
- commutation ( com )- 100. name the rule of inference
Q12 | Name the rule of inferenceP ≡ ̴ ̴p
- transposition (trans )-
- material implication (impl)-
- double negation ( d .n )-
- tautology ( taut )-
Q13 | Name the rule of inference( P Ͻ q ) ≡ ( ̴Q Ͻ ̴P )
- double negation ( d .n )-
- tautology ( taut )-
- transposition (trans )-
- material equivalence ( equiv )-
Q14 | Name the rule of inference( P Ͻ q ) ≡ ( ̴P v q )
- material implication (impl)-
- transposition (trans )-
- material equivalence ( equiv )-
- exportation ( e x p)-
Q15 | Name the rule of inference( P ≡ q ) ≡ [ ( p Ͻ q ) . ( q Ͻ p ) ]
- material implication (impl)-
- transposition (trans )-
- tautology
- material equivalence ( equiv )- 105. name the rule of inference
Q16 | Name the rule of inference ̴( P V Q) ≡ ( ̴P . ̴Q )
- material implication (impl)-
- de morgan’s theorems ( de m )
- exportation ( e x p)-
- distribution (dist )
Q17 | Name the rule of inference( p . q ) ≡ ( q . p )
- commutation ( com )-
- distribution (dist )
- exportation ( e x p)-
- transposition (trans )-
Q18 | Name the rule of inference[ p .( q . r ) ] ≡ [ ( p . q ) . r ]
- exportation ( e x p)-
- de morgan’s theorems ( de m )
- association (assoc )-
- distribution (dist )
Q19 | Name the rule of inference( P ≡ q ) ≡ [ ( p . q ) v ( ̴P . ̴Q ) ]
- exportation ( e x p)-
- material equivalence ( equiv )-
- distribution (dist )
- material implication (impl)-
Q20 | Name the rule of inferencep ≡ ( p . p )
- material implication (impl)-
- commutation ( com )-
- tautology ( taut )-
- association (assoc )-
Q21 | ……………………………………. are defined as expressions which contain individualvariables and become propositions when their individual variables are replaced by individual constants
- truth-functions
- propositional functions
- quantifiers
- statement variables
Q22 | The process of obtaining a proposition from a propositional function bysubstituting a constant for a variable is called …………………………………
- quantification
- deduction
- instantiation
- generalization
Q23 | General propositions can be regarded as resulting from propositional functionsby a process called
- instantiation
- substitution
- deduction
- quantification
Q24 | The phrase ‘Given any x’ is called …………………………………….
- a propositional function
- a universal quantifier
- truth-function
- an existential quantifier
Q25 | Universal quantifier is symbolized as …………a) ‘(x)’ b) ′(∃x)’ c) ‘ X’ d) ‘ ∃x’ 116. The phrase ‘ there is at least one x such that’ is called ………………………………
- a universal quantifier
- a propositional function
- an existential quantifier
- truth-function