Exam 7: Statement Logic: Truth Tables

A material biconditional is

A tautology is a statement that is necessarily false-that is, it is false regardless of the truth values assigned to the atomic statements that compose it.

Where "F" stands for "Fred likes ice cream" and "L" stands for "Lou likes ice cream," the statement "Either Fred or Lou doesn't like ice cream" is best symbolized by

In A • B, the statement constants are called disjuncts.

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 there's too much rain in the early spring and not enough during the summer, the tomato crop will not be very good. (S: There is too much rain in the spring; I: There is enough rain during the summer; G: The tomato crop is very good.)

A compound statement is truth functional if its truth value is completely determined by the truth value of the atomic statements that compose it.

The abbreviated truth table method can be used to prove that an argument is valid.

The symbol for disjunction represents inclusive "or."

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's not the case that Sally is in love with James, though James is in love with Sally. (S: Sally is in love with James; J: James is in love with Sally.)

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 is not the case that neither ostriches nor turkeys can fly. (O: Ostriches can fly; T: Turkeys can fly.)

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: Either Abigail and Dieter both go to the dance or neither does. (A: Abigail goes to the dance; D: Dieter goes to the dance.)

A necessary condition is a condition that guarantees that a statement is

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: Nathan's attendance in class is both a necessary and sufficient condition for his passing this class. (A: Nathan attends class; P: Nathan passes class.)

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

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: Both Patricia and Scott are prepared for the test, but Henry is not. (P: Patricia is prepared for the test; S: Scott is prepared for the test; H: Henry is prepared for the test.)

(A → (B ⋁ C) ⋁ D) is a well-formed formula.

Where "F" stands for "Fred likes ice cream" and "L" stands for "Lou likes ice cream," the statement "Neither Fred nor Lou likes ice cream" is best symbolized by

On which assignment of truth values does the sentence A → ~B turn out to be false?

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: Although Stephen scored high on the LSAT, he did not get into the law school of his choice. (S: Stephen scored high on the LSAT; L: Stephen got into the law school of his choice.)

In (A ⋁ (B) • (D ⋁ C), the main logical operator is the "⋁".