- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 15 Jun 2006 00:39:24 -0400
- 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 UTC