Several of you have asked for clarification regarding Part IV (‘A Puzzle about English Conditional Sentences’) of your third homework assignment.  Having read the directions again, they do seem a bit unclear.  Here is what is being asked of you:

In Part A, you should produce a PropL formula that translates the English sentence in (12).

(12)  It’s not true that if Darwin was wrong, then God exists.

Then, construct a truth table for that PropL formula.

In Part B, you should use the truth-table method that we discussed in class to determine the entailment relationships that exist between the PropL translations of  i) (12) and its antecedent, ii) (12) and its consequent, iii) (12) and the negation of its antecedent, and iv) (12) and the negation of its consequent.  In other words, this part of the assignment asks you to only consider the entailment relations that exist amongst the relevant PropL formulas.  Note that in order to complete this task, you will likely have to add some new columns to your truth table from Part A.  Also, a terminological note:  remember that the ‘antecedent’ of a conditional sentence is the embedded sentence that immediately follow if, while the ‘consequent’ of a conditional sentence is the embedded sentence that immediately follows then.

In Part C, you should ask whether the entailment relations that you identified in Part B correctly represent your intuitions about the information that the English sentence (12) manages to convey.  In other words, this part of the assignment asks to you consider whether the meaning of your PropL translation does in fact adequately represent the actual meaning of (12).  If you feel that it does not, then you should explain the problem(s) as precisely as you can, making sure to describe what (12) actually does convey.