In conditional reasoning the reasoner must draw a conclusion based on a conditional, or “if…then,” proposition. For example, from the conditional proposition “if today is Monday, then I will attend cooking class today” and the categorical (declarative) proposition “today is Monday,” one can infer the conclusion, “I will attend cooking class today.” In fact, two kinds of valid inference can be drawn from a conditional proposition. In the form of argument known as modus ponens, https://www.britannica.com/topic/modus-ponens the categorical proposition https://www.britannica.com/topic/categorical-proposition affirms the antecedent https://www.merriam-webster.com/dictionary/antecedent of the conditional, and the conclusion affirms the consequent, as in the example just given. In the form known as modus tollens, the categorical proposition denies the consequent of the conditional, and the conclusion denies the antecedent. Thus:В условных рассуждениях рассудитель должен сделать вывод, основанный на условном или «если ... тогда» суждении. Например, из условного предложения «если сегодня понедельник, то я буду присутствовать на кулинарном классе сегодня», а категориальное (декларативное) предложение «сегодня - понедельник», можно сделать вывод: «Сегодня я буду участвовать в кулинарном классе». факт, два вида действительного вывода могут быть сделаны из условного предложения. В форме аргумента, известного как modus ponens, категорическое предложение подтверждает антецедент условного выражения, а заключение подтверждает последующее, как в приведенном примере. В форме, известной как modus tollens, категориальное предложение отрицает следствие условного, и вывод отрицает антецедент. Таким образом: