modus ponens

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

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

Определение modus ponens в Английский Язык Английский Язык словарь: A valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent. Modus ponens has the form:
3. Therefore, Q.
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

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

Определение modus ponens в Английский Язык Немецкий Язык словарь: Modus ponens {m}

modus ponens

Этимология

[ "mO-d&s-"ä-p&-'ra ] (noun.) 1654. Latin mode that affirms From modus ponendo ponens – roughly, “mode where affirming affirms”.

История

Избранное