| http://www.w3.org/ns/prov#value | - For example, if ?? and ?? are propositional constants and ??? is a binary operator, then ?????(???????) is a proposition, which might also be written as ???????????? or in another order.The types of logics called predicate, quantificational, or n-order logic include variables, operators, predicate and function symbols, and quantifiers as symbols in their languages.
|
