Modern Symbolic Logic — Part 2 MCQs with Explanations

Invalid is the correct answer to “Examine the following argument and spot the right option. \[\begin{array}{*{20}{c}} {{\text{Argument:}}} \\ {} \\ {} \end{array}\begin{array}{*{20}{c}} {P \supset \left( {Q \vee R} \right)} \\ {\underline {S \supset \left( {T.U} \right) \vee T} } \\ {\therefore P \supset U} \end{array}\]”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Drawing affirmative conclusion from a negative premise is the correct answer to “No poets are managers. ∴ Some artists are poets. Some artists are managers. This syllogism involves the fallacy of”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

1, 2, 3 and 4 is the correct answer to “What all forms can be anything tautology, contingent and self contradictory. 1. Proposition 2. Propositional Form 3. Statement 4. Statement Form”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

None of these is the correct answer to “What is the symbol used for the equivalent statement? And what is it's form”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

if all of its substitution instances are true is the correct answer to “A statement form is said to be tautologous”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

∼ p ⊃ (q ⊃ p) and p ⊃ (q ⊃ p) is the correct answer to “What are the correct symbolisation of the paradoxes of material implication”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Formal is the correct answer to “When their is some problem in the argument form, than it is called . . . . . . . . fallacy.”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

1 and 4 is the correct answer to “Material implication is referred as 1. ⊃ 2. ⟶ 3. ∨ 4. • Select the correct answer:”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

a-4, b-3, c-1, d-2 is the correct answer to “Match the following. List-I List-II a. Universal Affirmative Proposition 1. Some men are wise. b. Universal Negative Proposition 2. Some students are not voters. c. Particular Affirmative Proposition 3. No men are immortal. d. Particular Negative Proposition 4. All men are mortal.”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

if p than q is the correct answer to “(p ⊃ q) is the symbolic form of conditional statement which means”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Fallacy is the correct answer to “Syllogism fail to establish conclusion In many different ways, Iogically it is said . . . . . . . .”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Implication is the correct answer to “Which one of the following is conditional”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

a-2, b-4, c-1, d-3 is the correct answer to “Match List-I with List-II and select the correct answer: List-I (Name of the logical equivalent) List-II (Form of logical equivalent) a. Commutation 1. (p ⊃ q) ≡ (∼ q ⊃ ∼ p) b. Distribution 2. (p ∨ q) ≡ (q ∨ p) c. Transposition 3. (p ⊃ q) ≡ (∼ p ∨ q) d. Material implication 4. [p ⋅ (q ∨ r)] ≡ [(p ⋅ q) ∨ (p ⋅ r)]”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

For all value of X is the correct answer to “How the Universal proposition is used”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

[∼ (p.q)] ≡ [(∼ p∨ ∼ q)] and [∼ (p ∨ q)] ≡ [(∼ p. ∼q)] is the correct answer to “Which one of the following expression is the correct form of Demorgan theorem”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

2 is the correct answer to “In the for (p ⊃ q) ∨ p. How many propositional variables are present”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Providing reason in support of any claim with evidence is the correct answer to “What do you understand by the word 'Argument'”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

2 is the argument form of 1 is the correct answer to “Consider the following argument and argument form 1. (A.B) ⊃ C (A.B) ∴ C 2. p ⊃ q p ∴ q Select the correct answer:”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Formal system is the correct answer to “In Logic, semantic completeness is regarded as the converse of soundness for”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

it is not the case that p is the correct answer to “Negation symbol (∼) used to state the value of ∼ p as”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Both 1 and 2 is the correct answer to “Exclusive disjunct holds 1. Atleast one of the disjunct is true 2. Atleast one of the disjunct is false”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Disjunctive is the correct answer to “Either we will eat pizza or icecream. What kind of statement is this”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

1, 2 and 3 is the correct answer to “What are the methods to do decision procedures? 1. Truth Table 2. Shorter Truth Table 3. Reduction ad Absurdum 4. Algorithm”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

a-1, b-2, c-3, d-4 is the correct answer to “Match the following: List-I List-II a. Universal instantiation 1. (x) (Qx) ∴ (Qv) b. Universal generalisation 2. Q y ∴ (x) (Qx) c. Existential instantiation 3. (∃x) (Qx) ∴ qu d. Existential generalisation 4. Q v ∴ (∃x) (Qx)”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Illicit major and Illicit minor is the correct answer to “Which combination of fallacies occur if the rule "Any term distributed in the conclusion must be distributed in the premises" is not followed.”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Tautology is the correct answer to “When we have the truth values in all the resulting table than it is called”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

All possible truth values is the correct answer to “Truth table is used to determine what”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Constructive Dilemma is the correct answer to “Consider the follwoing argument-form and identify the rule of inference involved in it from option given below.”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

particular proposition is the correct answer to “The phrase "there is at least one object(x) such that" is the auxillary form of”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Independent is the correct answer to “In axiomatic system, axiom is regarded as what”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Truth or falsity of its components of all cases is the correct answer to “A compound proposition's truth or falsity is unequivocally determined by whom”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Illicit minor is the correct answer to “No mathematicians are musicians. All mathematicians are scientists. ∴ No scientists are musicians. In this syllogism, there is a fallacy of”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

2 and 4 is the correct answer to “Consider the following statements 1. All valid arguments have only true premises. 2. A sound argument must be valid. 3. An argument with a false conclusion cannot be valid. 4. All arguments with true conclusion are valid. Which of the statements given above is/are correct”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Biconditional proposition is the correct answer to “Another name of material equivalence is what”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

1 and 2 is the correct answer to “A truth function is referred as 1. set of truth values. 2. infinite number of truth values. 3. finite number of truth values. 4. set of false values. Select the correct answer:”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Illicit minor is the correct answer to “$$\eqalign{ & {P_1} \to {\text{Some Spaniels are not good hunters}} \cr & {{\text{P}}_2} \to \underline {{\text{All Spaniels are gentle dogs}}} \cr & C \to \,\therefore \underline {{\text{No gentle dogs are good hunters}}} \cr} $$ This syllogism involves the fallacy of”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

p ⊃ p is the correct answer to “Which one to the following symbolic forms represents the principle of Identity correctly”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

False is the correct answer to “In the statement, if all the variables are false than it is called contingent statement.”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

9 is the correct answer to “How many rules of inference give formal proof of validity”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Exclusive premise is the correct answer to “No astrologers are scientists. Some scientists are not magicians. Some magicians are not astrologers. This syllogism involves the fallacy of”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.