of formal logic
, characterized by the non-contradiction of variables and the elimination of double-negative variables; the recognition
of multiple paths to the same answer; that additional assumptions
may be made to expand upon the original argument
, and that any logical argument may be interchanged freely with another one as long as they are all both true statements.