hw1 - CSE 4/563 Knowledge Representation Professor Shapiro...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE 4/563 Knowledge Representation Professor Shapiro Homework 1 Maximum Points: 43 Due: 2:00 PM, Thursday, September 23, 2009 Name(s) h user name(s) i : September 16, 2009 Print this document, print your name(s) and user name(s) on the line above, and write the answers as indicated. Write neatly! Illegible answers will be considered incorrect. This homework is due at the beginning of lecture on the date given above. 1. (6) Indicate, by putting an “X” in the proper blank, whether the following expressions are syntactically correct according to the syntax of Propositional Logic given on pages 25–26 of the Lecture Notes. (a) (1) Is Is Not Q P Q R (b) (1) Is Is Not ( P ⇒ ¬ Q ) ( ¬ Q P ) (c) (1) Is Is Not (( P Q ) R ) [ P ( Q R ]) (d) (1) Is Is Not BirdsFly ¬ ⇒ PenguinsFly (e) (1) Is Is Not TomIsHome ∧ ∨ BettyIsHome (f) (1) Is Is Not Tom drives Betty Betty is the driver 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2. (3) Indicate, by putting an “X” in the proper blank, whether the following expressions are syntactically correct according to the computer-readable syntax of Propositional Logic given on pages 29–30 of the Lecture Notes. (a) (1) Is
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This document was uploaded on 10/15/2010.

Page1 / 5

hw1 - CSE 4/563 Knowledge Representation Professor Shapiro...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online