The professor for my symbolic logic course requires us to be extremely precise with our explanations. Given the subject, I understand his reasoning and appreciate his rigor. I am studying for our first exam by doing some of the exercises at the end of the sections on which we're going to be tested. I'm hoping to get some feedback on the reasons I've provided for the following cases. Are they precise enough; verbose; false? In other words, please nit-pick the hell out of them!

I'd also like to deviate a bit from the standard H.W. submission form, if it's okay with the mentors. I would like to place the questions and answers in the same section to keep those who wish to help from having to scroll up and down to match the questions to their corresponding answers.

**1. The problem statement, all variables and given/known data**
**2. Relevant equations**
**3. The attempt at a solution**
*What is the negation of a tautology? Why?*

The negation of a tautology is a contradiction.

Reason: In a tautology, all of the truth-values under the major operator are true, and since all of the values under the major operator are false for a contradiction, it follows that the negation of a column of T’s will be a column of F’s.

*What is the negation of a contradiction? Why?*

The negation of a contradiction is a tautology.

Reason: In a contradiction, all of the truth-values under the major operator are false, and since all of the values under the major operator are true for a tautology, it follows that the negation of a column of F’s will be a column of T’s.

*What is the disjunction of a contingent form and a tautology?*

This will be a tautology, because a disjunction requires only one of the truth-values to be true, which it obtains from the tautology. Therefore, all of the truth-values for the disjunction will end up being true. Hence, the conclusion will be tautological.

*What is the biconditional of two contradictions?*

This will be a tautology, because for a biconditional to be true, both premises’ truth-values must be equivalent. Since all of the truth-values in a contradiction are false, then the biconditional will be true for every instance of the form.

*What is a conditional with a tautology as an antecedent and a contingent form as a consequent? Why?*

This will be another contingency.

Reason: The false truth-values in the contingency will cause the truth-values for the conditional to be false. Since some of the other instances of the conditional form will yield truth-values that are true, then the conclusion will be a mix of true and false instances of the form, thus making a contingency.

*What is the biconditional of two contingent forms? Why?*

This has the possibility to be anything: tautology, contradiction, contingency.

Reason: It’s possible to find instances of the contingent forms that yield all three logical statuses.