🏠 Homepage 📘 Download PDF Books 📕 Premium PDF Books

Mathematical Logic Quiz 1 (10 MCQs)

This set of multiple-choice questions evaluates understanding of conditional logic, contrapositive reasoning, and logical argument forms. It covers conditional statements, logical equivalence, and the identification of logical fallacies such as ad populum. The material also tests knowledge of equality properties and logical implications, including the transitive property.

Quiz Instructions

Select an option to see the correct answer instantly.

1. Which is the correct if-then statement for: "you will be late to school if you miss the bus."

Correct Answer: Correct answer is: (B) If you miss the bus, then you will be late to school.

Exam Relevance: SAT, ACT, GRE, GMAT

Difficulty: Easy

Concept notes: In mathematical logic, an if-then statement (conditional statement) is structured as "if p, then q," where p is the hypothesis and q is the conclusion. The hypothesis is the condition that must be met, and the conclusion is the result of that condition.

Common Mistakes: A common mistake is to confuse the hypothesis and the conclusion, leading to the incorrect statement "If you are late to school, then you will miss the bus."

Explanations: The correct if-then statement for "you will be late to school if you miss the bus" is "If you miss the bus, then you will be late to school." Here, "you miss the bus" is the hypothesis (p), and "you will be late to school" is the conclusion (q).

Option Analysis:

Option A: This option incorrectly reverses the hypothesis and the conclusion, making it logically incorrect.
Option B: This option correctly identifies the hypothesis and the conclusion, making it the correct if-then statement.

2. Which law is correct for the below statement:If two angles form a linear pair, then they are supplementary.Two angles are not supplementary.Therefore they do not form a linear pair.

Correct Answer: Correct answer is: (B) Law of Contrapositive.

Exam Relevance: GRE, GMAT, LSAT, SAT

Difficulty: Moderate

Concept notes: The Law of Contrapositive states that if a conditional statement is true, then its contrapositive is also true. The contrapositive of a statement "If P, then Q" is "If not Q, then not P."

Common Mistakes: A common mistake is confusing the Law of Contrapositive with the Law of Syllogism or the Law of Detachment. The Law of Syllogism involves a chain of conditional statements, while the Law of Detachment involves a single conditional statement and its hypothesis.

Explanations: The given statement "If two angles form a linear pair, then they are supplementary" can be written as "If P, then Q." The contrapositive of this statement is "If two angles are not supplementary, then they do not form a linear pair." This matches the given statement "Two angles are not supplementary. Therefore, they do not form a linear pair." Hence, the Law of Contrapositive is the correct law.

Option Analysis:

Option A: The Law of Syllogism involves a chain of conditional statements, which is not applicable here.
Option B: The Law of Contrapositive correctly applies to the given statement.
Option C: The Law of Detachment involves a single conditional statement and its hypothesis, which is not applicable here.
Option D: "Law of the land" is not a logical law and is irrelevant to the problem.

3. Since sugary caffeinated drinks are loved by many kids, we should have them in a vending machine at school. What sort of logical fallacy is this?

Correct Answer: Correct answer is: (D) Ad populum.

Exam Relevance: GRE, LSAT, GMAT, SAT

Difficulty: Moderate

Concept notes: The logical fallacy "Ad populum" (appeal to popularity) occurs when an argument is deemed valid or true because it is popular or widely believed. In this case, the argument suggests that sugary caffeinated drinks should be in a vending machine at school because many kids love them, which is an appeal to popularity.

Common Mistakes: A common mistake is to confuse "Ad populum" with other fallacies like "Ad hominem" (attacking the person rather than the argument) or "Slippery slope" (arguing that one event will lead to another without sufficient evidence).

Explanations: The argument that sugary caffeinated drinks should be in a vending machine at school because many kids love them is an example of "Ad populum." This fallacy assumes that something is correct or should be done simply because it is popular or widely desired. The popularity of the drinks does not necessarily justify their presence in the vending machine.

Option Analysis:

Option A: Ad hominem is incorrect because it involves attacking the person rather than the argument. The argument does not attack anyone.
Option B: Slippery slope is incorrect because it involves a chain of events leading to an extreme outcome without sufficient evidence. The argument does not suggest a chain of events.
Option C: Deductive is incorrect because it refers to a form of logical reasoning, not a fallacy. The argument is not a valid form of deductive reasoning.
Option D: Ad populum is correct because the argument appeals to the popularity of sugary caffeinated drinks among kids to justify their presence in the vending machine.

4. "If I'm old, then I'm wise."Which represents q, the conclusion?

Correct Answer: Correct answer is: (D) I'm wise.

Exam Relevance: GRE, GMAT, LSAT, SAT

Difficulty: Easy

Concept notes: In mathematical logic, a conditional statement "If P, then Q" has P as the hypothesis and Q as the conclusion. Here, "If I'm old, then I'm wise" can be broken down into: - P: I'm old - Q: I'm wise

Common Mistakes: A common mistake is to confuse the hypothesis (P) with the conclusion (Q). The hypothesis is the condition that must be met, and the conclusion is the result of that condition.

Explanations: In the statement "If I'm old, then I'm wise," the conclusion is "I'm wise." The conclusion is the part that follows "then" in the conditional statement.

Option Analysis:

Option A: "I'm not wise" is the negation of the conclusion, not the conclusion itself.
Option B: "I'm not old" is the negation of the hypothesis, not the conclusion.
Option C: "I'm old" is the hypothesis, not the conclusion.
Option D: "I'm wise" is the conclusion, as it follows "then" in the conditional statement.

5. P1: If it rains, then the grass will be wet. P2: The grass is not wet. C: Therefore, it is not raining.

Correct Answer: Correct answer is: (B) Modus Tollens.

Exam Relevance: GRE, LSAT, GMAT, SAT

Difficulty: Moderate

Concept notes: Modus Tollens is a valid form of argument in propositional logic. It states that if a conditional statement (if P then Q) is true, and the consequent (Q) is false, then the antecedent (P) must also be false.

Common Mistakes: A common mistake is confusing Modus Tollens with Modus Ponens, which is a different form of argument where the antecedent is affirmed to conclude the consequent.

Explanations: The argument given is: 1. If it rains, then the grass will be wet. (P1: If P then Q) 2. The grass is not wet. (P2: Not Q) 3. Therefore, it is not raining. (C: Not P) This follows the structure of Modus Tollens, which is: 1. If P then Q. 2. Not Q. 3. Therefore, not P. Thus, the argument is an example of Modus Tollens.

Option Analysis:

Option A: Modus Ponens is incorrect because it involves affirming the antecedent to conclude the consequent, not denying the consequent to conclude the negation of the antecedent.
Option B: Modus Tollens is correct because it matches the structure of the given argument.
Option C: Disjunctive Syllogism involves a disjunction (either/or) and the negation of one disjunct to conclude the other, which does not apply here.
Option D: Chain Argument involves a series of conditional statements where the consequent of one is the antecedent of the next, which is not the case here.
Option E: Constructive Dilemma involves two conditional statements and a disjunction, which is not applicable to the given argument.

6. P1: If I am happy, then I smile.P2: I am not smiling.C: Therefore I am not happy.

Correct Answer: Correct answer is: (B) Modus Tollens.

Exam Relevance: GRE, LSAT, GMAT, SAT

Difficulty: Moderate

Common Mistakes: A common mistake is confusing Modus Tollens with Modus Ponens, which is a different form of argument. Modus Ponens asserts that if a conditional statement (if P then Q) is true, and the antecedent (P) is true, then the consequent (Q) must also be true.

Explanations: The argument given is: P1: If I am happy, then I smile. (If P, then Q) P2: I am not smiling. (¬Q) C: Therefore, I am not happy. (¬P) This follows the structure of Modus Tollens: 1. If P, then Q. 2. ¬Q. 3. Therefore, ¬P. Thus, the argument is an example of Modus Tollens.

Option Analysis:

Option A: Modus Ponens is incorrect because it involves affirming the antecedent, not denying the consequent.
Option B: Modus Tollens is correct because it involves denying the consequent to infer the negation of the antecedent.
Option C: Disjunctive Syllogism is incorrect because it involves a disjunction (either/or) statement, not a conditional statement.
Option D: Chain Argument is incorrect because it involves a series of conditional statements, not a single conditional statement with a negated consequent.
Option E: Constructive Dilemma is incorrect because it involves two conditional statements and a disjunction, not a single conditional statement with a negated consequent.

7. Name the property of equality that the statement illustrates.AB = XY, so XY = AB

Correct Answer: Correct answer is: (B) Symmetric.

Exam Relevance: SAT, ACT, GRE, GMAT

Difficulty: Easy

Concept notes: The property of equality that states if one quantity is equal to another, then the other quantity is equal to the first is known as the Symmetric Property of Equality.

Common Mistakes: A common misunderstanding is confusing the Symmetric Property with the Reflexive Property, which states that any quantity is equal to itself.

Explanations: The statement "AB = XY, so XY = AB" illustrates the Symmetric Property of Equality. This property asserts that if one quantity is equal to another, then the other quantity is also equal to the first. In this case, if AB is equal to XY, then XY must also be equal to AB.

Option Analysis:

Option A: The Reflexive Property states that any quantity is equal to itself, which is not illustrated in the given statement.
Option B: The Symmetric Property states that if one quantity is equal to another, then the other quantity is equal to the first, which is illustrated in the given statement.
Option C: The Transitive Property states that if one quantity is equal to a second quantity, and the second quantity is equal to a third quantity, then the first quantity is equal to the third quantity, which is not illustrated in the given statement.
Option D: This option is incorrect as the Symmetric Property is the correct property illustrated in the statement.

8. P1: If I get a job, then I'll have a source of income.P2: If I have a source of income, then I will be able to buy a car.C: Therefore, if I get a job then I will be able to buy a car.

Correct Answer: Correct answer is: (D) Chain Argument.

Exam Relevance: GRE, LSAT, GMAT

Difficulty: Moderate

Concept notes: A Chain Argument, also known as Hypothetical Syllogism, is a form of logical reasoning where a conclusion is drawn from a series of conditional statements. In this case, the conclusion is derived from the chain of implications.

Common Mistakes: A common mistake is to confuse Chain Argument with other forms of logical reasoning such as Modus Ponens or Modus Tollens, which involve different structures of conditional statements.

Explanations: The given argument follows the structure of a Chain Argument. The first premise states that if I get a job, then I'll have a source of income. The second premise states that if I have a source of income, then I will be able to buy a car. By chaining these two conditional statements, we can conclude that if I get a job, then I will be able to buy a car. This is a valid form of logical reasoning known as Hypothetical Syllogism.

Option Analysis:

Option A: Modus Ponens involves affirming the antecedent of a conditional statement to conclude the consequent. This does not apply here as the argument involves chaining two conditional statements.
Option B: Modus Tollens involves denying the consequent of a conditional statement to conclude the negation of the antecedent. This does not apply here as the argument involves chaining two conditional statements.
Option C: Disjunctive Syllogism involves a disjunction and the negation of one disjunct to conclude the other. This does not apply here as the argument involves conditional statements.
Option D: Chain Argument (Hypothetical Syllogism) involves chaining two conditional statements to derive a conclusion. This correctly applies to the given argument.
Option E: Constructive Dilemma involves two conditional statements and a disjunction to derive a conclusion. This does not apply here as the argument involves chaining two conditional statements.

9. If a river is more than 4000 miles long, then it is longer than the Amazon.If a river is longer than the Amazon, then it is the longest river in the world.The Nile is 4132 miles long.

Correct Answer: Correct answer is: (A) The Nile is the longest river in the world.

Exam Relevance: GRE, GMAT, LSAT

Difficulty: Moderate

Concept notes: The question involves logical deduction based on given conditional statements.

Common Mistakes: A common mistake is to overlook the transitive property of the conditional statements, leading to incorrect conclusions.

Explanations: Given the statements: 1. If a river is more than 4000 miles long, then it is longer than the Amazon. 2. If a river is longer than the Amazon, then it is the longest river in the world. 3. The Nile is 4132 miles long. From statement 3, the Nile is more than 4000 miles long. Using statement 1, this implies the Nile is longer than the Amazon. Using statement 2, this implies the Nile is the longest river in the world.

Option Analysis:

Option A: This is the correct conclusion based on the logical deduction from the given statements.
Option B: This is true but does not fully capture the logical conclusion from the given statements.
Option C: This is incorrect as the logical deduction leads to a definitive conclusion.
Option D: This is incorrect as the logical deduction leads to a definitive conclusion.

10. P1: If Eagles are birds, then Eagles fly.P2: Eagles are birds.C: Therefore, eagles fly

Correct Answer: Correct answer is: (A) Modus Ponens.

Exam Relevance: GRE, LSAT, GMAT

Difficulty: Easy

Concept notes: Modus Ponens is a valid form of argument in propositional logic. It states that if a conditional statement (if P then Q) is true and the antecedent (P) is true, then the consequent (Q) must also be true.

Common Mistakes: A common mistake is confusing Modus Ponens with other forms of logical arguments, such as Modus Tollens or Disjunctive Syllogism.

Explanations: The argument follows the form of Modus Ponens. The first premise states that if eagles are birds, then eagles fly. The second premise confirms that eagles are birds. Therefore, by Modus Ponens, we can conclude that eagles fly.

Option Analysis:

Option A: Correct. The argument follows the form of Modus Ponens.
Option B: Incorrect. Modus Tollens is not applicable here as it involves negation of the consequent.
Option C: Incorrect. Disjunctive Syllogism involves a disjunction (either/or) statement, which is not present in the argument.
Option D: Incorrect. Chain Argument involves a series of conditional statements, which is not the case here.
Option E: Incorrect. Constructive Dilemma involves two conditional statements and a disjunction, which is not present in the argument.

Frequently Asked Questions

What is mathematical logic?

Mathematical logic is a subfield of mathematics that studies formal logic and its applications to mathematical reasoning. It includes the study of formal languages, proof theory, model theory, and computability theory.

What is a conditional statement?

A conditional statement is a logical statement that takes the form "if p, then q," where p is the hypothesis and q is the conclusion. It is often written as p → q and is a fundamental concept in propositional logic.

What is the Law of Contrapositive?

The Law of Contrapositive states that a conditional statement and its contrapositive are logically equivalent. If the original statement is "if p, then q," the contrapositive is "if not q, then not p." Both statements have the same truth value.

What is a logical fallacy?

A logical fallacy is a flaw in reasoning that can undermine the validity of an argument. Common examples include ad populum (appeal to popularity) and other forms of faulty reasoning that do not logically support the conclusion.

How is the transitive property used in mathematical logic?

The transitive property is used in mathematical logic to establish relationships between statements. If a statement p implies q, and q implies r, then by the transitive property, p implies r. This is often used in chain arguments and hypothetical syllogisms.

🏠 Back to Homepage 📘 Download PDF Books 📕 Premium PDF Books