| http://www.w3.org/ns/prov#value | - Consider:(A) C is false(B) C is xxx(C) A or B, i.e. C is false or C is xxx, i.e. C is not trueThen C follows from B. But I would not assert that from the truth of B, one can conclude the truth of C. B is true, but C is not true.ReplyDeleteCatarina18 June 2012 at 08:06I added an update in the post to refer to a paper by Sue Rogerson that is highly relevant for this discussion.
|
