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 an example of a cause that is neither a necessary nor a sufficient condition?

  1. The presence of a spark for a fire to start

  2. The presence of fuel for a fire to start

  3. The presence of heat for a fire to start

  4. The presence of oxygen for a fire to start
Reveal answer Fill a bubble to check yourself
B Correct answer
Explanation

Fuel is neither a necessary nor a sufficient condition for a fire to start. A fire can start without fuel, if there is enough heat and a spark. A fire can also start with fuel, but it needs a spark and heat as well.

Multiple choice

What is the significance of mathematical logic in computer science?

  1. Developing formal specifications for software and hardware systems

  2. Reasoning about the correctness of algorithms and programs

  3. Both A and B

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

Mathematical logic plays a crucial role in computer science, enabling the development of formal specifications for software and hardware systems, and providing a framework for reasoning about the correctness of algorithms and programs.

Multiple choice

Which of the following is a implicational universal?

  1. If a language has a system of tense, then it also has a system of aspect.

  2. If a language has a system of aspect, then it also has a system of tense.

  3. If a language has a system of case, then it also has a system of tense.

  4. If a language has a system of tense, then it also has a system of case.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The implicational universal that if a language has a system of tense, then it also has a system of aspect is supported by a large amount of cross-linguistic evidence. This means that languages that have a system of tense typically also have a system of aspect.

Multiple choice

Which of the following is a logical universal?

  1. All languages have a concept of truth.

  2. All languages have a concept of falsity.

  3. All languages have a concept of contradiction.

  4. All languages have a concept of implication.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The logical universal that all languages have a concept of truth is supported by a large amount of cross-linguistic evidence. This means that all languages have some way of talking about what is true and what is false.

Multiple choice

Which logical connective represents the negation of a proposition?

  1. Conjunction

  2. Disjunction

  3. Negation

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

Negation is a logical connective that reverses the truth value of a proposition.

Multiple choice

Which mathematical concept refers to a statement that is assumed to be true without proof and serves as a starting point for deducing other statements?

  1. Axiom

  2. Theorem

  3. Hypothesis

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

An axiom is a statement that is assumed to be true without proof and serves as a starting point for deducing other statements.

Multiple choice

Which mathematical concept refers to a statement that can be proven to be true based on previously established axioms and theorems?

  1. Axiom

  2. Theorem

  3. Hypothesis

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

A theorem is a statement that can be proven to be true based on previously established axioms and theorems.

Multiple choice

Which mathematical concept refers to a statement that is proposed to be true but has not yet been proven or disproven?

  1. Axiom

  2. Theorem

  3. Hypothesis

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

A conjecture is a statement that is proposed to be true but has not yet been proven or disproven.

Multiple choice

Which mathematical concept refers to a mathematical statement that is assumed to be true until proven otherwise?

  1. Axiom

  2. Theorem

  3. Hypothesis

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

A hypothesis is a mathematical statement that is assumed to be true until proven otherwise.

Multiple choice

Which mathematical concept refers to a mathematical statement that has been proven to be false?

  1. Axiom

  2. Theorem

  3. Hypothesis

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

A conjecture is a mathematical statement that has been proven to be false.

Multiple choice

What is a counterfactual?

  1. A counterfactual is a statement that is true in one possible world but false in another possible world.

  2. A counterfactual is a statement that is false in one possible world but true in another possible world.

  3. A counterfactual is a statement that is true in all possible worlds.

  4. A counterfactual is a statement that is false in all possible worlds.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A counterfactual is a statement that is true in one possible world but false in another possible world. For example, the statement "If I had studied harder, I would have gotten a better grade" is a counterfactual because it is true in some possible worlds (e.g., the world in which I studied harder) but false in other possible worlds (e.g., the world in which I did not study harder).

Multiple choice

What is the verification principle?

  1. A statement is meaningful only if it can be verified through observation or logical proof.

  2. A statement is true if it corresponds to reality.

  3. A statement is false if it contradicts reality.

  4. A statement is meaningful if it can be expressed in a formal language.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The verification principle is a criterion for determining the meaningfulness of statements, particularly in the context of scientific theories.

Multiple choice

What is a possible world in modal logic?

  1. A complete and consistent set of propositions.

  2. A set of propositions that are true in the actual world.

  3. A set of propositions that are true in some world.

  4. A set of propositions that are true in all worlds.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A possible world is a complete and consistent set of propositions, meaning that it contains all the propositions that are true in that world and no propositions that are false in that world.

Multiple choice

What is the necessity operator in modal logic?

  1. A unary operator that is used to express that a proposition is true in all possible worlds.

  2. A unary operator that is used to express that a proposition is true in some possible world.

  3. A binary operator that is used to express that a proposition is true in the actual world.

  4. A binary operator that is used to express that a proposition is true in some possible world.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The necessity operator is a unary operator that is used to express that a proposition is true in all possible worlds. It is typically symbolized by the diamond symbol (◇).

Multiple choice

What is the possibility operator in modal logic?

  1. A unary operator that is used to express that a proposition is true in all possible worlds.

  2. A unary operator that is used to express that a proposition is true in some possible world.

  3. A binary operator that is used to express that a proposition is true in the actual world.

  4. A binary operator that is used to express that a proposition is true in some possible world.
Reveal answer Fill a bubble to check yourself
B Correct answer
Explanation

The possibility operator is a unary operator that is used to express that a proposition is true in some possible world. It is typically symbolized by the box symbol (□).