On This Page

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

Q1 | ‘ q if p ‘ is symbolized as……………………………….
  • ‘q Ͻ p’
  • ‘p ≡ q’
  • ‘p v q’
  • ’ p Ͻ q ‘
Q2 | “p only if q “ is symbolized as ……………………….
  • ‘p ≡ q’
  • ‘ p Ͻ q ‘
  • ‘q Ͻ p’
  • ‘p v q’
Q3 | ’ The conjunction of p with the disjunction of q with r’, is symbolized as …….
  • ( p vq ) . r
  • ( p . q ) v r
  • p . ( q v r )
  • p v ( q . r )
Q4 | ‘The disjunction whose first disjunct is the conjunction of p and q and whosesecond disjunct is r ‘ is symbolized as ………………………..
  • p v ( q . r )
  • ( p vq ) . r
  • p . ( q v r )
  • ( p . q ) v r
Q5 | The negaton of A V B is symbolized as ………………
  • A v B
  • ( A V B )
  • A V B
  • A V B
Q6 | ‘ A and B will not both be selected ’ is symbolized as ………………………..
  • ( A . B )
  • A v B
  • A V B
  • A . B
Q7 | Ramesh and Dinesh will both not be elected.
  • A V B
  • A . B
  • ( A . B )
  • A v B
Q8 | An argument can be proved invalid by constructing another argument of thesame form with …………………….
  • false premises and false conclusion
  • true premises and false conclusion
  • true premises and true conclusion
  • false premises and true conclusion
Q9 | …………………………… 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 samestatement variable throughout – the result is an argument
  • specific statement form
  • A statement form
  • An argument form
  • An argument
Q10 | Any argument that results from the substitution of statements for statementvariables in an argument form is called ………………………………
  • invalid argument
  • valid argument
  • the specific form
  • a “ substitution instance” of that argument form
Q11 | In case an argument is produced by substituting a different simple statement foreach different statement variable in an argument form, that argument form is called ……………………
  • the “specific form” of that argument
  • a “ substitution instance” of that argument form
  • valid argument
  • invalid argument
Q12 | If the specific form of a given argument has any substitution instance whosepremises are true and whose conclusion is false, then the given argument is.
  • valid
  • invalid
  • valid or invalid
  • sound
Q13 | Refutation by logical analogy is based on the fact that any argument whosespecific form is an invalid argument form is ………………………..
  • sound
  • a contradiction
  • an invalid argument.
  • a valid argument
Q14 | ’statement form from which the statement results by substituting a differentsimple statement for each different statement variable’ is called ……………………..
  • the specific form of a given argument
  • tautology
  • contradiction
  • the specific form of a given statement
Q15 | A statement form that has only true substitution instances is called……………………
  • a “ tautologous statement form “ or a “ tautology”
  • a self-contradictory statement form or contradiction
  • A contingent statement form
  • specific statement form
Q16 | 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
Q17 | Two statements are ………………… when their material equivalence is a tautology
  • self-contradictory
  • contingent
  • logically equivalent
  • materially implying
Q18 | …………………. statements have the same meaning and may be substituted for oneanother
  • Materially equivalent
  • Logically equivalent
  • Tautologous
  • self-contradictory
Q19 | p v q) is logically equivalent to ………………………………..
  • p . q
  • p v q
  • p v q
  • p v q
Q20 | 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
Q21 | “ If a statement is false, then it implies any statement whatever”
  • p Ͻ (P Ͻ q)
  • p Ͻ (p Ͻ q)
  • p Ͻ (q Ͻ p)
  • p Ͻ (q Ͻ p)