W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

log:supports, log:implies, and conditional proof

From: Dan Connolly <connolly@w3.org>
Date: Thu, 15 Jun 2006 00:39:24 -0400
Message-Id: <b89dc56874561812dbd57211072969a4@w3.org>
To: public-cwm-talk@w3.org

Tim, Yosi,

The code for checking log:supports proof reminded me of conditional 
proof:

1. Show A->B
1a. A [assumption for conditional proof]
1b ...
1c. B

which makes me wonder: what's the difference between log:implies and 
log:supports?


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 15 June 2006 04:39:25 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT