Question 1

Explain why an argument may fail to be valid at the level of the Logic of Statements, but might be discovered to be valid a deeper analytical level.
The Logic of Statements is valuable for determining that a certain set of arguments is valid provided that the validity depends on the grammatical relationships between simple statements. But, as we saw in the chapter entitled "Valid Inferences," the validity of some arguments depends on relationships among classes of objects and their members, and it gives examples of valid inferences based on relationships between individuals, such as transitivity and reflexivity. The examples in those sections of that chapter would not be valid in the Logic of Statements.

Accepted Answer

The answer of Explain why an argument may fail to...

Question 2

Compose a conjunction in English from these two simple statements: "We took Grandfather's advice." And "We had a great time." Let the first one be "p" and the second by "q" and translate the conjunction into symbolic logic.

Accepted Answer

The answer of Compose a conjunction in English from these...

Question 3

Statements A and B are __________________ in the Logic of Statements if, and only if, the bi-conditional (A ≡ B) is a tautology.

Accepted Answer

The answer of Statements A and B are __________________ in...

Question 4

What is a simple declarative statement?

Accepted Answer

The answer of What is a simple declarative statement?...

Question 5

________________ language is much richer than the notational language of the Logic of Declarative Statements. We can express only a limited range of the logical power of natural language using the tilde, ampersand, wedge, arrow, and triple bar.

Accepted Answer

The answer of ________________ language is much richer than the...

Question 6

Using "only if" compose a conditional in English from these two simple statements: "We took Grandfather's advice." And "We had a great time." Let the first one be "p" and the second by "q" and translate the conjunction into symbolic logic.

Accepted Answer

The answer of Using "only if" compose a conditional in...

Question 7

Figure out "Who ate the Pizza?" and explain the answer.
The Puzzle: Five roommates, Abe, Bob, Carl, Dave, and Ziggy, share an off-campus apartment. On Monday night they had leftover pizza and so they put it in the refrigerator. On Tuesday when Ziggy went to get some of that pizza he found that it had all been eaten. Later Ziggy confronted his four roommates to find out who ate the pizza. Each roommate made one statement. The person who ate the pizza lied; his statement is false. The other three statements are true. Which one ate the pizza? Here are their four statements:
Abe: I was in class all day.
Bob: Carl ate the pizza.
Carl: Bob's statement is false.
David: Carl's statement is true.

Accepted Answer

The answer of Figure out "Who ate the Pizza?" and...

Question 8

An argument is valid at the level of the Logic of Statements if the conditional formed by the conjunction of its premises as the antecedent and the conclusion as its consequent is a tautology.

Accepted Answer

This statement accurately defines the standard for a valid argument in the Logic of Statements.

Question 9

Analyze the logic relationship called Disjunction and diagram a "Logic Circuit" with a power source and a light bulb that shows the conditions under which the light will be lit and not lit.

Accepted Answer

The answer of Analyze the logic relationship called Disjunction and...

Question 10

Statements A and statement B are __________________ in the Logic of Statements if A and B have the same truth value under every interpretation of their statement letters.

Accepted Answer

The answer of Statements A and statement B are __________________...

Question 11

Accurately and elegantly translate ((p → s) & (s → t)). Use these interpretations of the statement
letters:
p = "My son has chickenpox."
q = "I have to stay home from work."
r = "I need to take care of my son."
s = "My son is contagious."
t = "I need to call my boss."

Accepted Answer

The answer of Accurately and elegantly translate ((p → s)...

Question 12

Two statements are equivalent at the level of the Logic of Statements if the bi-conditional of the two is a tautology.

Accepted Answer

Two statements are equivalent at the level of the Logic of Statements if and only if the bi-conditional of the two is a tautology.

Question 13

Accurately and elegantly translate (~s → (~p & (~r & ~t))). Use these interpretations of the statement
letters:
p = "My son has chickenpox."
q = "I have to stay home from work."
r = "I need to take care of my son."
s = "My son is contagious."
t = "I need to call my boss."

Accepted Answer

The answer of Accurately and elegantly translate (~s → (~p...

Question 14

At the level of the Logic of Statements, a tautology is implied by any statement and an inconsistent statement implies any statement. Moreover, any two tautologies or any two self-contradictory statements are equivalent. With regard to implication and equivalence, how should we resolve the differences between the treatment of these concepts in the Logic of Statements and how these same concepts apply in everyday real-world discourse?

Accepted Answer

The answer of At the level of the Logic of...

Question 15

Construct the truth table that defines negation.

Accepted Answer

The answer of Construct the truth table that defines negation....

Question 16

A tautology is a grammatically correct expression that turns out to be true under every possible assignment of truth values to its component simple statements.

Accepted Answer

This is the definition of a tautology.

Question 17

Construct the truth table for ((~(r → p) v (~p → r)) v q). Based on the truth table, correctly characterize the formula as tautology, inconsistent, or contingent. Explain the basis for the characterization.

Accepted Answer

The answer of Construct the truth table for ((~(r →...

Question 18

Construct the truth table that defines the conditional.

Accepted Answer

The answer of Construct the truth table that defines the...

Question 19

If a natural language statement is translated into symbolic logic and its truth table ends up with a T on at least one row and an F on at least one row, then the statement can be characterized as _____________.

Accepted Answer

The answer of If a natural language statement is translated...

Question 20

In the Logic of Statements means a grammatically correct expression that turns out to be uncorrect under every possible assignment of truth values to its component simple statements is called inconsistent or ______________.

Accepted Answer

The answer of In the Logic of Statements means a...

Quiz 17: The Logic of Declarative Statements