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
In propositional logic, a proposition is a statement that is either true or false, but not both.
A
Correct answer
Explanation
A proposition is a declarative statement that can be evaluated as either true or false, but not both simultaneously.
The symbol "¬" is used to denote which logical operator?
-
Conjunction
-
Disjunction
-
Negation
-
Implication
C
Correct answer
Explanation
The symbol "¬" is used to denote the negation operator, which changes the truth value of a proposition to its opposite.
The truth table for the logical operator "∧" (conjunction) is as follows:
-
P Q P ∧ Q
True True True
True False False
False True False
False False False
-
P Q P ∧ Q
True True False
True False True
False True True
False False True
-
P Q P ∧ Q
True True True
True False True
False True False
False False True
-
P Q P ∧ Q
True True False
True False False
False True True
False False False
A
Correct answer
Explanation
The truth table for conjunction shows that the result is true only when both operands are true.
The logical operator "∨" (disjunction) is also known as the:
-
Inclusive OR
-
Exclusive OR
-
Negation
-
Implication
A
Correct answer
Explanation
The disjunction operator "∨" is also known as the inclusive OR, which means that the result is true if either or both operands are true.
The truth table for the logical operator "→" (implication) is as follows:
-
P Q P → Q
True True True
True False False
False True True
False False True
-
P Q P → Q
True True False
True False True
False True False
False False True
-
P Q P → Q
True True True
True False True
False True True
False False False
-
P Q P → Q
True True False
True False False
False True True
False False False
A
Correct answer
Explanation
The truth table for implication shows that the result is false only when the antecedent is true and the consequent is false.
The logical operator "↔" (biconditional) is equivalent to which of the following compound propositions?
-
(P ∧ Q) ∨ (¬P ∧ ¬Q)
-
(P → Q) ∧ (Q → P)
-
(P ∨ Q) ∧ (¬P ∨ ¬Q)
-
(P ∧ ¬Q) ∨ (¬P ∧ Q)
B
Correct answer
Explanation
The biconditional operator "↔" is equivalent to the compound proposition (P → Q) ∧ (Q → P), which means that both the implication from P to Q and the implication from Q to P must be true.
In propositional logic, a tautology is a compound proposition that is always true, regardless of the truth values of its component propositions.
A
Correct answer
Explanation
A tautology is a compound proposition that is always true, regardless of the truth values of its component propositions.
The following proposition is an example of a tautology:
-
(P ∨ ¬P)
-
(P ∧ Q) → P
-
(P → Q) → ¬Q
-
(P ∨ Q) ∧ (¬P ∨ ¬Q)
A
Correct answer
Explanation
(P ∨ ¬P) is a tautology because it is always true, regardless of the truth value of P.
A contradiction is a compound proposition that is always false, regardless of the truth values of its component propositions.
A
Correct answer
Explanation
A contradiction is a compound proposition that is always false, regardless of the truth values of its component propositions.
The following proposition is an example of a contradiction:
-
(P ∧ ¬P)
-
(P → Q) → ¬Q
-
(P ∨ Q) ∧ (¬P ∨ ¬Q)
-
(P ∧ Q) → P
A
Correct answer
Explanation
(P ∧ ¬P) is a contradiction because it is always false, regardless of the truth value of P.
In propositional logic, a contingency is a compound proposition that is neither a tautology nor a contradiction.
A
Correct answer
Explanation
A contingency is a compound proposition that is neither a tautology nor a contradiction.
The following proposition is an example of a contingency:
-
(P ∨ ¬P)
-
(P ∧ Q) → P
-
(P → Q) → ¬Q
-
(P ∨ Q) ∧ (¬P ∨ ¬Q)
C
Correct answer
Explanation
(P → Q) → ¬Q is a contingency because its truth value depends on the truth values of P and Q.
The distributive law in propositional logic states that:
-
(P ∨ (Q ∧ R)) = (P ∨ Q) ∧ (P ∨ R)
-
(P ∧ (Q ∨ R)) = (P ∧ Q) ∨ (P ∧ R)
-
(P → (Q ∧ R)) = (P → Q) ∧ (P → R)
-
(P ∨ (Q → R)) = (P ∨ Q) → (P ∨ R)
B
Correct answer
Explanation
The distributive law in propositional logic states that (P ∧ (Q ∨ R)) = (P ∧ Q) ∨ (P ∧ R).
The associative law in propositional logic states that:
-
(P ∨ (Q ∨ R)) = (P ∨ Q) ∨ R
-
(P ∧ (Q ∧ R)) = (P ∧ Q) ∧ R
-
(P → (Q → R)) = (P → Q) → R
-
(P ∨ (Q → R)) = (P ∨ Q) → R
B
Correct answer
Explanation
The associative law in propositional logic states that (P ∧ (Q ∧ R)) = (P ∧ Q) ∧ R.
The De Morgan's laws in propositional logic state that:
-
¬(P ∨ Q) = ¬P ∨ ¬Q and ¬(P ∧ Q) = ¬P ∧ ¬Q
-
¬(P → Q) = P ∨ ¬Q and ¬(P ∧ Q) = P ∨ ¬Q
-
¬(P → Q) = ¬P ∧ Q and ¬(P ∧ Q) = ¬P ∨ Q
-
¬(P → Q) = P ∧ ¬Q and ¬(P ∧ Q) = ¬P ∨ ¬Q
A
Correct answer
Explanation
De Morgan's laws in propositional logic state that ¬(P ∨ Q) = ¬P ∨ ¬Q and ¬(P ∧ Q) = ¬P ∧ ¬Q.