CH 6-7 Review Quizzes

A categorical syllogism has three premises.

False

In a categorical syllogism, the major term of the argument is the subject term in the conclusion.

False

If a categorical syllogism is valid, its diagram should reflect what the conclusion asserts.

True

In a Venn diagram, a shaded area indicates an empty class.

True

The first step in checking validity with Venn diagrams is to draw three overlapping circles.

True

The first step in diagramming a categorical statement is drawing two overlapping circles.

True

The minor term occurs as the subject term in the conclusion.

True

Each categorical statement has: a. A subject term and a predicate term b. A positive term and a negative term c. A universal quantity d. An affirmative quality

a. A subject term and a predicate term

The proper translation of "Chevrolets are not birds" is: a. No Chevrolets are birds. b. No birds are Chevrolets. c. Some Chevrolets are birds. d. Some Chevrolets are not birds.

a. No Chevrolets are birds.

In a truth table for a two-variable argument, the first guide column has the following truth values. . . a. T, T, F, F b. F, F, T, T c. T, F, T, F d. T, F, F, T

a. T, T, F, F

A double negation is the same thing as no negation. a. True b. False

a. True

Every statement has a truth value. a. True b. False

a. True

The argument form known as affirming the consequent is invalid. a. True b. False

a. True

The word unless is sometimes used in place of or to form a disjunction. a. True b. False

a. True

The symbolization for a disjunction is: a. p v q b. p and q c. p → q d. ~ p

a. p v q

In a conditional statement, the first part is the antecedent and the second part is the: a. Predicate b. Consequent c. Subject d. Disjunct

b. Consequent

In a conditional, the word whenever introduces the consequent. a. True b. False

b. False

In a three-variable truth table, there are six rows. a. True b. False

b. False

Two simple statements joined by a connective to form a compound statement are know as a disjunction. a. True b. False

b. False

In using the short method, your overall goal is to see if you can: a. Show that all the statements of the argument are true b. Prove invalidity in the most efficient way possible c. Prove validity in the most efficient way possible d. Prove that the conclusion is false

b. Prove invalidity in the most efficient way possible

An I-statement has the form: a. All S are P. b. Some S are P. c. Some S are not P. d. No S are P.

b. Some S are P.

An O-statement has the form: a. All S are P. b. Some S are not P. c. No S are P. d. Some S are P.

b. Some S are not P.

The symbolization for a conjunction is: a. p → q b. p and q c. p v q d. ~ p

b. p and q

The proper translation of "Only politicians are crooks" is: a. Some politicians are crooks. b. All politicians are crooks. c. All crooks are politicians. d. Some politicians are not crooks.

c. All crooks are politicians.

Categorical statements make simple assertions about: a. Other statements b. Complex assertions c. Classes of things d. Classes of assertions

c. Classes of things

The name of the following argument form is: p → q, ~ q, Therefore, ~ p a. Denying the antecedent b. Modus ponens c. Modus tollens d. Affirming the consequent

c. Modus tollens

In a disjunction, even if one of the statements is false, the whole disjunction is still: a. False b. Negated c. True d. Both true and false

c. True

"It is not the case that the car is red and the truck is blue" can be symbolized by... a. ~ p & q b. ~ (p v q) c. ~ (p & q) d. ~ p & ~ q

c. ~ (p & q)

An A-statement has the form: a. No S are P. b. Some S are not P. c. All S are not P. d. All S are P.

d. All S are P.

The name of the following argument form is: p → q, ~ p, ~ q a. Denying the consequent b. Disjunctive syllogism c. Modus tollens d. Denying the antecedent

d. Denying the antecedent

An E-statement has the form: a. Some S are P. b. All S are P. c. Some S are not P. d. No S are P.

d. No S are P.

The basic pattern of standard-form statements is: a. Subject Term - Predicate Term b. Quantifier - Subject Term - Predicate Term c. Subject Term - Copula - Predicate Term d. Quantifier - Subject Term - Copula - Predicate Term

d. Quantifier - Subject Term - Copula - Predicate Term

Propositional logic uses symbols to stand for statements and: a. Nonstatements b. The relationships between subject and predicate c. Truth values d. The relationships between statements

d. The relationships between statements