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

According to the truth-conditional theory of meaning, the meaning of a sentence is determined by:

  1. The truth value of the sentence

  2. The context in which the sentence is uttered

  3. The speaker's intention in uttering the sentence

  4. The hearer's interpretation of the sentence
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The truth-conditional theory of meaning states that the meaning of a sentence is determined by the conditions under which the sentence is true.

Multiple choice

Which of the following is NOT a type of linguistic meaning?

  1. Literal meaning

  2. Figurative meaning

  3. Connotative meaning

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

Connotative meaning is not a type of linguistic meaning. It is a type of psychological meaning.

Multiple choice

In First-Order Logic, a predicate is a function that maps a tuple of terms to a truth value.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A predicate in First-Order Logic is a property or relation that can be applied to a tuple of terms to determine its truth value.

Multiple choice

Which of the following is a valid quantifier in First-Order Logic?

  1. ∀

  2. ∃

  3. ¬

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

∀ (universal quantifier) and ∃ (existential quantifier) are valid quantifiers in First-Order Logic.

Multiple choice

The domain of discourse in First-Order Logic refers to the set of objects over which the variables in a formula can range.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The domain of discourse specifies the universe of objects that the variables in a formula can refer to.

Multiple choice

In First-Order Logic, a term can be a variable, a constant, or a function applied to other terms.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Terms in First-Order Logic represent objects or entities in the domain of discourse.

Multiple choice

The principle of universal generalization in First-Order Logic states that if a formula is true for all values of a variable in a domain, then it is universally true.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The principle of universal generalization allows us to infer a universally quantified formula from a formula that holds for all values of a variable.

Multiple choice

Which of the following is a logical connective in First-Order Logic?

  1. ∧

  2. ∨

  3. ¬

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

∧ (conjunction), ∨ (disjunction), and ¬ (negation) are logical connectives in First-Order Logic.

Multiple choice

In First-Order Logic, a well-formed formula (WFF) is a formula that is syntactically correct and follows the rules of the language.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A well-formed formula in First-Order Logic is a formula that is constructed according to the rules of the language.

Multiple choice

The satisfiability of a formula in First-Order Logic refers to the existence of an interpretation that makes the formula true.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A formula in First-Order Logic is satisfiable if there exists an interpretation that assigns truth values to its variables such that the formula evaluates to true.

Multiple choice

In First-Order Logic, a model of a formula is an interpretation that makes the formula true.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A model of a formula in First-Order Logic is an interpretation that assigns truth values to the variables in the formula such that the formula evaluates to true.

Multiple choice

The deductive closure of a set of formulas in First-Order Logic is the set of all formulas that can be derived from the given set using the rules of inference.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The deductive closure of a set of formulas in First-Order Logic is the set of all formulas that can be logically inferred from the given set.

Multiple choice

Which of the following is a rule of inference in First-Order Logic?

  1. Modus Ponens

  2. Universal Instantiation

  3. Existential Generalization

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

Modus Ponens is a rule of inference in First-Order Logic that allows us to infer a formula from two other formulas.

Multiple choice

In First-Order Logic, a theory is a set of formulas that is closed under the rules of inference.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A theory in First-Order Logic is a set of formulas that is deductively closed, meaning that all formulas that can be derived from the given set are also included in the theory.

Multiple choice

The completeness theorem for First-Order Logic states that every consistent theory has a model.

  1. True

  2. False
Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

The completeness theorem for First-Order Logic guarantees that if a theory is consistent, then there exists an interpretation that makes all the formulas in the theory true.