Exam 9: Propositional Logic-Propositions

Two statements are equivalent.Therefore, they are also:

In the statement form p $\bigvee$ q, the component statement variables p and q are called:

The statement form p & q is:

Use the following key to formulate an English statement that corresponds to the given symbolic statement.P: You will pass the LSAT.L: You figure out how to do the logic games quickly. P $\equiv$ L

The connective "~" is called:

If neither main component of a biconditional is a contingency, then the biconditional itself is a:

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

If neither conjunct of a conjunction is a self-contradiction, then the conjunction itself is a:

In the truth table for the statement form p • q, the column of truth values underneath the main connective should be:

If only one conjunct of a conjunction is a contingency, then the conjunction itself is a:

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. Either it rained or the Wilsons' barbecue went as planned.

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. If the Wades cannot find someone to stay with for free, then they will look for a cheap hotel.

For the following statement, identify (a) the atomic statements; (b) the main components; (c) the connectives; and (d) the main connective. N $\supset$ (M $\supset$ N)

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. If someone says "It is not the money," then it definitely is the money.

Two statements have opposite truth value on at least one row of their truth tables.Therefore, the statements are:

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. If we get tickets, then we will see the Nutcracker Suite.

A conditional statement where both the antecedent and consequent are consistent statements is itself a:

In the truth table for the statement form p $\bigvee$ q, the column of truth values underneath the main connective should be:

Put the following statement in symbolic form using the letters indicated in parentheses: If the earth stopped rotating on its axis and there was no natural explanation for it, it must have been a miracle.(S, N, M)

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. Either the boots fit and you buy them, or you save your money.