Author: Anonymous

Proposition 1EGiven the following proposition: ∼{[(Y  ≡  ∼ A)  ⊃  (∼ X  ∨  Y)]  •  (∼ B  ∨  ∼ X)}In Proposition 1E, the main operator is a:

INSTRUCTIONS: Select the correct translation for each problem.Progressive expands coverage if and only if both Liberty and Conseco do not cut costs.

Instructions: Translate the following statement using the first letter of the word in ALL CAPS. You may copy the symbols for the operators from here:  ~ · ∨ ⊃ ≡   Bill is WISE only if he is HONEST. (W, H)

Instructions: Translate the following statement using the first letter of the word in ALL CAPS. You may copy the symbols for the operators from here:  ~ · ∨ ⊃ ≡   We will CELEBRATE only if we WIN. (C, W)

INSTRUCTIONS: Select the correct translation for each problem.If either Farmers runs an ad or Nationwide cuts costs, then if Safeco expands coverage then Geico pays a dividend.

INSTRUCTIONS: Select the correct answer for each multiple choice question.Which of the following are all conclusion indicators?

Proposition 1DGiven the following proposition: ∼ (A  •  ∼ X)  ≡  [A  ⊃  (Y  ∨  ∼ B)]In Proposition 1D, the main operator is a:

INSTRUCTIONS: The following problems relate to identifying and evaluating inductive and deductive arguments. Select the best answer for each.Louis graduated from college after Cheri, and Cheri graduated before Denise. Therefore, it follows necessarily that Louis graduated before Denise.

INSTRUCTIONS: A) Fill out a truth table for the following statement, and then B) state whether the statement is tautologous, self-contradictory, or contingent. Be sure to identify the main operator and show all of your work. (A  ∨  ∼ S)  •  (S  •  ∼ A)You may copy the first row of a table from here: (A ∨ ~ S) • (S • ~ A)

INSTRUCTIONS: A) Fill out a truth table for the following statement, and then B) state whether the statement is tautologous, self-contradictory, or contingent. Be sure to identify the main operator and show all of your work. (R  •  B)  ≡  (B  ⊃  ∼ R)   You may copy the first row of a table from here: (R •  B) ≡ (B ⊃ ~ R)