Go backward to Infering Additional KnowledgeGo up to TopGo forward to Propositional Consequences (Continued) |

The following conclusions are propositional consequences for every formula
`A` and `B`:

**Negation**-
~~ `A``A``A`~~ `A` **And Introduction and Or Elimination**-
`A`/\`B``A``A``A`\/`B`

Author: Wolfgang Schreiner

Last Modification: November 30, 1999