121
76.1k

150+ Essentials of the Symbolic Logic Solved MCQs

These multiple-choice questions (MCQs) are designed to enhance your knowledge and understanding in the following areas: Bachelor of Arts in Philosophy (BA Philosophy) .

Take a Test
101.

An ‘existential quantifier’ is symbolized as ,

A. ‘ ∃x’
B. ‘(x)’
C. ‘ x’
D. ( ∃x )
Answer» D. ( ∃x )
discuss
102.

‘Everything is 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
discuss
103.

‘ Something 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
discuss
104.

‘ Nothing is mortal’ is symbolized as

A. (x) ̴m x
B. ( ∃x ) m x
C. ( ∃x ) ̴m x
D. (x) m x
Answer» A. (x) ̴m x
discuss
105.

‘Something is not 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
discuss
106.

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
discuss
107.

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» D. ( ∃x ) m x
discuss
108.

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» A. (x) m x
discuss
109.

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
discuss
110.

‘ 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» C. (x) ( f x Ͻ r x )
discuss
111.

‘ 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» C. (x) ( f x Ͻ ̴r x )
discuss
112.

‘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» B. ( ∃x ) ( f x . r x )
discuss
113.

‘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» D. ( ∃x ) ( f x . ̴r x )
discuss
114.

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» D. contradictories
discuss
115.

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» A. contradictories
discuss
116.

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» C. all of it’s substitution instances are true
discuss
117.

The relation between the general propositions (x) Mx and (∃x ) ̴Mx is ……………

A. contrary
B. contradiction
C. sub contrary
D. sub altern
Answer» B. contradiction
discuss
118.

The relation between the general propositions (x) ̴Mx and (∃x ) Mx is ………..……

A. contradiction
B. sub contrary
C. sub altern
D. contrary
Answer» A. contradiction
discuss
119.

The relation between the general propositions (x) Mx and (x) ̴Mx is ……..………

A. sub contrary
B. contradiction
C. sub altern
D. contrary
Answer» D. contrary
discuss
120.

The relation between the general propositions (∃x ) Mx and (∃x ) ̴Mx is …………

A. contrary
B. sub altern
C. sub contrary
D. contradiction
Answer» C. sub contrary
discuss
121.

If (x) Mx is true, then (x) ̴Mx is …………………

A. true
B. false
C. true or false
D. valid
Answer» B. false
discuss
122.

If (x) Mx is true, then (∃x ) Mx is …………………..

A. false
B. true
C. valid
D. true or false
Answer» B. true
discuss
123.

If (x) Mx is true, then (∃x ) ̴Mx is …………………………..

A. true or false
B. true
C. false
D. valid
Answer» C. false
discuss
124.

If (x) Mx is false, then (x) ̴Mx is …………………

A. valid
B. true
C. true or false
D. false
Answer» C. true or false
discuss
125.

If (x) Mx is false, then (∃x ) Mx is …………………..

A. true or false
B. false
C. valid
D. true
Answer» A. true or false
discuss
126.

If (x) Mx is false, then (∃x ) ̴Mx is …………………………..

A. true
B. valid
C. false
D. true or false
Answer» A. true
discuss
127.

If (x) ̴Mx is true, then (∃x) Mx is …………………

A. true or false
B. false
C. true
D. valid
Answer» B. false
discuss
128.

If (x) ̴Mx is true, then (∃x ) ̴Mx is …………………

A. valid
B. true
C. true or false
D. false
Answer» B. true
discuss
129.

If (x) ̴Mx is true, then (x) Mx is …………………

A. false
B. true or false
C. true
D. valid
Answer» A. false
discuss
130.

If (x) ̴Mx is false, then (x) Mx is …………………

A. true or false
B. true
C. valid
D. false
Answer» A. true or false
discuss
131.

If (x) ̴Mx is false, then (∃x) Mx is …………………

A. false
B. valid
C. true
D. true or false
Answer» C. true
discuss
132.

If (x) ̴Mx is false, then (∃x ) ̴Mx is …………………

A. true or false
B. true
C. false
D. valid
Answer» A. true or false
discuss
133.

If (∃x ) Mx is true, then (x) Mx is …………………

A. false
B. valid
C. true
D. true or false
Answer» D. true or false
discuss
134.

If (∃x ) Mx is true, then (x) ̴Mx is …………………

A. valid
B. true or false
C. false
D. true
Answer» C. false
discuss
135.

If (∃x ) Mx is true, then (∃x ) ̴Mx is …………………

A. true
B. false
C. true or false
D. valid
Answer» C. true or false
discuss
136.

If (∃x ) Mx is false, then (x) Mx is …………………

A. true or false
B. valid
C. true
D. false
Answer» D. false
discuss
137.

If (∃x ) Mx is false, then (x) ̴Mx is …………………

A. valid
B. false
C. true or false
D. true
Answer» D. true
discuss
138.

If (∃x ) Mx is false, then (∃x ) ̴Mx is …………………

A. true
B. true or false
C. valid
D. false
Answer» A. true
discuss
139.

If (∃x ) ̴Mx is true , then (x) Mx is …………………

A. false
B. true or false
C. valid
D. true
Answer» A. false
discuss
140.

If (∃x ) ̴Mx is true , then (x) ̴Mx is …………………

A. true
B. false
C. true or false
D. valid
Answer» C. true or false
discuss
141.

If (∃x ) ̴Mx is true, then (∃x ) Mx is …………………

A. valid
B. true or false
C. false
D. true
Answer» B. true or false
discuss
142.

If (∃x ) ̴Mx is false, then (x) Mx is …………………

A. true
B. true or false
C. valid
D. false
Answer» A. true
discuss
143.

If (∃x ) ̴Mx is false, then (x) ̴Mx is …………………

A. true
B. true
C. false
D. valid
Answer» C. false
discuss
144.

If (∃x ) ̴Mx is false, then (∃x ) Mx is …………………

A. true
B. false
C. valid
D. true or false
Answer» A. true
discuss
145.

If (x) ( H x Ͻ Mx ) is true, then (∃x ) ( H x . ̴Mx ) is …………………

A. true
B. true or false
C. false
D. valid
Answer» C. false
discuss
146.

If (x) ( H x Ͻ Mx ) is false , then (∃x ) ( H x . ̴Mx ) is …………………………

A. valid
B. true
C. true or false
D. false
Answer» B. true
discuss
147.

If (x) ( H x Ͻ ̴Mx) is true, then (∃x ) ( H x . Mx ) is……………………….

A. false
B. valid
C. true
D. true or false
Answer» A. false
discuss
148.

If (x) ( H x Ͻ ̴Mx ) is false , then (∃x ) ( H x . Mx ) is ……………………….

A. true or false
B. false
C. valid
D. true
Answer» D. true
discuss
149.

If (∃x ) ( H x . Mx ) is true, then (x) ( H x Ͻ ̴Mx ) is …………………

A. true
B. true or false
C. false
D. valid
Answer» C. false
discuss
150.

If (∃x ) ( H x . Mx ) is false , then (x) ( H x Ͻ ̴Mx ) is …………………

A. valid
B. true
C. true or false
D. false
Answer» B. true
discuss

Done Studing? Take A Test.

Great job completing your study session! Now it's time to put your knowledge to the test. Challenge yourself, see how much you've learned, and identify areas for improvement. Don’t worry, this is all part of the journey to mastery. Ready for the next step? Take a quiz to solidify what you've just studied.

Take a Test