Reasoning

Logic and Fallacies

1,716 Questions

Understand the fundamentals of propositional logic, logical inference rules, and paradoxes. This set includes identifying logical fallacies, including those found in classical Nyaya logic. Strong grasp of these concepts is crucial for scoring well in the reasoning sections of competitive tests.

Propositional logic modelsLogical inference rulesTypes of logical fallaciesParadoxes and contingent truthsNyaya logic concepts

Logic and Fallacies Questions

Multiple choice

Which of the following is a theorem of higher-order predicate logic?

  1. The law of identity

  2. The law of non-contradiction

  3. The law of the excluded middle

  4. All of the above
Reveal answer Fill a bubble to check yourself
D Correct answer
Explanation

The law of identity, the law of non-contradiction, and the law of the excluded middle are all theorems of higher-order predicate logic. These laws are fundamental principles of logic, and they are used to derive other logical truths.

Multiple choice

Which of the following is a valid inference rule in higher-order predicate logic?

  1. Modus ponens

  2. Modus tollens

  3. Hypothetical syllogism

  4. Disjunctive syllogism
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Modus ponens is a valid inference rule in higher-order predicate logic. It states that if you have a formula of the form P → Q, and you also have a formula of the form P, then you can infer a formula of the form Q. This rule is used to derive new formulas from given formulas.

Multiple choice

Which of the following is a decidable theory in higher-order predicate logic?

  1. Peano arithmetic

  2. Zermelo-Fraenkel set theory

  3. First-order predicate logic

  4. Second-order predicate logic
Reveal answer Fill a bubble to check yourself
C Correct answer
Explanation

First-order predicate logic is a decidable theory in higher-order predicate logic. This means that there is an algorithm that can determine whether or not a given formula in first-order predicate logic is true or false. Peano arithmetic, Zermelo-Fraenkel set theory, and second-order predicate logic are all undecidable theories.

Multiple choice

Which of the following is a limitation of higher-order predicate logic?

  1. It is undecidable.

  2. It is incomplete.

  3. It is inconsistent.

  4. It is too complex to be used in practice.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Higher-order predicate logic is undecidable. This means that there is no algorithm that can determine whether or not a given formula in higher-order predicate logic is true or false. This is a limitation of higher-order predicate logic, as it means that there are some questions that cannot be answered using higher-order predicate logic.

Multiple choice

Which of the following is an application of higher-order predicate logic?

  1. Formalizing mathematical theories

  2. Reasoning about computer programs

  3. Verifying hardware designs

  4. All of the above
Reveal answer Fill a bubble to check yourself
D Correct answer
Explanation

Higher-order predicate logic is used in a variety of applications, including formalizing mathematical theories, reasoning about computer programs, and verifying hardware designs. This is because higher-order predicate logic is a powerful tool for representing and reasoning about complex concepts.

Multiple choice

Which of the following is an example of a modal logic operator?

  1. ¬

  2. ∧

  3. □

  4. ∀
Reveal answer Fill a bubble to check yourself
C Correct answer
Explanation

□ is an example of a modal logic operator. It is the necessity operator, which is used to express that a proposition is true in all possible worlds.

Multiple choice

In the context of number theory, what is the significance of the concept of 'proof'?

  1. Establishing the validity of mathematical statements

  2. Providing a logical foundation for number theory

  3. Demonstrating the practical applications of number theory

  4. Verifying the accuracy of numerical calculations
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Proofs in number theory serve to establish the validity of mathematical statements, ensuring their logical consistency and correctness within the framework of accepted axioms and definitions.

Multiple choice

In predicate logic, what is the term used to represent a property or characteristic of an object?

  1. Predicate

  2. Subject

  3. Quantifier

  4. Constant
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

In predicate logic, a predicate is a term that expresses a property or characteristic of an object.

Multiple choice

What is the symbol used to represent the universal quantifier in predicate logic?

  1. ∀

  2. ∃

  3. ¬

  4. ∧
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The symbol ∀ is used to represent the universal quantifier in predicate logic.

Multiple choice

What is the symbol used to represent the existential quantifier in predicate logic?

  1. ∀

  2. ∃

  3. ¬

  4. ∧
Reveal answer Fill a bubble to check yourself
B Correct answer
Explanation

The symbol ∃ is used to represent the existential quantifier in predicate logic.

Multiple choice

Which of the following statements is a valid deduction from the premises "All squares have four sides" and "This shape has four sides"?

  1. This shape is a square.

  2. This shape is not a square.

  3. This shape has four corners.

  4. This shape is a rectangle.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The correct answer is "This shape is a square." This is a valid deduction because the premises establish that all squares have four sides and this shape has four sides. Therefore, it can be logically concluded that this shape is a square.

Multiple choice

Which of the following statements is a valid deduction from the premises "If I study hard, then I will pass the exam" and "I studied hard"?

  1. I will pass the exam.

  2. I will not pass the exam.

  3. I did not study hard.

  4. I am not sure if I will pass the exam.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The correct answer is "I will pass the exam." This is a valid deduction because the premises establish that if I study hard, then I will pass the exam, and I studied hard. Therefore, it can be logically concluded that I will pass the exam.

Multiple choice

Which of the following statements is a valid deduction from the premises "All triangles have three sides" and "This shape has three sides"?

  1. This shape is a triangle.

  2. This shape is not a triangle.

  3. All shapes with three sides are triangles.

  4. All triangles are shapes with three sides.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The correct answer is "This shape is a triangle." This is a valid deduction because the premises establish that all triangles have three sides and this shape has three sides. Therefore, it can be logically concluded that this shape is a triangle.

Multiple choice

Which of the following is an example of a formal operational child's hypothetical-deductive reasoning?

  1. Using trial and error to solve a problem

  2. Formulating hypotheses and testing them systematically

  3. Reversing the order of operations to solve a problem

  4. Using concrete objects to represent abstract concepts
Reveal answer Fill a bubble to check yourself
B Correct answer
Explanation

Hypothetical-deductive reasoning is a characteristic of the Formal Operational stage. Formal operational children can formulate hypotheses and test them systematically to solve problems and draw conclusions.

Multiple choice

Which of the following is an example of a formal operational child's hypothetical-deductive reasoning?

  1. Using trial and error to solve a problem

  2. Formulating hypotheses and testing them systematically

  3. Reversing the order of operations to solve a problem

  4. Using concrete objects to represent abstract concepts
Reveal answer Fill a bubble to check yourself
B Correct answer
Explanation

Hypothetical-deductive reasoning is a characteristic of the Formal Operational stage. Formal operational children can formulate hypotheses and test them systematically to solve problems and draw conclusions.