hw3 - CS 165A – Artificial Intelligence, Winter 2011,...

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS 165A – Artificial Intelligence, Winter 2011, Assignment #3 – Propositional Logic Due before class on February 8, 2011 Notes • Be sure to re-read the “Policy on Academic Integrity” on the course syllabus. • Any updates or corrections will be posted on the Announcements page (home page for the course), so check there occasionally. • Hand in your copy in the class (please use a word processing editor). • Important: Keep your answers precise and concise. Avoid writing a monograph! A few sentences are plenty for each part of your answer. Exercises 7.6 Prove, or find a counterexample to, each of the following assertions: a. If α |= γ or β |= γ (or both) then (α ∧ β ) |= γ b. If α |= (β ∧ γ ) then α |= β and α |= γ . c. If α |= (β ∨ γ ) then α |= β or α |= γ (or both). 7.10 Decide wheater each of the following sentences is valid, unsatisfiable, or neither. Verify your decisions using truth tables or the equivalence rules of Figure 7.11 (page 249). c. (Smoke ⇒ F ire) ⇒ (¬Smoke ⇒ ¬F ire) f. (Smoke ⇒ F ire) ⇒ ((Smoke ∧ Heat) ⇒ F ire) g. Big ∨ Dumb ∨ (Big ⇒ Dumb) 1 2 ...
View Full Document

This note was uploaded on 02/22/2011 for the course CS 165A taught by Professor Su during the Spring '11 term at UCSB.

Page1 / 2

hw3 - CS 165A – Artificial Intelligence, Winter 2011,...

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

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