| http://www.w3.org/ns/prov#value | - I know in symbolic logic a statement like $ \forall x \in \mathbb R, T(x) \Rightarrow G(x) $ means every T is a G, but what claim am I making between T & G with $ \exists x \in \mathbb R, T(x) \Rightarrow G(x) $ in simple everyday english if you can?
|
