Cognidia Reference

Complete guide to Cognidia Reasons and their definitions

eval

  • Applicable to Expressions

  • Justifies that two Expressions are equal because one or more independent sub-expressions within the first Expression are evaluated to their values.

  • Performs single-step evaluations on each sub-expression, and does not recursively evaluate sub-expressions multiple times to reach a final numerical result.

calc

  • Applicable to Expressions

  • Justifies that two Expressions are equal due to repeated application of eval on one or more sub-expressions within the first Expression.

commutativity

  • Applicable to Expressions

  • Refers to the application of commutativity property

associativity

  • Applicable to Expressions

  • Refers to the application of associativity property

distributivity

  • Applicable to Expressions

  • Refers to the application of distributivity property

rearrange

  • Applicable to Expressions and Propositions

  • Justifies the equality of Expressions or equivalence of Propositions due to reordering or regrouping of sub-expressions or terms.

  • Justifies a repeated application of one or more of commutativity, associativity, or identity.

  • Does not justify numerical calculation or evaluations

  • Does not justify application of any other transformation such as distributivity

combineLikeTerms

  • Applicable to Expressions and Propositions

  • Justifies the equality of Expressions or equivalence of Propositions due to combining one or more like terms into a single term

  • Justifies combining terms that have identical variable parts (same sets of variables raised to the same powers)

  • Constants (Numbers and Special Constants) are considered like terms with each other