This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: \documentclass[12pt]{article} \textwidth = 6.5 in \textheight = 9 in \oddsidemargin = 0.0 in \evensidemargin = 0.0 in \topmargin = 0.2 in \headheight = 0.0 in \headsep = 0.0 in \parskip = 0.2in \parindent = 0.0in \usepackage{amsmath,amssymb,enumerate} % ========================================================= \begin{document} \begin{center} {\LARGE \textbf{CS 173: Discrete Structures, Spring 2010} \\ \textbf{Homework 2} \\[1ex]} \end{center} This homework contains 6 problems worth a total of 50 points. It is due on Friday, February 5th at 4pm. (As usual, put your homework in the appropriate dropbox in the Siebel basement.) \bigskip\hrule \begin{enumerate} % \item \textbf{[9 points] Logic notation} Translate the following sentences into propositional or predicate logic. Use the shorthand symbols (e.g. $\vee$) and define the meaning of each of your predicates and propositional variables. (See pages 11 and 4243 of Rosen for examples.) Be sure to include a domain (aka replacement set) for each quantified variable. You may need to rewrite the sentences slightly so as to make a variable more explicit. \begin{enumerate} \item Every cookie that contains lots of butter is tasty but is also fattening....
View
Full
Document
This note was uploaded on 11/09/2011 for the course CS 173 taught by Professor Erickson during the Spring '08 term at University of Illinois, Urbana Champaign.
 Spring '08
 Erickson

Click to edit the document details