Q. Obversion is a valid __________inference, when applied to any standard form categorical proposition.
β
Correct Answer: (B)
Immediate
Symbolic Logic MCQs and Notes
Q. An error in reasoning is called _________
β
Correct Answer: (C)
Fallacy
Q. _____________ is the process of obtaining a proposition from a propositional function by substituting a constant for the variable.
β
Correct Answer: (A)
Instantiation
Q. There is atleast one x such that x is mortal can be symbolized as
β
Correct Answer: (B)
(Ζx)Mx
Q. Universal quantifier is symbolized as
β
Correct Answer: (B)
(x)
Q. The weak implication symbolized by Ζ is called a
β
Correct Answer: (B)
Material implication
Q. In the conditional , the component statement that follows ‘then’ is called
β
Correct Answer: (B)
consequent
Q. The compound proposition in which the word ‘and’ is used to connect simple statements
β
Correct Answer: (C)
conjunction
Q. [(p . q) β r] is logically equivalent to which of the following
β
Correct Answer: (A)
p β (q β r)
Q. The statement form p β q is logically equivalent to
β
Correct Answer: (B)
~q β ~p