Modern Symbolic Logic — Part 1 MCQs with Explanations

Statement Logic is the correct answer to “What is the other name of Propositional Logic”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

The construction of formulas is the correct answer to “Sentential connective is used in which”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

1, 2 and 3 is the correct answer to “Rules of inference are 1. applied when the main operators are in use. 2. nine in number. 3. applied only to entire statements. 4. not applied to entire statements. Select the correct answer:”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Classical deductive logic is the correct answer to “A consistent theory is essential for which logic”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Every statement is derivable is the correct answer to “An axiomatic system is called complete when”. 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. ∀ × Σ × P(x) ⟶ P(c) b. Universal generalisation 2. P(c) ⟶ ∀ × Σ × P(x) c. Existential quantification 3. ∃ × Σ × P(x) d. Axiomatic system 4. Consistency”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

q ∨ p is the correct answer to “Which one of the following is equivalent to ∼ P ⊃ ∼ ∼ q”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

1 and 3 is the correct answer to “Inclusive sense means 1. One disjunct are true. 2. Other disjunct are false. 3. Both disjunct are true. 4. Both disjunct are false. Select the correct answer:”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

True is the correct answer to “Fallacy of presumption is committed only when we make unnecessary dogmatic presumptions”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Modus tollends tollens is the correct answer to “What is the other name of Modus Tollens”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

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

Conjunction is the correct answer to “The dot (.) in the statement p.q is the connector used in the statements.”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Drawing an affirmative conclusion from a negative premise is the correct answer to “Some good actor are not powerful athletes. Therefore, all professional wrestlers are good actor. All professional wrestlers are powerful athlets. The syllogism involves the fallacy of”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

To interpret non-compound premise or compound is the correct answer to “Quantification helps in what”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

False is the correct answer to “If A and B are true statements and X and Y are false statements, the compound statement ∼ (A ∨ X) is”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Constructive Dilemma is the correct answer to “Which one of the following rules of inference is employed in the argument. [N ⊃ (O.P)] • [Q ⊃ (O.P)] N ∨ Q ∴ (O.P) ∨ (O.R)”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

connecting statements is the correct answer to “Conjunction function deal with . . . . . . . .”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

By assigning the 'True' truth value to the premises and 'False' truth value to the conclusion is the correct answer to “The invalidity of an argument can be proved through the shorter truth table technique in which of the following ways”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Neither true nor False is the correct answer to “What is the truth value of following statement? ''Why are you late"”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

a-3, b-4, c-1, d-2 is the correct answer to “Find the equivalence by matching List I with List II and select the correct answer: List-I List-II a. [(p.q) ⊃ r] ≡ 1. [(p ⊃ q) . (q ⊃ p)] b. [p ∨ (q.r)] ≡ 2. ∼ p ∨ q c. [(p ≡ q)] ≡ 3. [p ⊃ (q ⊃ r)] d. [p ⊃ q] ≡ 4. [(p ∨ q) . (p ∨ r)]”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

p ⊃ q is the correct answer to “The statement "p unless q" should not be translated as”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

∼ (p.q) ≡ ∼ (p ∨ q) is the correct answer to “Which one of the following is not the correct formulation of De morgan theorems”. 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. • 1. And b. ∨ 2. Either . . . . . . . . or .. c. ⊃ 3. Implication d. ≡ 4. Equivalence”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

∼ [F . G) ∨ ∼(E . N)] is the correct answer to “If E, F and G are true statements and M and N are false statements, which one of the following is false”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Existential fallacy is the correct answer to “Consider the syllogism below and identify the fallacy involved in it. All pets are domestic animals. No lions are domestic animals. Therefore, some lions are not pets.”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Logic is the correct answer to “Propositional Logic refers to which branch”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

False is the correct answer to “A consistent theory is a 'theory' full of contradictions”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Inconsistency is the correct answer to “What leads to the validity of an argument as valid, even if we take conclusion as false”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Existential fallacy is the correct answer to “Find out the fallacy committed in the syllogistic form AAI-1”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

invalid is the correct answer to “All events are things describable by philosophy All mental decisions are events. All mental decisions are things describable by philosophy The argument is”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

True is the correct answer to “According to rule of syllogism, anything distributed in the conclusion must be distributed in at least one premise. The statement is”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

q ⊃ ∼ P is the correct answer to “Which one of the following is equivalent of ∼ p ⊃ q”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Undistributed middle is the correct answer to “If the middle term is not distributed in any of the premises, then the syllogism becomes invalid and has the falllacy of”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

a-3, b-4, c-2, d-1 is the correct answer to “Match the following: List-I List-II a. Two or more meanings of a word or phrase are used accidently or deliberately. 1. Fallacy of division b. When the words are same but the lnterpretation of them are different in premise and conclusion. 2. Fallacy of composition c. Premise where arguer assumers that whole is sum total of its parts. 3. Fallacy of equivocation d. An argument where things are erroneously assign attributes to parts of a whole. 4. Fallacy of Amphiboly”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Fallacy of four terms is the correct answer to “Sometimes in an argument we use more terms than middle, major and minor and due to this argument, fails to prove it's validity. The fallacy in such a case will be”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

∼ (p ∨ q) ≡ (∼ p . ∼ q) is the correct answer to “Which one of the following forms represents 'De Morgans'”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

1 and 2 is the correct answer to “Propositional logic is referred as 1. statements logic. 2. proposition which join entire proposition. 3. argument logic. 4. proposition does not join entire proposition. Select the correct answer:”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

The true value of its constituents is the correct answer to “Truth function is dependent on what”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

p is false and q is true is the correct answer to “p.q', 'p ∨ q', 'p ⊃ q' and 'p ≡ q' are all true, only when”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.

Its truth value is true is the correct answer to “Given that p is true, both q and r are false, what can you tell about the truth value of ∼ [ p ≡ (q ⊃ r)] ⊃ ∼ [r ≡ (p ⊃ q)]”. This question is standard in competitive examination syllabi for Modern Symbolic Logic.