|
Size: 635
Comment:
|
Size: 634
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| [[latex2($$X \models y$$)]] | [[latex2($$X \models y$$)]] |
Logical Implication
Consider
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 latex2($$X \models y$$), show that latex2($$X \Rightarrow y$$) is a tautology.
Therefore a tautology of the form latex2($$A \models B$$) is called 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.
See LogicNotes
Back to ComputerTerms