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.
In predicate calculus, we often times use |- to denote logical implication. In this case we must prove that the predicate calculus expression is valid.
See LogicNotes
Back to ComputerTerms