SIMPLIFICATION

Simplification

In propositional logic, simplification is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true. The rule makes it possible to shorten longer proofs by deriving one of the conjuncts of a conjunction on a line by itself.

The above text is a snippet from Wikipedia: Simplification
and as such is available under the Creative Commons Attribution/Share-Alike License.

simplification

Noun

  1. the act of simplifying or something that has been simplified
  2. a valid simple argument


The above text is a snippet from Wiktionary: simplification
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!