Which example is a valid counterexample to the claim “Every prime number is odd”?
8/9 8. Reasoning Errors and Informal Fallacies Online Quiz Questions
Use this free practice quiz with 20 questions to review 8/9 8. Reasoning Errors and Informal Fallacies, test your knowledge, and prepare for your next test or exam.
Which formula correctly formalizes “Some student passed,” assuming the domain contains all relevant objects?
- A
∃x(Student(x)∧Passed(x))
- B
∃x(Student(x)→Passed(x))
- C
∀x(Student(x)∧Passed(x))
- D
∀x(Student(x)→Passed(x))
What does “Not all roads are open” mean?
- A
Every road is closed.
- B
No road is open.
- C
At least one road is not open.
- D
At least one road is open.
Which two conditions must an object meet to serve as a valid counterexample to “All A are B”? Select all that apply.
- A
It belongs to the stated domain.
- B
It supports the universal claim instead of contradicting it.
- C
It satisfies the antecedent or class condition.
- D
It is merely unrelated to the claim.
Which two statements correctly describe what is needed to support an existential claim ∃xP(x)? Select all that apply.
- A
It is an object in the domain.
- B
It shows that every object has the property.
- C
It satisfies the predicate.
- D
It must be the only object with the property.
The truth value of a quantified statement can change when its domain of discourse changes.
- A
True
- B
False
The formulas ∀x∃yL(x,y) and ∃y∀xL(x,y) always express the same claim.
- A
True
- B
False
What is the logical term for one valid object that refutes a universal claim?
Write the symbolic negation of ∀xP(x).
The collection of objects over which a variable ranges is the , while the formula to which a quantifier applies is its .
To establish an existential claim, provide one valid : an object in the domain that satisfies the predicate.
Formalize the negation of “Every student passed.” Explain in words what the negation asserts and why “No student passed” is too strong.
Why is “For every customer, there is a representative” generally weaker than “There is one representative for every customer”?
- A
They are equivalent because both mention every customer and a representative.
- B
The first permits different representatives, while the second requires one representative for all customers.
- C
The first requires one representative for all customers, while the second permits different representatives.
- D
Neither statement makes a claim about representatives.
Which formula correctly negates ∀x[P(x)→Q(x)]?
- A
∀x[¬P(x)∨Q(x)]
- B
∃x[¬P(x)→¬Q(x)]
- C
∃x[P(x)∧¬Q(x)]
- D
∀x[P(x)∧¬Q(x)]
Which evaluation best explains the statement “Every real number has a reciprocal”?
- A
The statement is true over all real numbers because every real number can be written as a fraction.
- B
The statement is false over all real numbers but can be true over the nonzero real numbers.
- C
The statement is false over every possible domain because zero is a real number.
- D
The statement is true over all real numbers only when the domain includes integers.
True or false: From ∃xP(x), it follows that ∀xP(x).
- A
True
- B
False
What logical term names an object in the domain that satisfies a predicate and establishes an existential claim?
Which statement best evaluates the reasoning “The claim worked for the first five cases, so it must be true for every case”?
- A
Five examples always constitute a proof of a universal claim.
- B
A universal claim is established whenever no counterexample has yet been found.
- C
Testing examples proves a universal claim if the examples are chosen randomly.
- D
Examples may suggest a pattern, but a proof or complete finite check is needed to establish the universal claim.
Which argument most directly proves the universal claim that the sum of any two even integers is even?
- A
The argument checks the first 100 pairs of even integers and finds that each sum is even.
- B
The argument lets m=2a and n=2b be arbitrary even integers and derives m+n=2(a+b).
- C
The argument gives one pair of even integers whose sum is even.
- D
The argument assumes that because the claim sounds plausible, no counterexample exists.
Formalize the statement “Every student passed” in predicate logic, taking the overall domain to include all relevant objects and using Student(x) and Passed(x) as predicates.