Logic_and_Reasoning_updated_2010 revised.ppt