# Corresponding conditional > Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Corresponding_conditional > Markdown URL: https://mediated.wiki/source/Corresponding_conditional.md > Source: https://en.wikipedia.org/wiki/Corresponding_conditional > Source revision: 1293639507 > License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/) In [logic](/source/logic), the '''corresponding conditional''' of an [argument](/source/argument) (or derivation) is a [material conditional](/source/material_conditional) whose [antecedent](/source/antecedent_(logic)) is the [conjunction](/source/logical_conjunction) of the argument's (or derivation's) [premise](/source/premise)s and whose [consequent](/source/consequent) is the argument's conclusion. An argument is [valid](/source/Validity_(logic)) [if and only if](/source/if_and_only_if) its corresponding conditional is a [logical truth](/source/logical_truth). It follows that an argument is valid if and only if the negation of its corresponding conditional is a [contradiction](/source/contradiction). Therefore, the construction of a corresponding conditional provides a useful technique for determining the validity of an argument. ==Example== Consider the argument '''A''':
Either it is hot or it is cold
It is not hot
Therefore it is cold
This argument is of the form:
Either P or Q
Not P
Therefore Q

or (using standard symbols of [propositional calculus](/source/propositional_calculus)):

P {{or-}} Q
{{not}}P
____________
Q
The corresponding conditional '''C''' is:
IF ((P or Q) and not P) THEN Q

or (using standard symbols):

((P {{or-}} Q) {{and}} {{not}}P){{imp}} Q
and the argument '''A''' is valid just in case the corresponding conditional '''C''' is a logical truth. If '''C''' is a logical truth then {{not}}'''C''' entails Falsity (The False). Thus, any argument is valid if and only if the denial of its corresponding conditional leads to a contradiction. If we construct a [truth table](/source/truth_table) for '''C''' we will find that it comes out''' T''' (true) on every row (and of course if we construct a truth table for the negation of '''C''' it will come out '''F''' (false) in every row. These results confirm the validity of the argument''' A''' Some arguments need [first-order predicate logic](/source/First-order_logic) to reveal their forms and they cannot be tested properly by truth tables forms. Consider the argument '''A1''':
Some mortals are not Greeks
Some Greeks are not men
Not every man is a logician
Therefore Some mortals are not logicians
To test this argument for validity, construct the corresponding conditional '''C1''' (you will need first-order predicate logic), negate it, and see if you can derive a contradiction from it. If you succeed, then the argument is valid. ==Application== Instead of attempting to derive the conclusion from the premises proceed as follows. To test the validity of an argument (a) translate, as necessary, each premise and the conclusion into sentential or predicate logic sentences (b) construct from these the negation of the corresponding conditional (c) see if from it a contradiction can be derived (or if feasible construct a truth table for it and see if it comes out false on every row.) Alternatively construct a truth tree and see if every branch is closed. Success proves the validity of the original argument. In case of the difficulty in trying to derive a contradiction, one should proceed as follows. From the negation of the corresponding conditional derive a theorem in [conjunctive normal form](/source/conjunctive_normal_form) in the methodical fashions described in text books. If, and only if, the original argument was valid will the theorem in conjunctive normal form be a contradiction, and if it is, then that it is will be apparent. ==Further reading== *{{cite book|title=First-order Logic: An Introduction|last=Cauman|first=Leigh S.|publisher=Walter de Gruyter|year=1998|isbn=3-11-015766-7|page=19}} *{{cite book|title=The Cambridge Companion to Mill|last=Skorupski|first=John|publisher=Cambridge University Press|year=1998|isbn=0-521-42211-6|page=[https://archive.org/details/cambridgecompani0000unse_z7h9/page/40 40]|url=https://archive.org/details/cambridgecompani0000unse_z7h9/page/40}} *{{cite book|title=The Languages of Logic: An Introduction to Formal Logic|last=Guttenplan|first=Samuel D.|publisher=Blackwell Publishing|year=1997|isbn=1-55786-988-X|page=90}} *{{cite book|title=The Value of Knowledge and the Pursuit of Understanding|last=Kvanvig|first=Jonathan L.|publisher=Cambridge University Press|year=2003|isbn=0-521-82713-2|page=175}} *{{cite book|title=Logic|last=Tomassi|first=Paul|publisher=Routledge|year=1999|isbn=0-415-16696-9|page=153}} ==External links== * [https://web.archive.org/web/20070221225317/http://www.swif.uniba.it/lei/foldop/foldoc.cgi?corresponding+conditional Corresponding conditional from the Free On-line Dictionary of Computing] * https://books.google.com/books?id=TQlvJJgUiVoC&pg=PA19 * https://books.google.com/books?id=BVHwg_qNxosC&pg=PA40 * http://www.earlham.edu/~peters/courses/log/terms2.htm * http://www.csus.edu/indiv/n/nogalesp/SymbolicLogicGustason/SymbolicLogicOverheads/Phil60GusCh2TruthTablesSemanticMethods/TTValidityCorrespondingConditional.doc * https://books.google.com/books?id=xfOdpyj1bSIC&pg=PA90 * https://books.google.com/books?id=OxXopc5AjQ0C&pg=PA175 * https://books.google.com/books?id=tb6bxjyrFJ4C&pg=PA153 Category:Conditionals Category:Statements --- Adapted from the Wikipedia article [Corresponding conditional](https://en.wikipedia.org/wiki/Corresponding_conditional) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Corresponding_conditional?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.