COURSES

ADMIN

ABOUT

ERIC KAO
Mike Genesereth September 2012

Introduction to Logic
Home Video Lectures Notes Exercises Problems Applications Puzzles Discussion Forums Solutions

Feedback Problem 2.1 Formalization

You have submitted this homework on Tue 23 Oct 2012 8:44:52 PM PDT. You achieved a score of 10.00 out of 10.00.
(10 pt) Let r represent that it is raining. Let h represent that Mary is happy. Let s represent that Mary is sad. For each English sentence below, choose a correct formalization in propositional logic.

Question 1
If it is raining, then Mary is sad. Your Answer
r s

Score 2.00 2.00 / 2.00

Explanation

Join a Meetup Course Wiki

Instructor Support I18N Editor

Total

Question 2
If Mary is sad, then Mary is not happy. Your Answer
s h

Score 2.00 2.00 / 2.00

Explanation

Total

Question 3
If Mary is not happy, then it is raining. Your Answer
h r

Score 2.00 2.00 / 2.00

Explanation

Total

Question 4
Mary is neither happy nor sad. Your Answer
h s

Score 2.00

Explanation

Total

2.00 / 2.00

Question 5
If Mary is both happy and sad, then it is not raining. Your Answer
(h s) r

Score 2.00 2.00 / 2.00

Explanation

Total