Quiz 6: Propositional Symbolization

Front 1

The principles of propositional logic are found in:

A. search engines

B. Microsoft Excel functions

C. electronics engineering

D. all of these answers are correct

Back 1

D

Front 2

The primary focus of propositional logic is relationships between certain kinds of:

A. fallacies

B. objects

C. statements

D. arguments

Back 2

C

Front 3

Propositional logic focuses on relationships among:

A. arguments which have parts

B. statements about categories and things

C. facts which have parts

D. statements which have statement parts

Back 3

D

Front 4

The ' ≡ ' sign is used to symbolize:

A. "Both . . . and . . ."

B. "Either . . . or . . . or both."

C. "If . . . then . . ."

D. ". . . if and only if . . ."

Back 4

D

Front 5

Which of the following is not a well-formed formula?:

A. ~(P • ~Q)

B. (P ⊃ ~Q)

C. (~(P ∨ Q))

D. (~P ≡ Q)

Back 5

C

Front 6

Which of the following is not a well-formed formula?:

A. (~A (≡ B ∨ C))

B. (~A ⊃ (B ∨ C))

C. (~(A ⊃ B) ∨ C)

D. (~(A ≡ B) ∨ C)

Back 6

A

Front 7

Statements whose form is ' Not both . . . and . . . ' are known as:

A. conjunctions of negations

B. none of these answers is correct

C. negations

D. negated conjunctions

Back 7

D

Front 8

The consequent of a conditional statement:

A. expresses a sufficient condition for the antecedent

B. expresses a necessary condition for the antecedent

C. expresses a necessary condition for the conjunction

D. expresses a sufficient and necessary condition for the antecedent

Back 8

B

Front 9

This statement: "If you don't have a fever, then you don't have the flu" is best symbolized by:

A. conjunction of two negations

B. negated conditional

C. conditional

D. negated conjunction

Back 9

C

Front 10

This statement: "Neither Fred nor Lou likes ice cream" is best symbolized by:

A. (~F ∨ ~L)

B. (F ⊃ L)

C. (~F • ~L)

D. ~(F • L)

Back 10

C

Front 11

Conditionals are symbolized with a:

A. horseshoe

B. triple bar

C. dot

D. vee

Back 11

A

Front 12

The tilde or squiggly line symbol is used to:

A. connect parentheses as a pair

B. connect any two statements

C. turn statements into questions

D. 'negate' any statement

Back 12

D

Front 13

Which is NOT a propositional operator?:

A. horseshoe

B. tilde

C. vee

D. three dots

Back 13

D

Front 14

A propositional logic 'connective' that doesn't actually connect anything is the:

A. horseshoe

B. parenthesis

C. three dots

D. tilde

Back 14

D

Front 15

Every compound propositional logic statement has exactly one:

A. symbol

B. atomic statement

C. negation

D. main operator

Back 15

D

Front 16

In ' ((B ∨ ~C ) ≡ D) ', what is the main connective?:

A. ~

B. ∨

C. ≡

D. there is no main connective

Back 16

C

Front 17

Statements whose main form is ' Neither... nor... ' are known as:

A. negated disjunctions

B. negated biconditionals

C. double negations

D. negated conjunctions

Back 17

A

Front 18

A consequent expresses:

A. the necessary part of a conditional

B. the sufficient part of a conditional

C. the conclusion of an argument

D. an entire conditional

Back 18

A

Front 19

This statement:

Jerry doesn't like pizza, but Mary does

is best symbolized by:

A. (~J • M)

B. (~J ⊃ M)

C. ~(J ≡ M)

D. ~(J • M)

Back 19

A

Front 20

This statement:
The animal will attack only if it's frightened

is best symbolized by:

A. exclusive disjunction

B. conjunction

C. conditional

D. biconditional

Back 20

C

Front 21

Which symbol is NOT a propositional connective?:

A. parenthesis

B. vee

C. squiggle

D. dot

Back 21

A

Front 22

Conjunctions are symbolized with a:

A. vee

B. triple bar

C. tilde

D. dot

Back 22

D

Front 23

For which idea do we NOT have a propositional connective?:

A. if / then

B. is

C. and

D. or

Back 23

B

Front 24

Biconditionals are symbolized in this class by a:

A. vee

B. dot

C. triple bar

D. double horseshoe

Back 24

C

Front 25

Which of the following is an atomic statement?:

A. Frank or Jim left the door open.

B. No one came to my party.

C. Dessert only comes with dinner.

D. Mark and Sue play tennis together.

Back 25

D

Front 26

Atomic statements in propositional logic must not have any parts which are:

A. statements

B. predicates

C. subjects

D. adjectives

Back 26

A

Front 27

Which of the following is an atomic statement?:

A. Sailing is an enjoyable sport.

B. The Cincinnati Reds did not win their last game.

C. Sewing and cross-stitch require good eyesight.

D. Either Sue or Karen will get the high score.

Back 27

A

Front 28

An antecedent expresses:

A. the necessary part of a conditional

B. the sufficient part of a conditional

C. the premises of an argument

D. none of these answers is correct

Back 28

B

Front 29

This statement:

If you don't pass the test, you won't pass the course:

A. is best symbolized by

B. negated conditional

C. biconditional

D. conditional with two negated parts

double negation

Back 29

C

Front 30

This statement:

Both Jack and Sue are unmarried

is best symbolized by:

A. negated biconditional

B. double negation

C. negated conjunction

D. conjunction of two negations

Back 30

D

Front 31

The ' ⊃ ' sign is used to symbolize:

A. "Either . . . or . . . or both."

B. "If . . . then . . ."

C. "Both . . . and . . ."

D. "Either . . . or . . . but not both."

Back 31

B

Front 32

Which symbol is NOT a propositional connective?:

A. dot

B. horseshoe

C. comma

D. tilde

Back 32

C

Front 33

Disjunctions are symbolized with a:

A. vee

B. horseshoe

C. parenthesis

D. dot

Back 33

A

Front 34

The ' ∨ ' sign is used to symbolize:

A. "Both . . . and . . ."

B. "Either . . . or . . . but not both."

C. "Either . . . or . . . or both."

D. "If . . . then . . ."

Back 34

C

Front 35

Which of the following is NOT an atomic statement?:

A. Sailing is an enjoyable sport for me.

B. Either Sue or Karen got the high score on the test.

C. I like chocolate better than butterscotch.

D. The Cincinnati Reds won their last game.

Back 35

B

Front 36

Which of the following is not a well-formed formula?:

A. (~P ≡ Q)

B. (P ⊃ (~Q))

C. ~~(P ∨ Q)

D. ~(P • ~Q)

Back 36

B

Front 37

In ' (B • (C ∨ ~D)) ', what is the main connective?:

A. ~

B. ∨

C. B

D. •

Back 37

D

Front 38

In ' (A ⊃ B) ',:

A. A provides a necessary condition for B.

B. A provides both a necessary and sufficient condition for B.

C. A provides a sufficient condition for B.

D. B provides a sufficient condition for A.

Back 38

C

Front 39

This statement:

You can't have tuberculosis without a fever

is best symbolized by:

A. ~(F ⊃ ~T)

B. (~F ⊃ T)

C. (~F ⊃ ~T)

D. (F ⊃ T)

Back 39

C

Front 40

This statement:

You can't have both the soup and the salad

is best symbolized by:

A. conditional

B. conjunction of two negations

C. negated conditional

D. negated conjunction

Back 40

D

Front 41

The terms 'operators' and 'connectives' are used in propositional logic to refer to:

A. completely different ideas

B. none of these answers is correct

C. non-logical symbols

D. the five basic ideas we symbolize

Back 41

D

Front 42

The ' • ' sign is used to symbolize:

A. "Both . . . and . . ."

B. "Either . . . or . . . but not both."

C. "If . . . then . . ."

D. "Either . . . or . . . or both."

Back 42

A

Front 43

Which of the following is not a well-formed formula?:

A. (~(A • B) ∨ C)

B. (~A ⊃ (B ∨ C))

C. ~(A ⊃ B) • C)

D. ~(A ≡ (B ∨ C))

Back 43

C

Front 44

Which of the following is an atomic statement?:

A. Sue is unhappy.

B. I like chocolate, strawberry and rocky road ice cream.

C. Mark and Karen play each other in tennis every Saturday.

D. The grass will die unless it rains.

Back 44

C

Front 45

The antecedent of a conditional statement:

A. gives a necessary condition for the consequent

B. gives a sufficient condition for the consequent

C. gives both a necessary and a sufficient condition for the consequent

D. gives no conditions for the consequent

Back 45

B

Front 46

This statement:

Neither pigs nor dogs can fly

is best symbolized by:

A. negated disjunction

B. negated biconditional

C. negated conjunction

D. double negation

Back 46

A

Front 47

This statement:

You can't be in both Chicago and New York

is best symbolized by:

A. negated biconditional

B. double negation

C. negated disjunction

D. negated conjunction

Back 47

D