Definition:Conditional/Formal Implication

From ProofWiki
Jump to navigation Jump to search


Formal implication is a usage of an implication in which it is necessary for there to be a formal connection between the antecedent and the consequent in order for the implication to have any semantic meaning.

Also known as

Some sources refer to this as causal implication.

Also see