rdfs:comment
-
 |
This is a "mix in" class that allows a proposition to be about another "stated" statement. A proposition will either be a proposition about a statement or will be a subclass of one of the other forms of proposition.
|
-
|
|
This is a mixin class for propositions that reference other propositions (Vs propositions that are true or false in their own right). Cheryl's car is blue is a proposition about cheryl's car. Car is blue is an independent assertion, not a propoisition about a statement.
|
|
