Exam 9: Propositional Logic-Propositions

If the consequent of a conditional is a tautology, then the conditional itself is a:

If only one disjunct of a disjunction is a contingency, then the disjunction itself is a:

Identify the main connective in the following statement. {[(P $\supset$ P) $\supset$ P] $\supset$ P} $\supset$ (P $\supset$ P)

Put the following statement in symbolic form using the letters indicated in parentheses: If the engine is the most important part of a car, then the oil filter must be the second most important part.(E, F)

Identify the components and the connective in the following statement.Then put the statement into symbolic form, using appropriate letters to stand for the components. We'll settle out of court if and only if they agree to our terms.

If the consequent of a conditional is a self-contradiction, then the conditional itself is a:

In the statement form p $\supset$ q, the component statement variable p is called:

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. If the construction workers do not finish soon, I will not get my work done.

Two statements have the same truth value on each row of their truth tables.Therefore, the statements are:

Prove the following claim: If p $\equiv$ q is a tautology, then the set {p, ~q} is inconsistent.

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. Though Marcia enjoyed the dinner, she did not want to see Eric again.

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. He will quit his job if he gets a big raise.

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. If you owe the bank a hundred dollars, it is your problem; but if you owe them a million dollars, it is their problem.

The conjunction of two contradictory statements is itself a:

Two statements are consistent.Therefore:

If both main components of a biconditional are self-contradictions, then the biconditional itself is a:

Identify the main connective in the following statement. [(N • D) $\bigvee$ (T $\equiv$ M)] $\supset$ ~N

Identify which of the following is a correct symbolization of the following statement. If you say it cannot be done, you should not interrupt the one doing it.

For the following statement, identify the component statements and the connective(s).Then put the statement in symbolic form using the letters indicated in parentheses, and construct a truth table for it. Rain fell on the marathon runners, and yet they finished the race.(R, F)

For the following statement, identify (a) the atomic statements; (b) the main components; (c) the connectives; and (d) the main connective. (P $\supset$ Q) $\equiv$ (~P $\bigvee$ Q)