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 modal statement?

  1. It is possible that it will rain tomorrow.

  2. It is necessary that the sun will rise tomorrow.

  3. It is obligatory that I pay my taxes.

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

A modal statement is a statement that contains a modal operator, such as 'possible', 'necessary', or 'obligatory'. Modal statements are used to make claims about what is possible, what is necessary, and what is obligatory.

Multiple choice

What is the necessity operator?

  1. The necessity operator is a modal operator that is used to express the idea that something is necessarily true.

  2. The necessity operator is a modal operator that is used to express the idea that something is possibly true.

  3. The necessity operator is a modal operator that is used to express the idea that something is obligatory.

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

The necessity operator is a modal operator that is used to express the idea that something is necessarily true. It is typically symbolized by the diamond symbol (◇).

Multiple choice

What is the possibility operator?

  1. The possibility operator is a modal operator that is used to express the idea that something is necessarily true.

  2. The possibility operator is a modal operator that is used to express the idea that something is possibly true.

  3. The possibility operator is a modal operator that is used to express the idea that something is obligatory.

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

The possibility operator is a modal operator that is used to express the idea that something is possibly true. It is typically symbolized by the box symbol (□).

Multiple choice

What is the deontic operator?

  1. The deontic operator is a modal operator that is used to express the idea that something is obligatory.

  2. The deontic operator is a modal operator that is used to express the idea that something is permitted.

  3. The deontic operator is a modal operator that is used to express the idea that something is forbidden.

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

The deontic operator is a modal operator that is used to express the idea that something is obligatory, permitted, or forbidden. It is typically symbolized by the letter 'O'.

Multiple choice

What is a predicate?

  1. A predicate is a property or relation that can be applied to an object.

  2. A predicate is a statement that is either true or false.

  3. A predicate is a symbol that represents a proposition.

  4. A predicate is a variable that can take on different values.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Predicates are used to make statements about objects.

Multiple choice

What is a quantifier?

  1. A quantifier is a symbol that indicates the number of objects that a predicate applies to.

  2. A quantifier is a symbol that indicates the truth value of a proposition.

  3. A quantifier is a symbol that represents a variable.

  4. A quantifier is a symbol that connects two propositions.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Quantifiers are used to make statements about the number of objects that have a certain property or that satisfy a certain condition.

Multiple choice

What is a logical connective?

  1. A logical connective is a symbol that connects two propositions.

  2. A logical connective is a symbol that indicates the truth value of a proposition.

  3. A logical connective is a symbol that represents a variable.

  4. A logical connective is a symbol that indicates the number of objects that a predicate applies to.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Logical connectives are used to build complex propositions from simpler ones.

Multiple choice

What are the most common logical connectives?

  1. And, or, not, and implication.

  2. And, or, not, and equivalence.

  3. And, or, not, and exclusion.

  4. And, or, not, and conjunction.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

These connectives are used to build complex propositions from simpler ones.

Multiple choice

What is a model of a proposition?

  1. A model of a proposition is an assignment of values to the variables of the proposition that makes the proposition true.

  2. A model of a proposition is an assignment of values to the variables of the proposition that makes the proposition false.

  3. A model of a proposition is an assignment of values to the variables of the proposition that makes the proposition sometimes true and sometimes false.

  4. A model of a proposition is an assignment of values to the variables of the proposition that makes the proposition true for some values and false for other values.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Models are used to determine whether a proposition is true or false.

Multiple choice

What is the satisfiability problem?

  1. The satisfiability problem is the problem of determining whether a proposition has a model.

  2. The satisfiability problem is the problem of determining whether a proposition is a tautology.

  3. The satisfiability problem is the problem of determining whether a proposition is a contradiction.

  4. The satisfiability problem is the problem of determining whether a proposition is true or false.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The satisfiability problem is a fundamental problem in computer science.

Multiple choice

What is the completeness theorem?

  1. The completeness theorem states that every proposition that is true in all models is a tautology.

  2. The completeness theorem states that every proposition that is false in all models is a contradiction.

  3. The completeness theorem states that every proposition that is true in some model is satisfiable.

  4. The completeness theorem states that every proposition that is false in some model is unsatisfiable.
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The completeness theorem is a fundamental result in predicate logic.

Multiple choice

What are the applications of predicate logic?

  1. Predicate logic is used in computer science to verify the correctness of software programs.

  2. Predicate logic is used in mathematics to prove theorems.

  3. Predicate logic is used in philosophy to analyze arguments.

  4. Predicate logic is used in linguistics to study the structure of natural languages.
Reveal answer Fill a bubble to check yourself
Correct answer
Explanation

Predicate logic is a powerful tool that has applications in many different fields.

Multiple choice

Which of the following is a type of modal operator?

  1. The necessity operator

  2. The possibility operator

  3. The alethic operator

  4. The deontic operator
Reveal answer Fill a bubble to check yourself
Correct answer
Explanation

The necessity operator, the possibility operator, the alethic operator, and the deontic operator are all types of modal operators.

Multiple choice

What is the name of the system of modal logic developed by Clarence Irving Lewis?

  1. S5

  2. T

  3. B

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

Clarence Irving Lewis developed the system of modal logic known as S5.

Multiple choice

Which of the following is a characteristic of the S5 system of modal logic?

  1. It is a normal modal logic

  2. It is a complete modal logic

  3. It is a decidable modal logic

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

The S5 system of modal logic is a normal, complete, and decidable modal logic.