classical logic

Popular Terms
A classification 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.


Email Print Embed