Implicational Logic

From: Quan (Yuan@cs.bu.edu)
Date: Tue Sep 28 2004 - 00:54:14 EDT 

Return-Path: <Yuan@cs.bu.edu>
Received: from cs.bu.edu (cs [128.197.12.2]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i8S3sJFC007073; Mon, 27 Sep 2004 23:54:19 -0400
Received: from whoamI (dip13-ppp-92.bu.edu [168.122.13.92]) (authenticated bits=0) by cs.bu.edu (8.12.2/8.12.2) with ESMTP id i8S3s58p012276 for <cs520@cs.bu.edu>; Mon, 27 Sep 2004 23:54:14 -0400 (EDT)
Message-Id: <200409280354.i8S3s58p012276@cs.bu.edu>
Date: Mon, 27 Sep 2004 23:54:14 -0500
From: "Quan" <Yuan@cs.bu.edu>
To: "cs520@cs.bu.edu" <cs520@cs.bu.edu>
Subject: Implicational Logic
X-mailer: Foxmail 5.0 [cn]
Content-Type: text/plain; charset="gb2312"
Content-Transfer-Encoding: 7bit
X-Spam-HitLevel: xxx
X-Spam-DCC: dcc.uncw.edu: cs3.bu.edu 1201; Body=19 Fuz1=19
X-Spam-Checker-Version: SpamAssassin 2.64 (2004-01-11) on cs3.bu.edu
X-Spam-Level: ***
X-Spam-Status: No, hits=3.4 required=10.0 tests=AWL,MSGID_FROM_MTA_BACKUP, RCVD_IN_NJABL_DUL,RCVD_IN_SORBS_DUL,TO_ADDRESS_EQ_REAL autolearn=no  version=2.64
X-Spam-Pyzor: Reported 0 times.
Status: RO
X-Mozilla-Status: 8001
X-Mozilla-Status2: 00000000
X-UIDL: 411f69ec00000cf6

What is implicational logic(IL) in Problem 2 of this homework?
Thanks,

Quan

This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST