converse implication
Given P→Q, the implication Q→P
Also known as implied by · ←
- Instance of
- Subclass of
- Part of
Overview
All data
10 statements · 0% with external sources · numbers in brackets are citations
- Defining formula
P \leftarrow QP \lor \neg Q
- TeX string
- \leftarrow
On other databases
2 identifiers linking converse implication across the web's reference databases