|
⇤ ← Revision 1 as of 2003-10-03 19:46:21
Size: 362
Comment:
|
Size: 372
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| See | See LogicNotes |
Logical Implication
Consider
- X |= y
where X is some set of premises and y is the conclusion. This simply means that the conjuction of all the premises logically implies the conclusion.
To show X |= y, show that X => y is a tautology.
Therefore a tautology of the form A |= B is called a Logical Implication.
See LogicNotes
Back to ComputerTerms