Bulgarian |
has gloss | bul: Модус поненс (Modus ponens, съкратено от Modus ponendo ponens) е правило за извод в класическата логика, което гласи: Ако е вярно съждението P → Q и е вярно съждението P, то е вярно Q. |
lexicalization | bul: Модус поненс |
Catalan |
has gloss | cat: Modus ponens (llatí: mode que afirma) és una regla d'inferència simple: |
lexicalization | cat: Modus ponens |
Danish |
has gloss | dan: Modus ponens er navnet på en syllogisme indenfor klassisk logik. |
lexicalization | dan: Modus ponens |
German |
has gloss | deu: 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. |
lexicalization | deu: Modus Ponens |
Estonian |
has gloss | est: Modus ponens on järeldusreegel kujul: |
lexicalization | est: Modus ponens |
Persian |
has gloss | fas: در منطق، قاعدهٔ وضع مقدم (که معمولا Modus ponens خوانده میشود)، یکی از سادهترین اشکال استدلال صوری است. |
lexicalization | fas: وضع مقدم |
French |
has gloss | fra: 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. |
lexicalization | fra: Modus Ponens |
Hebrew |
has gloss | heb: בלוגיקה, מודוס פוננס הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים: #\ P. (כלומר - מתקיים P). #\ P\rarr Q (כלומר - אם מתקיים P אז מתקיים Q). את המסקנה הבאה: *\ Q. (כלומר - מתקיים Q). |
lexicalization | heb: מודוס פוננס |
Icelandic |
has gloss | isl: :Þessi grein fjallar um jákvæða játunarreglu. Um neikvæða játunarreglu, sjá Modus tollendo ponens. |
lexicalization | isl: Jákvæð játunarregla |
Italian |
has gloss | ita: 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: |
lexicalization | ita: modus ponens |
Japanese |
has gloss | jpn: モーダスポネンス(ラテン語: 、MP)とは、論理学における妥当で単純な「論証」である。ラテン語で「肯定によって肯定する様式」の意。前件肯定 または分離規則 とも呼ぶ。 |
lexicalization | jpn: モーダスポネンス |
Korean |
has gloss | kor: 전건 긍정의 형식(前件肯定形式) 또는 전건긍정식은 고전논리학의 단순하고 유효한 논증식 중 하나이다. 라틴어로 modus ponendo ponens라고 하며, 줄여서 modus ponens 또는 MP라고 한다. 후건 부정의 형식(modus tollens)과 밀접한 관련이 있다. |
lexicalization | kor: 전건 긍정의 형식 |
Dutch |
has gloss | nld: 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: |
lexicalization | nld: modus ponens |
Polish |
has gloss | pol: Modus ponendo ponens (łac. sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego. |
lexicalization | pol: Modus ponendo ponens |
Portuguese |
has gloss | por: Em lógica, Modus ponens (em Latim: modo de afirmar) é um dos modos dos silogismos condicionais (normalmente abreviado para MP): |
lexicalization | por: Modus ponens |
Russian |
has gloss | rus: Modus ponens (правило заключений): если A и A→B — выводимые формулы, то B также выводима. |
lexicalization | rus: Modus ponens |
Slovak |
has gloss | slk: (Pravidlo) modus ponens alebo (Pravidlo) modus ponendo ponens alebo pravidlo odlúčenia je nasledujúca schéma usudzovania: ((A => B) Λ A )=> B. |
lexicalization | slk: Modus ponens |
Castilian |
has gloss | spa: 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: |
lexicalization | spa: Modus ponendo ponens |
Serbian |
has gloss | srp: У логици, модус поненс је једноставан валидан, облик аргумента. Често се употребљава. Следећег је облика: |
lexicalization | srp: модус поненс |
Swedish |
has gloss | swe: 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. |
lexicalization | swe: Modus ponens |
Ukrainian |
has gloss | ukr: Modus ponens (Латиною: метод що підтверджує) це коректна, проста форма аргументації (часами використовується скорочення MP): |
lexicalization | ukr: modus ponens |
Chinese |
has gloss | zho: 在逻辑中,肯定前件(拉丁语: Modus ponens)是有效的、简单的论证形式(常缩写为MP): |
lexicalization | zho: 肯定前件 |