Homework 1: Propositional LogicC/C++

Java Python Homework 1: Propositional Logic

Due date: Friday July 28th at 11:59 PM

If you work with others (and you should!), remember to follow the collaboration policy outlined in the syllabus.     In general, you are graded on both the clarity and accuracy of your work.  Your solution should be clear enough that someone in the class who had not seen the problem before would understand it.

We sometimes describe approximately how long our explanations are. These are intended to help you understand approximately how much detail we are expecting. You are allowed to have longer explanations, but explanations significantly longer than necessary may receive deductions.

1.   Translations! [16 points]

Translate the English statements into symbolic logic. You will need to clearly define the propositions you use. Make sure the propositions you introduce are atomic (not the combination of smaller propositions).

(a)  If you are not visiting during business hours, then it is necessary to bring your Husky ID in order to enter CSE2.

Hint: remember propositions need to unambiguously assert something. In all propositions, you need a subject and verb—you may need to infer those from context, but be sure to include it explicitly in your propositions.

(b) You should code exclusively in C++ only if you love total creative freedom and painful debugging sessions.

(c)  Define a set of at most five atomic propositions.  Then, use them to translate all of these sentences about ha