MCQOPTIONS
Saved Bookmarks
MCQOPTIONS
This section includes 657 Mcqs, each offering curated multiple-choice questions to sharpen your Testing Subject knowledge and support exam preparation. Choose a topic below to get started.
| 1. |
If (∃x ) Mx is true, then (∃x ) ̴Mx is ………………… |
| A. | true |
| B. | false |
| C. | true or false |
| D. | valid |
| Answer» D. valid | |
| 2. |
If (∃x ) Mx is true, then (x) Mx is ………………… |
| A. | false |
| B. | valid |
| C. | true |
| D. | true or false |
| Answer» E. | |
| 3. |
If (x) ̴Mx is false, then (∃x ) ̴Mx is ………………… |
| A. | true or false |
| B. | true |
| C. | false |
| D. | valid |
| Answer» B. true | |
| 4. |
If (x) ̴Mx is false, then (∃x) Mx is ………………… |
| A. | false |
| B. | valid |
| C. | true |
| D. | true or false |
| Answer» D. true or false | |
| 5. |
If (x) ̴Mx is true, then (∃x ) ̴Mx is ………………… |
| A. | valid |
| B. | true |
| C. | true or false |
| D. | false |
| Answer» C. true or false | |
| 6. |
If (x) ̴Mx is true, then (∃x) Mx is ………………… |
| A. | true or false |
| B. | false |
| C. | true |
| D. | valid |
| Answer» C. true | |
| 7. |
If (x) Mx is false, then (∃x ) ̴Mx is ………………………….. |
| A. | true |
| B. | valid |
| C. | false |
| D. | true or false |
| Answer» B. valid | |
| 8. |
If (x) Mx is false, then (∃x ) Mx is ………………….. |
| A. | true or false |
| B. | false |
| C. | valid |
| D. | true |
| Answer» B. false | |
| 9. |
If (x) Mx is false, then (x) ̴Mx is ………………… |
| A. | valid |
| B. | true |
| C. | true or false |
| D. | false |
| Answer» D. false | |
| 10. |
If (x) Mx is true, then (∃x ) ̴Mx is ………………………….. |
| A. | true or false |
| B. | true |
| C. | false |
| D. | valid |
| Answer» D. valid | |
| 11. |
If (x) Mx is true, then (∃x ) Mx is ………………….. |
| A. | false |
| B. | true |
| C. | valid |
| D. | true or false |
| Answer» C. valid | |
| 12. |
If (x) Mx is true, then (x) ̴Mx is ………………… |
| A. | true |
| B. | false |
| C. | true or false |
| D. | valid |
| Answer» C. true or false | |
| 13. |
The relation between the general propositions (∃x ) Mx and (∃x ) ̴Mx is ………… |
| A. | contrary |
| B. | sub altern |
| C. | sub contrary |
| D. | contradiction |
| Answer» D. contradiction | |
| 14. |
The relation between the general propositions (x) Mx and (x) ̴Mx is ……..……… |
| A. | sub contrary |
| B. | contradiction |
| C. | sub altern |
| D. | contrary |
| Answer» E. | |
| 15. |
The relation between the general propositions (x) ̴Mx and (∃x ) Mx is ………..…… |
| A. | contradiction |
| B. | sub contrary |
| C. | sub altern |
| D. | contrary |
| Answer» B. sub contrary | |
| 16. |
The relation between the general propositions (x) Mx and (∃x ) ̴Mx is …………… |
| A. | contrary |
| B. | contradiction |
| C. | sub contrary |
| D. | sub altern |
| Answer» C. sub contrary | |
| 17. |
The universal quantification of a propositional function is true if and only if ……... |
| A. | at least one substitution instance is true |
| B. | all of it’s substitution instances are false |
| C. | all of it’s substitution instances are true |
| D. | it has both true and false substitution instances |
| Answer» D. it has both true and false substitution instances | |
| 18. |
As per modern interpretation of traditional subject-predicate propositions,E and I propositions are ……………………………… |
| A. | contradictories |
| B. | sub alterns |
| C. | sub-contraries |
| D. | contraries |
| Answer» B. sub alterns | |
| 19. |
‘Some fruits are not ripe’ is symbolized as |
| A. | (x) ( f x Ͻ r x ) |
| B. | (x) ( f x Ͻ ̴r x ) |
| C. | ( ∃x ) ( f x . r x ) |
| D. | ( ∃x ) ( f x . ̴r x ) |
| Answer» E. | |
| 20. |
As per modern interpretation of traditional subject-predicate propositions,A and O propositions are ………………….. |
| A. | contraries |
| B. | sub-contraries |
| C. | sub alterns |
| D. | contradictories |
| Answer» E. | |
| 21. |
‘ All fruits are ripe’ is symbolized as |
| A. | ( ∃x ) ( f x . r x ) |
| B. | ( ∃x ) ( f x . ̴r x ) |
| C. | (x) ( f x Ͻ r x ) |
| D. | (x) ( f x Ͻ ̴r x ) |
| Answer» D. (x) ( f x Ͻ ̴r x ) | |
| 22. |
‘Some fruits are ripe’ is symbolized as |
| A. | ( ∃x ) ( f x . ̴r x ) |
| B. | ( ∃x ) ( f x . r x ) |
| C. | (x) ( f x Ͻ ̴r x ) |
| D. | (x) ( f x Ͻ r x ) |
| Answer» C. (x) ( f x Ͻ ̴r x ) | |
| 23. |
‘ No fruits are ripe ‘ is symbolized as |
| A. | (x) ( f x Ͻ r x ) |
| B. | ( ∃x ) ( f x . ̴r x ) |
| C. | (x) ( f x Ͻ ̴r x ) |
| D. | ( ∃x ) ( f x . r x ) |
| Answer» D. ( ∃x ) ( f x . r x ) | |
| 24. |
The negation of ( ∃x) M x is logically equivalent to ………………………. |
| A. | ( ∃x ) ̴m x |
| B. | (x) ̴m x |
| C. | ( ∃x ) m x |
| D. | (x) m x |
| Answer» C. ( ∃x ) m x | |
| 25. |
The negation of ( ∃x) ̴M x is logically equivalent to …………………. |
| A. | (x) m x |
| B. | ( ∃x ) ̴m x |
| C. | (x) ̴m x |
| D. | ( ∃x ) m x |
| Answer» B. ( ∃x ) ̴m x | |
| 26. |
The negation of (x) ̴M x is logically equivalent to………………………………. |
| A. | ( ∃x ) ̴m x |
| B. | (x) ̴m x |
| C. | (x) m x |
| D. | ( ∃x ) m x |
| Answer» E. | |
| 27. |
‘Something is not mortal’ is symbolized as |
| A. | (x) m x |
| B. | ( ∃x ) ̴m x |
| C. | ( ∃x ) m x |
| D. | (x) ̴m x |
| Answer» C. ( ∃x ) m x | |
| 28. |
‘ Nothing is mortal’ is symbolized as |
| A. | (x) ̴m x |
| B. | ( ∃x ) m x |
| C. | ( ∃x ) ̴m x |
| D. | (x) m x |
| Answer» B. ( ∃x ) m x | |
| 29. |
‘ Something is mortal’ is symbolized as |
| A. | (x) m x |
| B. | ( ∃x ) ̴m x |
| C. | (x) ̴m x |
| D. | ( ∃x ) m x |
| Answer» E. | |
| 30. |
‘Everything is mortal ‘ is symbolized as ………… |
| A. | ( ∃x ) ̴m x |
| B. | ( ∃x ) m x |
| C. | (x) m x |
| D. | (x) ̴m x |
| Answer» D. (x) ̴m x | |
| 31. |
An ‘existential quantifier’ is symbolized as , |
| A. | ‘ ∃x’ |
| B. | ‘(x)’ |
| C. | ‘ x’ |
| D. | ( ∃x ) |
| Answer» E. | |
| 32. |
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. | a universal quantifier |
| B. | a propositional function |
| C. | an existential quantifier |
| D. | truth-function |
| Answer» B. a propositional function | |
| 33. |
The phrase ‘Given any x’ is called ……………………………………. |
| A. | a propositional function |
| B. | a universal quantifier |
| C. | truth-function |
| D. | an existential quantifier |
| Answer» C. truth-function | |
| 34. |
General propositions can be regarded as resulting from propositional functionsby a process called |
| A. | instantiation |
| B. | substitution |
| C. | deduction |
| D. | quantification |
| Answer» E. | |
| 35. |
……………………………………. are defined as expressions which contain individualvariables and become propositions when their individual variables are replaced by individual constants |
| A. | truth-functions |
| B. | propositional functions |
| C. | quantifiers |
| D. | statement variables |
| Answer» C. quantifiers | |
| 36. |
The process of obtaining a proposition from a propositional function bysubstituting a constant for a variable is called ………………………………… |
| A. | quantification |
| B. | deduction |
| C. | instantiation |
| D. | generalization |
| Answer» D. generalization | |
| 37. |
Name the rule of inferencep ≡ ( p . p ) |
| A. | material implication (impl)- |
| B. | commutation ( com )- |
| C. | tautology ( taut )- |
| D. | association (assoc )- |
| Answer» D. association (assoc )- | |
| 38. |
Name the rule of inference( P ≡ q ) ≡ [ ( p . q ) v ( ̴P . ̴Q ) ] |
| A. | exportation ( e x p)- |
| B. | material equivalence ( equiv )- |
| C. | distribution (dist ) |
| D. | material implication (impl)- |
| Answer» C. distribution (dist ) | |
| 39. |
Name the rule of inference[ p .( q . r ) ] ≡ [ ( p . q ) . r ] |
| A. | exportation ( e x p)- |
| B. | de morgan’s theorems ( de m ) |
| C. | association (assoc )- |
| D. | distribution (dist ) |
| Answer» D. distribution (dist ) | |
| 40. |
Name the rule of inference ̴( P V Q) ≡ ( ̴P . ̴Q ) |
| A. | material implication (impl)- |
| B. | de morgan’s theorems ( de m ) |
| C. | exportation ( e x p)- |
| D. | distribution (dist ) |
| Answer» C. exportation ( e x p)- | |
| 41. |
Name the rule of inference( p . q ) ≡ ( q . p ) |
| A. | commutation ( com )- |
| B. | distribution (dist ) |
| C. | exportation ( e x p)- |
| D. | transposition (trans )- |
| Answer» B. distribution (dist ) | |
| 42. |
Name the rule of inference( P ≡ q ) ≡ [ ( p Ͻ q ) . ( q Ͻ p ) ] |
| A. | material implication (impl)- |
| B. | transposition (trans )- |
| C. | tautology |
| D. | material equivalence ( equiv )- 105. name the rule of inference |
| Answer» E. | |
| 43. |
Name the rule of inference( P Ͻ q ) ≡ ( ̴P v q ) |
| A. | material implication (impl)- |
| B. | transposition (trans )- |
| C. | material equivalence ( equiv )- |
| D. | exportation ( e x p)- |
| Answer» B. transposition (trans )- | |
| 44. |
Name the rule of inference( P Ͻ q ) ≡ ( ̴Q Ͻ ̴P ) |
| A. | double negation ( d .n )- |
| B. | tautology ( taut )- |
| C. | transposition (trans )- |
| D. | material equivalence ( equiv )- |
| Answer» D. material equivalence ( equiv )- | |
| 45. |
Name the rule of inferenceP ≡ ̴ ̴p |
| A. | transposition (trans )- |
| B. | material implication (impl)- |
| C. | double negation ( d .n )- |
| D. | tautology ( taut )- |
| Answer» D. tautology ( taut )- | |
| 46. |
Name the rule of inference[ p v( q v r ) ] ≡ [ ( p v q ) v r ] |
| A. | de morgan’s theorem ( de m ) |
| B. | distribution (dist ) |
| C. | association (assoc )- |
| D. | commutation ( com )- 100. name the rule of inference |
| Answer» D. commutation ( com )- 100. name the rule of inference | |
| 47. |
Name the rule of inference( p v q ) ≡ ( q v p ) |
| A. | commutation ( com )- |
| B. | de morgan’s theorem ( de m ) |
| C. | distribution (dist ) |
| D. | association (assoc )- |
| Answer» B. de morgan’s theorem ( de m ) | |
| 48. |
Name the rule of inference ̴( P . Q) ≡ ( ̴P V ̴Q) |
| A. | commutation ( com )- |
| B. | association (assoc )- |
| C. | de morgan’s theorem ( de m ) |
| D. | distribution (dist ) |
| Answer» D. distribution (dist ) | |
| 49. |
………………………… is defined as any argument that is a substitution instance of anelementary valid argument form |
| A. | an elementary valid argument |
| B. | formal proof |
| C. | tautology |
| D. | contradiction |
| Answer» B. formal proof | |
| 50. |
“ If a statement is false, then it implies any statement whatever” |
| A. | ̴p Ͻ (p Ͻ q) |
| B. | p Ͻ (p Ͻ q) |
| C. | ̴p Ͻ (q Ͻ p) |
| D. | p Ͻ (q Ͻ p) |
| Answer» B. p Ͻ (p Ͻ q) | |