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 logical connective in predicate logic?

  1. And

  2. Or

  3. Not

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

A logical connective in predicate logic is a symbol that connects two or more formulas.

Multiple choice

Which of the following is a rule of inference in 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

A rule of inference in predicate logic is a rule that allows us to derive new formulas from given formulas.

Multiple choice

Which of the following is a proof in predicate logic?

  1. A sequence of formulas that starts with axioms and ends with a theorem

  2. A sequence of formulas that is valid

  3. A sequence of formulas that is sound

  4. A sequence of formulas that is complete
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A proof in predicate logic is a sequence of formulas that starts with axioms and ends with a theorem.

Multiple choice

Which of the following is a model in predicate logic?

  1. A set of objects and a set of relations on those objects

  2. A set of formulas that is consistent

  3. A set of formulas that is complete

  4. A set of formulas that is valid
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A model in predicate logic is a set of objects and a set of relations on those objects.

Multiple choice

Which of the following is a theorem in predicate logic?

  1. A formula that is true in every model

  2. A formula that is valid

  3. A formula that is sound

  4. A formula that is complete
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A theorem in predicate logic is a formula that is true in every model.

Multiple choice

Which of the following is a valid argument in predicate logic?

  1. An argument that has a true conclusion and true premises

  2. An argument that has a false conclusion and false premises

  3. An argument that has a true conclusion and false premises

  4. An argument that has a false conclusion and true premises
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A valid argument in predicate logic is an argument that has a true conclusion and true premises.

Multiple choice

Which of the following is a sound argument in predicate logic?

  1. An argument that has a true conclusion and true premises

  2. An argument that has a false conclusion and false premises

  3. An argument that has a true conclusion and false premises

  4. An argument that has a false conclusion and true premises
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A sound argument in predicate logic is an argument that has a true conclusion and true premises.

Multiple choice

Which of the following is a central concept in Modal Logic?

  1. Possible Worlds

  2. Propositional Variables

  3. Truth Tables

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

Modal Logic introduces the concept of possible worlds to represent different states of affairs or scenarios.

Multiple choice

What is the primary role of accessibility relations in Modal Logic?

  1. Defining the structure of possible worlds

  2. Determining the truth value of modal operators

  3. Representing logical connectives

  4. Evaluating the validity of arguments
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Accessibility relations define the connections between possible worlds, capturing the notion of reachability or accessibility.

Multiple choice

Which modal operator is used to express necessity in Modal Logic?

  1. $\square$
  2. $\diamondsuit$
  3. $\neg$
  4. $\rightarrow$
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The modal operator $\square$ is used to express necessity, indicating that a proposition holds true in all possible worlds.

Multiple choice

What is the dual of the necessity operator $\square$ in Modal Logic?

  1. $\diamondsuit$
  2. $\neg$
  3. $\rightarrow$
  4. $\lor$
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The dual of the necessity operator $\square$ is the possibility operator $\diamondsuit$, which expresses that a proposition holds true in at least one possible world.

Multiple choice

Which logical system is commonly used as the foundation for Modal Logic?

  1. Propositional Logic

  2. First-Order Logic

  3. Predicate Logic

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

Modal Logic typically builds upon the foundation of Propositional Logic, extending it with modal operators and the concept of possible worlds.

Multiple choice

Which modal logic system is commonly used for reasoning about obligations and permissions?

  1. Deontic Logic

  2. Alethic Modal Logic

  3. Epistemic Logic

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

Deontic Logic is a modal logic system specifically designed for reasoning about obligations, permissions, and other normative concepts. It provides operators for expressing statements about what is obligatory, permitted, or forbidden, allowing for the analysis of ethical and legal reasoning.

Multiple choice

Which modal logic system is commonly used for reasoning about actions and their effects?

  1. Dynamic Logic

  2. Epistemic Logic

  3. Deontic Logic

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

Dynamic Logic is a modal logic system specifically designed for reasoning about actions and their effects on the world. It provides operators for expressing statements about what is possible or necessary after performing certain actions, allowing for the analysis of the dynamic aspects of systems and the impact of actions on their states.

Multiple choice

Which of the following is an example of a semantic truth?

  1. The sky is blue.

  2. The sun is a star.

  3. The Earth is flat.

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

None of the statements listed are semantic truths. The sky is not always blue, the sun is not always a star, and the Earth is not flat.