On This Page

This set of Symbolic Logic Multiple Choice Questions & Answers (MCQs) focuses on Symbolic Logic Set 11

Q1 | The rule of Absorption (Abs) is symbolized as
  • p.q
  • P Ͻ q
  • p
  • p
Q2 | The rule of Simplification (Simp) is symbolized as
  • P Ͻ q
  • P . q
  • P
  • p
Q3 | The rule of Addition is symbolized as
  • p
  • p
  • P
  • p . q
Q4 | The rule of Conjunction (Conj) is symbolized as
  • p . q
  • p
  • p
  • P
Q5 | Name the rule of inference P . Q) ≡ P V Q)
  • Commutation ( Com )-
  • Association (Assoc )-
  • De Morgan’s Theorem De M )
  • Distribution Dist )
Q6 | Name the rule of inference p v q ) ≡ q v p )
  • Commutation ( Com )-
  • De Morgan’s Theorem De M )
  • Distribution (Dist )
  • Association (Assoc )-
Q7 | 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 )-
Q8 | Name the rule of inference[ p . q v r ) ] ≡ [ p . q ) v p. r) ]
  • Association (Assoc )-
  • Distribution (Dist )
  • De Morgan’s Theorem De M )
  • Commutation Com )
Q9 | Name the rule of inferenceP ≡ p
  • Transposition (Trans )-
  • Material Implication (Impl)-
  • Double Negation ( D .N )-
  • Tautology ( Taut )-
Q10 | Name the rule of inference( P Ͻ q ) ≡ Q Ͻ P )
  • Double Negation ( D .N )-
  • Tautology ( Taut )-
  • Transposition (Trans )-
  • Material Equivalence ( Equiv )-
Q11 | Name the rule of inference( P Ͻ q ) ≡ P v q )
  • Material Implication (Impl)-
  • Transposition (Trans )-
  • Material Equivalence ( Equiv )-
  • Exportation ( E x p)-
Q12 | Name the rule of inference P ≡ q ) ≡ [ p Ͻ q ) . ( q Ͻ p ) ]
  • Material Implication (Impl)-
  • Transposition (Trans )-
  • Tautology
  • Material Equivalence ( Equiv )-
Q13 | Name the rule of inference[ (P . Q ) Ͻ r ) ] ≡ [ p Ͻ ( q Ͻ r ) ]
  • Transposition (Trans )-
  • Material Equivalence ( Equiv )-
  • Material Implication (Impl)-
  • Exportation ( E x p)-
Q14 | 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 )
Q15 | Name the rule of inference p . q ) ≡ q . p )
  • Commutation ( Com )-
  • Distribution (Dist )
  • Exportation ( E x p)-
  • Transposition (Trans )-
Q16 | 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 )
Q17 | Name the rule of inference P ≡ q ) ≡ [ p . q ) v P . Q ) ]
  • Exportation ( E x p)-
  • Material Equivalence ( Equiv )-
  • Distribution (Dist )
  • Material Implication (Impl)-
Q18 | Name the rule of inferencep ≡ p . p )
  • Material Implication (Impl)-
  • Commutation ( Com )-
  • Tautology ( Taut )-
  • Association (Assoc )-
Q19 | The process of obtaining a proposition from a propositional function bysubstituting a constant for a variable is called …………………………………
  • quantification
  • deduction
  • instantiation
  • generalization
Q20 | General propositions can be regarded as resulting from propositional functionsby a process called
  • instantiation
  • substitution
  • deduction
  • quantification
Q21 | The phrase ‘Given any x’ is called …………………………………….
  • a propositional function
  • a universal quantifier
  • truth-function
  • an existential quantifier
Q22 | Universal quantifier is symbolized as …………
  • ‘ x)’
  • ′ ∃x)’
  • ‘ X’
  • ‘ ∃x’
Q23 | The phrase ‘ there is at least one x such that’ is called ………………………………
  • a universal quantifier
  • a propositional function
  • an existential quantifier
  • truth-function
Q24 | An ‘existential quantifier’ is symbolized as ,
  • ‘ ∃x’
  • ‘ x)’
  • ‘ X’
  • ( ∃x )