Mathematical logic and foundations Concept
Implication
Summary
Implication is the logical operation "if ... then". The implication from to is false only when is true and is false.
Where this leads
2 pages build on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Material_conditional, lead section
About this page
| Tag | 0NMG7W7Q11 |
|---|---|
| URI | m2://0NMG7W7Q11 |
| Aliases | material-conditional, conditional |
| Kind | concept |
| Writing | W1 stated |
| MSC | 03B05 |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: at least two examples (0 of 2)
- edge not_instance_of in: at least one non-example (0 of 1)
- edge specializes both: the more general notions and the special cases (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.