modus tollens

Немецкий Язык - Английский Язык

Определение modus tollens в Немецкий Язык Английский Язык словарь

Связанные Термины

Modus tollens /MTT/ (Art der logischen Folgerung)

modus tollendo tollens /MTT/ (rule of inference)

Modus ponendo tollens /MPT/ (Art der logischen Folgerung)

modus ponendo tollens /MPT/ (rule of inference)

Modus tollendo tollens

modus tollendo tollens /MTT/ (rule of inference)

Английский Язык - Английский Язык

Определение modus tollens в Английский Язык Английский Язык словарь

A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form:

3. Therefore, not P.

Связанные Термины

modus ponens and modus tollens

(Latin: "method of affirming" and "method of denying") In logic, two types of inference that can be drawn using a hypothetical proposition i. e., from a proposition of the form "If p, then q" (symbolically p q). Modus ponens refers to inferences of the form p q; p, therefore q. Modus tollens refers to inferences of the form p q; q, therefore, p. An example of modus tollens is the following: "If an angle is inscribed in a semicircle, then it is a right angle; this angle is not a right angle; therefore, this angle is not inscribed in a semicircle

Этимология

[ "mO-d&s-"ä-p&-'ra ] (noun.) 1654. From modus tollendō tollēns (“the mode where the denying denies”) from modus (“mode”) and forms of tollō (“I deny”).