# Definition:Corresponding Conditional

Jump to navigation
Jump to search

## Definition

Let $p_1, p_2, p_3, \ldots, p_n \vdash q$ be a sequent of propositional logic.

It can be expressed as a theorem as follows:

- $\vdash p_1 \implies \left({p_2 \implies \left({p_3 \implies \left({\ldots \implies \left({p_n \implies q}\right) \ldots }\right)}\right)}\right)$

This is known as the sequent's **corresponding conditional**.

This is proved in the Extended Rule of Implication.

Work In ProgressThis pertains probably to the classical interpretation of propositional calculus, and needs to be reformulated and put in the correct category in due timeYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{WIP}}` from the code. |