corresponding conditional

<logic> Every derivation, A1, A2,...An therefore B, can be re-expressed as a conditional statement, (A1 o A2 o ...o An) =>B, called the corresponding conditional of the argument.

[Glossary of First-Order Logic]


Try this search on OneLook / Google

Nearby terms: corpuscularianism « correspondence theory of truth « corresponding argument or derivation « corresponding conditional » cosmological arguments » countable » countably many