Size: 635
Comment:
|
Size: 634
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 5: | Line 5: |
[[latex2( |
[[latex2( |
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(
Therefore a tautology of the form latex2(
In predicate calculus, we often times use latex2(
See LogicNotes
Back to ComputerTerms