Exam 9: Propositional Logic-Propositions

If both conjuncts of a conjunction are tautologies, then the conjunction itself is a:

Identify which of the following is a correct symbolization of the following statement. The Greeks won the battle but lost the war.

The disjunction of two consistent statements is itself a:

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

Prove the following claim: If p and q are equivalent, then ~p $\bigvee$ q is a tautology.

The connective "•" is called:

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. Unless I work all night, I won't finish the paper and I'll flunk the course.

Put the following statement into symbolic notation, using appropriate letters to abbreviate atomic components. I will be disappointed unless I win.

If both main components of a biconditional are tautologies, then the biconditional itself is a:

Identify the main connective in the following statement. (T $\bigvee$ ~E) $\equiv$ (C • M)

Put the following statement in symbolic form using the letters indicated in parentheses: If I want to do it and I won't harm myself or anyone else, then I should do it.(W, M, E, S)

If both conjuncts of a conjunction are self-contradictions, then the conjunction itself is a:

The statement form ~p is:

In the truth table for the statement form p $\supset$ q, the column of truth values underneath the consequent should be:

If at least one disjunct of a disjunction is a tautology, then the disjunction itself is a:

Two statements are both true on at least one row of their truth tables.Therefore, the statements are:

The connective used for disjunctions is:

The connective used for conditionals is:

Two statements are contradictory.Therefore, they are also:

The statement form p $\rightarrow$ q is: