| http://www.w3.org/ns/prov#value | - If you doubt this result, look at the truth table forthis statement:And, of course, you can turn this tautology into a contradiction by negating itas follows:~((P ??? Q) ??? (~P 0 Q))Linking inconsistency with contradictionWhen you connect an inconsistent set of statements into a single statementby repeated use of the &-operator, the resulting statement is a contradiction.As you saw earlier, the t
|
