A specific part of formal logic. It is characterized by (1) the non-contradiction of variables and the elimination of double-negative variables, (2) the acknowledging of multiple paths to the same answer, (3) that assumptions can be added and may be used to expand the original argument, and (4) that any logical argument may be freely interchanged with another logical argument as long as all interchanged arguments are true statements.