Go backward to Infering Additional Knowledge
Go up to Top
Go forward to Propositional Consequences (Continued)
|
Go backward to Infering Additional Knowledge Go up to Top Go forward to Propositional Consequences (Continued) |
|
The following conclusions are propositional consequences for every formula A and B:
| ~~A |
| A |
| A |
| ~~A |
| A /\ B |
| A |
| A |
| A \/ B |