-
1 Modus Ponens
Latin: MP -
2 Deontic Modus Ponens
Latin: DMPУниверсальный русско-английский словарь > Deontic Modus Ponens
-
3 модус поненс
Mathematics: modus ponens -
4 правило отделения
Mathematics: detachment rule, modus ponens, rule of detachment, rule of separation -
5 утверждающий модус
( условно-категорического силлогизма) modus ponensРусско-английский словарь по электронике > утверждающий модус
-
6 утверждающий модус
( условно-категорического силлогизма) modus ponensРусско-английский словарь по радиоэлектронике > утверждающий модус
-
7 модус поненс
( правило отделения) modus ponens лат.Русско-английский научно-технический словарь Масловского > модус поненс
-
8 модус толлендо поненс
Русско-английский научно-технический словарь Масловского > модус толлендо поненс
-
9 отрицающе-утверждающий модус
Русско-английский научно-технический словарь Масловского > отрицающе-утверждающий модус
-
10 правило удаления дизъюнкции
Русско-английский научно-технический словарь Масловского > правило удаления дизъюнкции
-
11 отрицающе-утверждающий модус
Mathematics: modus tollendo ponensУниверсальный русско-английский словарь > отрицающе-утверждающий модус
-
12 правило удаления дизъюнкции
Mathematics: modus tollendo ponensУниверсальный русско-английский словарь > правило удаления дизъюнкции
-
13 отрицающе-утверждающий модус
( разделительно-категорического силлогизма) modus tollendo ponensРусско-английский словарь по электронике > отрицающе-утверждающий модус
-
14 отрицающе-утверждающий модус
( разделительно-категорического силлогизма) modus tollendo ponensРусско-английский словарь по радиоэлектронике > отрицающе-утверждающий модус
См. также в других словарях:
Modus Ponens — Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l antécédent (« or, A ») pour en déduire le… … Wikipédia en Français
modus ponens — [mɔdyspɔnɛ̃s] n. m. ÉTYM. Loc. lat., littéralement « mode qui pose ». ❖ ♦ Log. Règle de déduction selon laquelle, si une proposition A implique une proposition B, on peut déduire, A étant vraie, que B l est également. (On dit aussi règle de… … Encyclopédie Universelle
Modus ponens — («правило вывода»): если A и A→B выводимые формулы, то B также выводима. Форма записи: , где A, B любые формулы. Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от… … Википедия
Modus Ponens — ♦ Modus Ponens Верное заключение, состоящее в переходе от истинности посылки к истинности ее необходимого следствия. Modus ponens принимает форму: если р, то q; однако р, следовательно, q (например: если Сократ человек, то он смертен; однако… … Философский словарь Спонвиля
Modus ponens — (Latín: modo que afirma) es una regla de inferencia simple: Si P, entonces Q. P. Entonces, Q. Expresado en la notación de operadores lógicos: donde representa la aserción lógica … Enciclopedia Universal
Modus ponens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus Ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den … Deutsch Wikipedia
Modus ponens — Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l antécédent (« or, A ») pour en déduire le… … Wikipédia en Français
Modus ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den … Deutsch Wikipedia
modus ponens — noun 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: 1. If P, then Q. See Also: modus tollens … Wiktionary
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… … Universalium