Go backward to
Infering Additional Knowledge
Go up to
Top
Go forward to
Propositional Consequences (Continued)
Propositional Consequences
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