Problem Set 7 Problem 1

From: samepst@cs.bu.edu
Date: Mon Nov 06 2006 - 12:20:20 EST 

Return-Path: <samepst@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: CollegeOfNewCaledonia: cs3.bu.edu 1189; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-3.4 required=10.0 tests=ALL_TRUSTED,BAYES_00, NO_REAL_NAME autolearn=ham version=3.1.0
X-Spam-Pyzor: 
Received: from csa3.bu.edu (csa3 [128.197.12.5]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id kA6HKKEo003935 for <cs520@cs.bu.edu>; Mon, 6 Nov 2006 12:20:20 -0500
Received: (from apache@localhost) by csa3.bu.edu (8.13.6/8.12.11/Submit) id kA6HKK2g025442; Mon, 6 Nov 2006 12:20:20 -0500
X-Authentication-Warning: csa3.bu.edu: apache set sender to samepst@cs.bu.edu using -f
Received: from 71.192.166.44 (SquirrelMail authenticated user samepst) by cs-squirrelmail.bu.edu with HTTP; Mon, 6 Nov 2006 12:20:20 -0500 (EST)
Message-ID: <33141.71.192.166.44.1162833620.squirrel@cs-squirrelmail.bu.edu>
Date: Mon, 6 Nov 2006 12:20:20 -0500 (EST)
Subject: Problem Set 7 Problem 1
From: samepst@cs.bu.edu
To: cs520@cs.bu.edu
User-Agent: SquirrelMail/1.4.6-4.fc2.1.legacy
Content-Type: text/plain;charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Priority: 3 (Normal)
Importance: Normal
X-Clamav-Status: No
Status: RO
X-Status: A
Content-Length: 359
X-UID: 45
X-Keywords:

I'm running into a counterexample when I weaken lemma 0.2 in handout 14
along the lines lemma 1.0 in handout 16. This is because variables are not
considered values in the Handout 14, whereas they are in handout 16. So
the counterexample to weakening of lemma 0.2 is t = x.

Can it be assumed that variables are values in handout 14?

Thank You,
-Sam Epstein

This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST