HW01_Prop_Logic

HW01_Prop_Logic - Illinois Institute of Technology HW 1 CS...

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

View Full Document Right Arrow Icon
CS 536 Homework 1, due Wed Sep 1 Propositional Logic A. Why? Reviewing/overviewing logic is necessary because we’ll be using it in the course. B. Outcomes At the end of this homework you should: Be able to read and write propositional formulas. Be able to develop truth tables for propositional formulas. Have practiced reading and doing logical manipulations on propositional formulas. Note: Submit your work via Blackboard’s digital dropbox, by 2400 hrs (midnight, the end of the day), as described in the course plan. [See http:// www.cs.iit.edu/~cs536] You may not have the symbols ! , " , ¬, # , $ , % , and easily accessible — feel free to write them as and , or , ! , -> , <-> , => , and <=> . C. Questions [50 points total] 1. [5 points] What do you get when you throw away as many parentheses from the following proposition as possible: (¬( p # ((¬ q ) ! r ))) " ((¬ p ! r ) " ( q ! s )) ? 2.
Background image of page 1

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

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

Page1 / 2

HW01_Prop_Logic - Illinois Institute of Technology HW 1 CS...

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