Why do you only have an idea? In your logic system its optionality *defines* SPQ. Why don't you know exactly what it is, based on what you call its definition?
Option A: if SPQ is used, my new car permanently moves.
Option ~A: if SPQ is not used, my new car permanently does not move.
Let's say SQP is 'wheels', or 'engine'. Now both A and ~A are true, which means they can't be each other's negation.
MetalPig, you are still trying to define anything only in terms of an object.
But I define it as an optional property of a given object and definitely not as a given object.
In my mathematical framework the given object is a singleton set, that may be notated as {X}.
Being OR not being a successor of object X is an optional property of object {X}, so A OR its negation is not being {X} OR ~{X}, but it is about the optional property of {X} to be OR not to be a successor of another object, called X.
If object {X} is a successor of object X, then object X optional property of being incomplete, holds.
OR
If object {X} is not a successor of object X, then object X optional property of being complete, holds.
In order to understand such reasoning, one first distinguishes between being an object and being an optional property of the considered object.
OR logical connective guarantees that no optional properties of a given object, are simultaneously taken.
Until this very moment jsfisher, Little 10 Toes, abaddon, you and more posters along this thread do not use a reasoning that enables to distinguish between a given object and its optional properties, where being an optional property of a given object is the ability to use it OR not to use it on another object, such that the other object is also defined by its optional properties.
---------------
Moreover,
http://www.internationalskeptics.com/forums/showpost.php?p=11342271&postcount=1804 is a more comprehensive reasoning about the set concept, which enables to understand object {X} as an agent of Unbounded Unity among Unbounded multiplicity (an ever developed realm).
In case of sets, further details are given in
http://www.internationalskeptics.com/forums/showpost.php?p=11341451&postcount=1797.