e/Modus ponens

New Query

Information
has glosseng: In classical logic, modus ponendo ponens (Latin for mode that affirms by affirming; often abbreviated to MP or modus ponens) is a valid, simple argument form sometimes referred to as affirming the antecedent or the law of detachment. It is closely related to another valid form of argument, modus tollens (not to be confused with the invalid form, "denying the consequent").
has glosseng: Modus ponendo ponens (Latin: mode that affirms by affirming; is a valid, simple argument form in classical logic sometimes referred to as affirming the antecedent or the law of detachment. It is closely related to another valid form of argument, modus tollens or denying the consequent.
lexicalizationeng: Affirming the antecedent
lexicalizationeng: Modus ponens
instance ofe/Rule of inference
Meaning
Bulgarian
has glossbul: Модус поненс (Modus ponens, съкратено от Modus ponendo ponens) е правило за извод в класическата логика, което гласи: Ако е вярно съждението P → Q и е вярно съждението P, то е вярно Q.
lexicalizationbul: Модус поненс
Catalan
has glosscat: Modus ponens (llatí: mode que afirma) és una regla d'inferència simple:
lexicalizationcat: Modus ponens
Danish
has glossdan: Modus ponens er navnet på en syllogisme indenfor klassisk logik.
lexicalizationdan: Modus ponens
German
has glossdeu: 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.
lexicalizationdeu: Modus Ponens
Estonian
has glossest: Modus ponens on järeldusreegel kujul:
lexicalizationest: Modus ponens
Persian
has glossfas: در منطق، قاعدهٔ وضع مقدم (که معمولا Modus ponens خوانده می‌شود)، یکی از ساده‌ترین اشکال استدلال صوری است.
lexicalizationfas: وضع مقدم
French
has glossfra: Le modus ponens, ou détachement, est une figure du raisonnement logique concernant limplication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite lantécédent (« or, A ») pour en déduire le conséquent (« donc B »). Le terme modus ponens (ou plus exactement modus ponendo ponens) vient de ce que lon pose A (ponens est le participe présent de verbe latin ponere, poser) afin den tirer la conclusion.
lexicalizationfra: Modus Ponens
Hebrew
has glossheb: בלוגיקה, מודוס פוננס הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים: #\ P. (כלומר - מתקיים P). #\ P\rarr Q (כלומר - אם מתקיים P אז מתקיים Q). את המסקנה הבאה: *\ Q. (כלומר - מתקיים Q).
lexicalizationheb: מודוס פוננס
Icelandic
has glossisl: :Þessi grein fjallar um jákvæða játunarreglu. Um neikvæða játunarreglu, sjá Modus tollendo ponens.
lexicalizationisl: Jákvæð játunarregla
Italian
has glossita: Nella logica, il Modus ponens (MP), accorciamento del latino modus ponendo ponens (modo che afferma) è una semplice e valida regola d'inferenza, che afferma in parole:
lexicalizationita: modus ponens
Japanese
has glossjpn: モーダスポネンス(ラテン語: 、MP)とは、論理学における妥当で単純な「論証」である。ラテン語で「肯定によって肯定する様式」の意。前件肯定 または分離規則 とも呼ぶ。
lexicalizationjpn: モーダスポネンス
Korean
has glosskor: 전건 긍정의 형식(前件肯定形式) 또는 전건긍정식은 고전논리학의 단순하고 유효한 논증식 중 하나이다. 라틴어로 modus ponendo ponens라고 하며, 줄여서 modus ponens 또는 MP라고 한다. 후건 부정의 형식(modus tollens)과 밀접한 관련이 있다.
lexicalizationkor: 전건 긍정의 형식
Dutch
has glossnld: Modus ponendo ponens (Latijn: wijs die door te stellen (bevestigen) [iets] stelt (bevestigt), ponere→"(neer) zetten") is een geldige propositionele redeneringsvorm (wel afgekort tot MP) met twee premissen, waarvan de eerste een voorwaardelijke uitspraak is:
lexicalizationnld: modus ponens
Polish
has glosspol: Modus ponendo ponens (łac. sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.
lexicalizationpol: Modus ponendo ponens
Portuguese
has glosspor: Em lógica, Modus ponens (em Latim: modo de afirmar) é um dos modos dos silogismos condicionais (normalmente abreviado para MP):
lexicalizationpor: Modus ponens
Russian
has glossrus: Modus ponens (правило заключений): если A и A→B — выводимые формулы, то B также выводима.
lexicalizationrus: Modus ponens
Slovak
has glossslk: (Pravidlo) modus ponens alebo (Pravidlo) modus ponendo ponens alebo pravidlo odlúčenia je nasledujúca schéma usudzovania: ((A => B) Λ A )=> B.
lexicalizationslk: Modus ponens
Castilian
has glossspa: En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
lexicalizationspa: Modus ponendo ponens
Serbian
has glosssrp: У логици, модус поненс је једноставан валидан, облик аргумента. Често се употребљава. Следећег је облика:
lexicalizationsrp: модус поненс
Swedish
has glossswe: Modus ponens (latin: metod för bekräftelse) är ett argumentationssteg som (obemärkt) görs i alla möjliga typer av resonemang. I logisk terminologi sägs modus ponens vara ett exempel på en (satslogisk) härledningsregel.
lexicalizationswe: Modus ponens
Ukrainian
has glossukr: Modus ponens (Латиною: метод що підтверджує) це коректна, проста форма аргументації (часами використовується скорочення MP):
lexicalizationukr: modus ponens
Chinese
has glosszho: 在逻辑中,肯定前件(拉丁语: Modus ponens)是有效的、简单的论证形式(常缩写为MP):
lexicalizationzho: 肯定前件

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint