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

What is the negation of the statement (\forall x \in \mathbb{R}, x^2 \ge 0)?

  1. \(\exists x \in \mathbb{R}, x^2 < 0\)
  2. \(\neg \forall x \in \mathbb{R}, x^2 \ge 0\)
  3. \(\forall x \in \mathbb{R}, x^2 < 0\)
  4. \(\neg \exists x \in \mathbb{R}, x^2 \ge 0\)
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The negation of the statement (\forall x \in \mathbb{R}, x^2 \ge 0) is (\exists x \in \mathbb{R}, x^2 < 0) because it states that there exists at least one value of (x) in the domain (\mathbb{R}) such that (x^2 < 0).

Multiple choice

Which of the following is an example of a first-order logic statement?

  1. \(\forall x \in \mathbb{R}, x^2 \ge 0\)
  2. \(\exists x \in \mathbb{R}, x^2 < 0\)
  3. \(\sin x = 0\)
  4. \(x \in \mathbb{R}\)
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The statement (\forall x \in \mathbb{R}, x^2 \ge 0) is an example of a first-order logic statement because it contains quantifiers ((\forall) and (\in)) and predicate symbols ((x^2 \ge 0)).

Multiple choice

What is the purpose of the existential quantifier (\exists) in Predicate Logic?

  1. To indicate that a statement holds for all elements in a domain

  2. To indicate that a statement holds for some elements in a domain

  3. To negate a statement

  4. To imply a statement
Reveal answer Fill a bubble to check yourself
B Correct answer
Explanation

The existential quantifier (\exists) is used to indicate that a statement holds for some elements in a domain. It is also known as the "there exists" quantifier.

Multiple choice

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

Modus ponens is a valid inference rule in Predicate Logic that allows us to infer (B) from (A \rightarrow B) and (A).

Multiple choice

Which of the following is an example of a closed formula in Predicate Logic?

  1. \(\forall x \in \mathbb{R}, x^2 \ge 0\)
  2. \(\exists x \in \mathbb{R}, x^2 < 0\)
  3. \(\sin x = 0\)
  4. \(x \in \mathbb{R}\)
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The formula (\forall x \in \mathbb{R}, x^2 \ge 0) is an example of a closed formula in Predicate Logic because it contains no free variables.

Multiple choice

What is the purpose of the identity symbol (=) in Predicate Logic?

  1. To indicate that two terms are equal

  2. To indicate that two terms are different

  3. To negate a term

  4. To imply a term
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The identity symbol (=) is used to indicate that two terms are equal. It is also known as the equality symbol.

Multiple choice

Which of the following is an example of a valid argument in Predicate Logic?

  1. \(\forall x \in \mathbb{R}, x^2 \ge 0\)
  2. \(\exists x \in \mathbb{R}, x^2 < 0\)
  3. \(\neg \forall x \in \mathbb{R}, x^2 \ge 0\)
  4. \(\exists x \in \mathbb{R}, x^2 = -1\)
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The argument (\forall x \in \mathbb{R}, x^2 \ge 0) is a valid argument in Predicate Logic because it is true for all values of (x) in the domain (\mathbb{R}).

Multiple choice

What is the difference between a propositional variable and a predicate variable in Predicate Logic?

  1. Propositional variables represent statements, while predicate variables represent properties

  2. Propositional variables can be true or false, while predicate variables can be true, false, or undefined

  3. Propositional variables are used to form compound propositions, while predicate variables are used to form predicates

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

All of the above statements are true. Propositional variables represent statements, while predicate variables represent properties. Propositional variables can be true or false, while predicate variables can be true, false, or undefined. Propositional variables are used to form compound propositions, while predicate variables are used to form predicates.

Multiple choice

Which of the following is an example of a predicate in Predicate Logic?

  1. \(x \ge 0\)
  2. \(x + y = z\)
  3. \(\sin x = 0\)
  4. \(x \in \mathbb{R}\)
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The expression (x \ge 0) is an example of a predicate in Predicate Logic because it is a statement that can be either true or false depending on the value of (x).

Multiple choice

What are the two main types of Cy-Pres Doctrine?

  1. Express and Implied

  2. General and Specific

  3. Resulting and Constructive

  4. Active and Passive
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

There are two main types of Cy-Pres Doctrine: express and implied. Express Cy-Pres Doctrine is when the settlor of the trust explicitly states in the trust document that the court may modify the terms of the trust if necessary to achieve the settlor's original intent. Implied Cy-Pres Doctrine is when the court implies that the settlor would have wanted the court to modify the terms of the trust if necessary to achieve the settlor's original intent.

Multiple choice

Which of the following is a modal operator?

  1. ¬

  2. ∧

  3. ∨

  4. □
Reveal answer Fill a bubble to check yourself
D Correct answer
Explanation

□ is the modal operator for necessity.

Multiple choice

Which of the following is a valid argument form?

  1. Modus Ponens

  2. Modus Tollens

  3. Hypothetical Syllogism

  4. Disjunctive Syllogism

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

All of the options provided are valid argument forms in propositional logic.

Multiple choice

What is an enthymeme?

  1. An enthymeme is a deductive argument that has one or more premises suppressed.

  2. An enthymeme is an inductive argument that has one or more premises suppressed.

  3. An enthymeme is a type of logical fallacy.

  4. An enthymeme is a type of rhetorical device.

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

An enthymeme is a deductive argument in which one or more premises are suppressed, but are still implied by the argument.

Multiple choice

What is the difference between a logical fallacy and a valid argument?

  1. A logical fallacy is an argument that is based on false premises.

  2. A logical fallacy is an argument that is not valid.

  3. A logical fallacy is an argument that is persuasive but not necessarily true.

  4. A logical fallacy is an argument that is based on irrelevant evidence.

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

All of the options provided are correct differences between a logical fallacy and a valid argument.

Multiple choice

Which of the following is an example of a logical fallacy?

  1. Affirming the consequent

  2. Denying the antecedent

  3. Appeal to emotion

  4. Ad hominem

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

All of the options provided are examples of logical fallacies.