527
Comment:
|
760
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
= Logical Implication = | = Logical Implication or Entailment = |
Line 5: | Line 5: |
X |= y | [[latex2($$X \models y$$)]] |
Line 7: | Line 7: |
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. | where X is some set of premises and y is the conclusion. This simply means that the conjuction of all the premises entail the conclusion. We say that [[latex2($X \models y$)]] if and only if all the models of [[latex2($X$)]] are models of [[latex2($y$)]]. |
Line 9: | Line 9: |
To show X |= y, show that X => y is a tautology. | To show [[latex2($$X \models y$$)]], show that [[latex2($$X \Rightarrow y$$)]] is a tautology. |
Line 11: | Line 11: |
Therefore a tautology of the form A |= B is called a Logical Implication. | We call a tautology of the form [[latex2($$A \models B$$)]] a Logical Implication. |
Line 13: | Line 13: |
In predicate calculus, we often times use |- to denote logical implication. In this case we must prove that the predicate calculus expression is valid. | In predicate calculus, we often times use [[latex2($$\vdash$$)]] to denote logical implication. In this case we must prove that the predicate calculus expression is valid. (Update this!!!) |
Logical Implication or Entailment
Consider
where X is some set of premises and y is the conclusion. This simply means that the conjuction of all the premises entail the conclusion. We say that latex2($X \models y$) if and only if all the models of latex2($X$) are models of latex2($y$).
To show latex2($$X \models y$$), show that latex2($$X \Rightarrow y$$) is a tautology.
We call a tautology of the form latex2($$A \models B$$) a Logical Implication.
In predicate calculus, we often times use latex2($$\vdash$$) to denote logical implication. In this case we must prove that the predicate calculus expression is valid. (Update this!!!)
See LogicNotes
Back to ComputerTerms