Exam 7: Statement Logic: Truth Tables

Symbols list You may use the list below to copy-and-paste the symbols into your answer as needed. →;↔;•;~;⋁;\ Translate the following statement into symbols, using the schemes of abbreviation provided: It will either rain or snow, but not both. (R: It will rain; S: It will snow.)

(Short Answer)

4.8/5

(38)

Question 21

Under which assignment of truth values does the sentence (A ↔ ~B) • ~C turn out to be true?

(Multiple Choice)

4.8/5

(35)

Question 22

Symbols list You may use the list below to copy-and-paste the symbols into your answer as needed. →;↔;•;~;⋁;\ Translate the following statement into symbols, using the schemes of abbreviation provided: Susan will be able to go to the graduate school of her choice unless she scores very poorly on her GRE. (C: Susan is able to go to the graduate school of her choice; P: Susan scores very poorly on her GRE.)

(Short Answer)

4.8/5

(40)

Question 23

Which of the following is an atomic statement?

(Multiple Choice)

4.7/5

(38)

Question 24

A disjunction is false if both its disjuncts are false; otherwise it is

(True/False)

4.9/5

(24)

Question 25

Two statements are logically equivalent when each validly implies the other.

(True/False)

4.8/5

(33)

Question 26

A statement variable is a lower case letter that serves as a placeholder for any statement.

(True/False)

4.9/5

(38)

Question 27

Symbols list You may use the list below to copy-and-paste the symbols into your answer as needed. →;↔;•;~;⋁;\ Translate the following statement into symbols, using the schemes of abbreviation provided: If the argument has all conclusion, then the argument is not valid. (P: The argument has all true premises; C: The argument has a true conclusion; V: The argument is valid.)

(Short Answer)

4.8/5

(45)

Question 28

Two statements are logically equivalent when the biconditional connecting them is a tautology.

(True/False)

4.9/5

(38)

Question 29

Any argument with logically inconsistent premises will be valid yet unsound.

(True/False)

4.8/5

(39)

Question 30

Symbols list You may use the list below to copy-and-paste the symbols into your answer as needed. →;↔;•;~;⋁;\ Translate the following statement into symbols, using the schemes of abbreviation provided: Jones wins only if Smith and Brown both lose. (J: Jones wins; S: Smith wins; B: Brown wins.)

(Short Answer)

4.9/5

(43)

Question 31

Making the assumption that A is , and D is false, determine the truth value () of this compound statement: C → ~(C • B)

(True/False)

4.8/5

(32)

Question 32

A material conditional is false if its antecedent is ; otherwise, it is

(True/False)

4.7/5

(38)

Question 33

A sufficient condition is a condition that, if lacking, guarantees that a statement is false (or that a phenomenon will not occur).

(True/False)

4.8/5

(36)

Question 34

Making the assumption that A is , and D is false, determine the truth value () of this compound statement: ~(A ⋁ C) ↔ (B • ~(A ⋁ C))

(True/False)

4.7/5

(38)

Question 35

Which of the following is not a well-formed formula (WFF)?

(Multiple Choice)

4.8/5

(29)

Question 36

Symbols list You may use the list below to copy-and-paste the symbols into your answer as needed. →;↔;•;~;⋁;\ Translate the following statement into symbols, using the schemes of abbreviation provided: A necessary condition for Adonis to go camping is that he behave and not bark at other dogs. (C: Adonis goes camping; B: Adonis behaves; O: Adonis barks at other dogs.)

(Short Answer)

4.8/5

(40)

Question 37

The truth table for an argument that has three component atomic statements will have six rows.

(True/False)

4.9/5

(41)

Question 38

A compound statement is one that has at least one atomic statement as a component.

(True/False)

4.7/5

(35)

Question 39

A compound statement is truth-functional if

(Multiple Choice)

4.9/5

(40)

Question 40

Showing 21 - 40 of 80

Symbols list You may use the list below to copy-and-paste the symbols into your answer as needed. →;↔;•;~;⋁;\ Translate the following statement into symbols, using the schemes of abbreviation provided: It will either rain or snow, but not both. (R: It will rain; S: It will snow.)

Under which assignment of truth values does the sentence (A ↔ ~B) • ~C turn out to be true?

Which of the following is an atomic statement?

A disjunction is false if both its disjuncts are false; otherwise it is

Two statements are logically equivalent when each validly implies the other.

A statement variable is a lower case letter that serves as a placeholder for any statement.

Two statements are logically equivalent when the biconditional connecting them is a tautology.

Any argument with logically inconsistent premises will be valid yet unsound.

Making the assumption that A is , and D is false, determine the truth value () of this compound statement: C → ~(C • B)

A material conditional is false if its antecedent is ; otherwise, it is

A sufficient condition is a condition that, if lacking, guarantees that a statement is false (or that a phenomenon will not occur).

Making the assumption that A is , and D is false, determine the truth value () of this compound statement: ~(A ⋁ C) ↔ (B • ~(A ⋁ C))

Which of the following is not a well-formed formula (WFF)?

The truth table for an argument that has three component atomic statements will have six rows.

A compound statement is one that has at least one atomic statement as a component.

A compound statement is truth-functional if

Basic Concepts

Identifying Arguments

Logic and Language

Informal Fallacies

Categorical Logic: Statements

Categorical Logic: Syllogisms

Statement Logic: Proofs

Predicate Logic

Inductive Logic

Filters