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
Which of the following is a propositional logic connective?
A
Correct answer
Explanation
Propositional logic connectives are symbols that connect propositional logic statements together.
Which of the following is a predicate logic quantifier?
A
Correct answer
Explanation
Predicate logic quantifiers are symbols that specify the range of values that a variable can take.
Which of the following is a propositional logic fallacy?
-
Affirming the consequent
-
Denying the antecedent
-
Modus ponens
-
Modus tollens
A
Correct answer
Explanation
Propositional logic fallacies are arguments that are not logically valid.
Which of the following is a predicate logic fallacy?
-
Existential fallacy
-
Universal fallacy
-
Categorical syllogism
-
Hypothetical syllogism
A
Correct answer
Explanation
Predicate logic fallacies are arguments that are not logically valid.
Which of the following is a propositional logic theorem?
-
De Morgan's laws
-
Distributive law
-
Associative law
-
Commutative law
A
Correct answer
Explanation
Propositional logic theorems are statements that are true in all cases.
Which of the following is a predicate logic theorem?
-
Universal instantiation
-
Universal generalization
-
Existential instantiation
-
Existential generalization
A
Correct answer
Explanation
Predicate logic theorems are statements that are true in all cases.
Which of the following is a propositional logic model?
-
Truth table
-
Venn diagram
-
Syllogism
-
Proof
A
Correct answer
Explanation
Propositional logic models are representations of propositional logic statements that allow us to determine their truth values.
Which of the following is a predicate logic model?
-
First-order structure
-
Interpretation
-
Model theory
-
Proof theory
A
Correct answer
Explanation
Predicate logic models are representations of predicate logic statements that allow us to determine their truth values.
Which of the following is a propositional logic proof system?
-
Natural deduction
-
Axiomatic system
-
Resolution
-
Tableau
A
Correct answer
Explanation
Propositional logic proof systems are systems of rules that allow us to derive new propositional logic statements from given propositional logic statements.
Which of the following is a predicate logic proof system?
-
First-order logic
-
Second-order logic
-
Modal logic
-
Intuitionistic logic
A
Correct answer
Explanation
Predicate logic proof systems are systems of rules that allow us to derive new predicate logic statements from given predicate logic statements.
Which of the following is a propositional logic application?
-
Computer science
-
Mathematics
-
Philosophy
-
All of the above
D
Correct answer
Explanation
Propositional logic has applications in computer science, mathematics, and philosophy.
Which of the following is a predicate logic application?
-
Computer science
-
Mathematics
-
Philosophy
-
All of the above
D
Correct answer
Explanation
Predicate logic has applications in computer science, mathematics, and philosophy.
Which of the following is a central concept in epistemic logic?
-
Propositional attitudes
-
Syllogistic reasoning
-
Deductive arguments
-
Modal operators
A
Correct answer
Explanation
Propositional attitudes, such as knowledge, belief, and doubt, are central concepts in epistemic logic, as they allow us to express and reason about the mental states of agents.
What is the most common type of modal operator used in epistemic logic?
-
The necessity operator (□)
-
The possibility operator (◇)
-
The knowledge operator (K)
-
The belief operator (B)
C
Correct answer
Explanation
The knowledge operator (K) is the most commonly used modal operator in epistemic logic. It is used to express statements about what an agent knows.
What is the closure condition in epistemic logic?
-
The condition that knowledge is closed under logical consequence
-
The condition that knowledge is closed under deductive arguments
-
The condition that knowledge is closed under syllogistic reasoning
-
The condition that knowledge is closed under modal operators
A
Correct answer
Explanation
The closure condition in epistemic logic states that if an agent knows a proposition, then they also know all of its logical consequences. This means that if an agent knows that A, then they also know that A implies B, and so on.