Reasoning
Logic and Fallacies
1,803 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 valid inference rule in epistemic logic?
-
\(K(p) \rightarrow K(K(p))\)
-
\(K(p) \rightarrow p\)
-
\(K(p) \wedge K(q) \rightarrow K(p \wedge q)\)
-
\(K(p) \vee K(q) \rightarrow K(p \vee q)\)
A
Correct answer
Explanation
The inference rule (K(p) \rightarrow K(K(p))) is known as the rule of positive introspection. It states that if an agent knows something, then they also know that they know it. This rule is valid in epistemic logic because it is a fundamental property of knowledge that we are aware of what we know.
What is the formula for the law of necessitation?
-
$ \vdash \phi \rightarrow \Box \phi $
-
$ \vdash \Box \phi \rightarrow \phi $
-
$ \vdash \phi \rightarrow \Diamond \phi $
-
$ \vdash \Diamond \phi \rightarrow \phi $
A
Correct answer
Explanation
The law of necessitation states that if a formula is provable, then its necessity is also provable.
What is the formula for the law of distribution of disjunction over necessity?
-
$ \Box (\phi \wedge \psi) \leftrightarrow \Box \phi \wedge \Box \psi $
-
$ \Box (\phi \vee \psi) \leftrightarrow \Box \phi \vee \Box \psi $
-
$ \Diamond (\phi \wedge \psi) \leftrightarrow \Diamond \phi \wedge \Diamond \psi $
-
$ \Diamond (\phi \vee \psi) \leftrightarrow \Diamond \phi \vee \Diamond \psi $
B
Correct answer
Explanation
The law of distribution of disjunction over necessity states that the necessity of a disjunction is equivalent to the disjunction of the necessities.
What is the formula for the axiom of reflexivity for belief?
-
$ \vdash B\phi \rightarrow \phi $
-
$ \vdash \phi \rightarrow B\phi $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
A
Correct answer
Explanation
The axiom of reflexivity for belief states that if an agent believes a proposition, then the proposition is true.
What is the formula for the axiom of positive introspection for belief?
-
$ \vdash B\phi \rightarrow B B\phi $
-
$ \vdash B B\phi \rightarrow B\phi $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
A
Correct answer
Explanation
The axiom of positive introspection for belief states that if an agent believes a proposition, then the agent believes that they believe the proposition.
What is the formula for the axiom of negative introspection for belief?
-
$ \vdash B\phi \rightarrow B B\phi $
-
$ \vdash B B\phi \rightarrow B\phi $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
Correct answer
Explanation
The axiom of negative introspection for belief states that if an agent does not believe a proposition, then the agent believes that they do not believe the proposition.
What is the formula for the rule of necessitation for belief?
-
$ \vdash B\phi \rightarrow B \Box B\phi $
-
$ \vdash B \Box B\phi \rightarrow B\phi $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
A
Correct answer
Explanation
The rule of necessitation for belief states that if an agent believes a proposition, then the agent believes that it is necessary that they believe the proposition.
What is the formula for the rule of distribution of belief over conjunction?
-
$ \vdash B(\phi \wedge \psi) \leftrightarrow (B\phi \wedge B\psi) $
-
$ \vdash B(\phi \vee \psi) \leftrightarrow (B\phi \vee B\psi) $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
A
Correct answer
Explanation
The rule of distribution of belief over conjunction states that an agent believes a conjunction if and only if the agent believes both conjuncts.
What is the formula for the rule of distribution of belief over disjunction?
-
$ \vdash B(\phi \wedge \psi) \leftrightarrow (B\phi \wedge B\psi) $
-
$ \vdash B(\phi \vee \psi) \leftrightarrow (B\phi \vee B\psi) $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
B
Correct answer
Explanation
The rule of distribution of belief over disjunction states that an agent believes a disjunction if and only if the agent believes at least one disjunct.
What is the formula for the rule of generalization for belief?
-
$ \vdash B\phi \rightarrow B \forall x \phi $
-
$ \vdash B \forall x \phi \rightarrow B\phi $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
A
Correct answer
Explanation
The rule of generalization for belief states that if an agent believes a proposition, then the agent believes the universal generalization of that proposition.
What is the formula for the rule of instantiation for belief?
-
$ \vdash B\forall x \phi \rightarrow B\phi [t/x] $
-
$ \vdash B\phi [t/x] \rightarrow B\forall x \phi $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
A
Correct answer
Explanation
The rule of instantiation for belief states that if an agent believes a universal generalization, then the agent believes the instance of that generalization obtained by substituting any term for the variable.
What is the formula for the rule of modus ponens for belief?
-
$ \vdash B(\phi \rightarrow \psi) \wedge B\phi \rightarrow B\psi $
-
$ \vdash B(\phi \rightarrow \psi) \wedge B\psi \rightarrow B\phi $
-
$ \vdash \Diamond B\phi \rightarrow B\phi $
-
$ \vdash B\phi \rightarrow \Diamond B\phi $
A
Correct answer
Explanation
The rule of modus ponens for belief states that if an agent believes a conditional proposition and the antecedent of that proposition, then the agent believes the consequent of that proposition.
What are some examples of the principle of identity?
-
A book is a book.
-
A tree is a tree.
-
A person is a person.
-
All of the above.
D
Correct answer
Explanation
The principle of identity states that everything is identical to itself. This means that a book is a book, a tree is a tree, and a person is a person.
What is the opposite of the principle of identity?
-
The principle of contradiction
-
The principle of the excluded middle
-
The principle of non-identity
-
None of the above
C
Correct answer
Explanation
The opposite of the principle of identity is the principle of non-identity. The principle of non-identity states that something can be both itself and something else at the same time and in the same respect.
Which of the following is a central concept in epistemic logic?
-
Knowledge operator
-
Belief operator
-
Common knowledge operator
-
All of the above
D
Correct answer
Explanation
Epistemic logic uses various operators to represent knowledge, belief, and common knowledge.