e/Corresponding conditional (logic)

Information
has gloss	eng: In logic, the corresponding conditional of an argument (or derivation) is a material conditional whose antecedent is the conjunction of the arguments (or derivations) premises and whose consequent is the argument's conclusion. An argument is valid if and only if its corresponding conditional is a logical truth. It follows that an argument is valid if and only if the negation of its corresponding conditional is a contradiction. The construction of a corresponding conditional therefore provides a useful technique for determining the validity of argument
lexicalization	eng: Corresponding conditional
instance of	e/Statement (logic)