---
tag: 0NMG7W7Q11
kind: concept
name: Implication
aliases: [material-conditional, conditional]
msc: [03B05]
sources:
  - url: https://en.wikipedia.org/wiki/Material_conditional
    locator: lead section
same_as:
  wikidata: Q7881229
  wikipedia: Material conditional
---

## Summary

Implication is the logical operation "if ... then".
The implication from $p$ to $q$ is false only when $p$ is true and $q$ is false.