Modus ponens (original) (raw)

About DBpedia

Pravidlo modus ponens, též modus ponendo ponens nebo pravidlo vynětí, je odvozovací pravidlo a základ argumentace a dokazování nejen ve výrokové logice.

Property Value
dbo:abstract En lògica, el modus ponendo ponens (en llatí, literalment manera que posa tot posant, en el sentit de manera que afirmant afirma), també anomenat modus ponens i generalment abreujat MPP o MP, és una regla d'inferència que té la següent forma: Si A, aleshores BAPer tant, B Per exemple, un raonament que segueix la forma del modus ponens podria ser: Si fa sol, llavors és de dia.Fa sol.Per tant, és de dia. Una altra manera de presentar el modus ponens és: I encara una altra manera és a través de la notació del càlcul de següent: En l'axiomatització de la lògica proposicional proposada per Jan Łukasiewicz, el modus ponens és l'única regla d'inferència primitiva. Això ha motivat que molta de la discussió al voltant del problema de la justificació de la deducció s'hagi centrat en la justificació del modus ponens. En lògica proposicional la seva representació és la següent: (ca) Pravidlo modus ponens, též modus ponendo ponens nebo pravidlo vynětí, je odvozovací pravidlo a základ argumentace a dokazování nejen ve výrokové logice. (cs) القياس الاستثنائي ما يكون عين النتيجة أو نقيضها مذكورا فيه بالفعل، كقولنا إن كان هذا جسما فهو متحيز، لكنه جسم، ينتج أنه متحيز، وهو بعينه مذكور من القياس، أو لكنه ليس بمتحيز، ينتج أنه ليس بجسم، ونقيضه قولنا: إنه جسم مذكور في القياس. (ar) 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. Er erlaubt es, aus zwei Aussagen der Form (Wenn A, dann B) und (A) (den beiden Prämissen der Schlussfigur) eine Aussage der Form B (die Konklusion der Schlussfigur) herzuleiten. Die technisch korrekte Bezeichnung für den Modus ponens ist – in Abgrenzung zum Modus tollendo ponens – Modus ponendo ponens. Synonym werden unter anderem die Ausdrücke Abtrennungsregel oder Implikationsbeseitigung verwandt. In halbformalen Kalkülen wird die Schlussregel vielfach mit MP abgekürzt. (de) Modus ponendo ponens edo modus ponens (MD laburtuta) logika proposizionalaren eta bat da. Laburtuz, “baldin P-k inplikatzen badu Q; eta P egia bada; orduan, Q ere egiazkoa da.” Modus ponendo ponens-en historia luzea da. Formalki, modus ponendo ponens honela adieraz daiteke: Erregelak dio: "P → Q" eta "P" froga logiko batean lerro berdinean badaude, Q hurrengo lerroan idatzi daitekeela. Ikusten denez, P premisa eta inplikazioa deuseztatu egiten dira, bakarrik Q premisa mantentzen da ondoren berrerabili izateko, dedukzio konplexuago batean adibidez. Modus ponendo ponens-en adibidea: * Euria egiten badu, antzoki barruan itxarongo zaitut. * Euria egiten du. * Ondorioz, antzoki barruan itxarongo zaitut. Logikan modus ponendo ponens kontzeptu erabilienetariko bat da eta ez da lege logikoekin nahastu behar. Izan ere, froga deduktiboak egiteko mekanismo onartua da, “definizio araua” eta “ordezkapen araua” barne hartzen dituena. Modus ponendo ponens-ek argumentu (aurrekari) baten edo baten inplikazioa kentzea ahalbidetzen du, eta ondorioz sinboloz beteriko kate luzea sinpleago gera daiteke. Horregatik, batzuetan modus ponendo ponens banatze araua bezala ezagutzen da. Adibidez, Enderton konturatu zen formula luzeak motzago egin daitezkeela modus ponendo ponens erabilita eta Russellek adierazi zuen inferentzia prozesua ezin dela sinboloetara murriztu. Berari okurritu zitzaion ⊦ Q (atzekaria), modus ponendo ponens inferentzia ez dela egiazko premisa baten abiaraztea, inplikazio baten deuseztatzea baizik. Modus ponendo ponens modus tollendo tollens-ekin hertsiki erlazionatua dago. Hauek bi argumentu antzeko adierazten dituzte: eta . Ezbai konstruktiboa modus ponendo ponens-en bertsio hautakaria da. hertsiki erlazionatuta dago modus ponendo ponens-ekin eta batzuetan "modus ponens bikoitza” gisa ezagutzen da. (eu) El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens,​​​​ eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.​ Se puede resumir como "si P implica Q; y si P es verdad; entonces Q también es verdad."​ La historia del modus ponendo ponens se remonta a la antigüedad.​ El modus ponendo ponens puede establecerse formalmente como: donde la regla es cuando "P → Q" y "P" aparezcan por sí mismos en una misma línea de una prueba lógica, Q puede ser escrito válidamente en una línea subsiguiente. Nótese que la premisa de P y la implicación se "disuelven", siendo su único rastro el símbolo Q que se mantiene para su uso posterior, por ejemplo, en una deducción más compleja. Un ejemplo de modus ponendo ponens es: Si está lloviendo, te espero dentro del teatro.Está lloviendo.Por lo tanto, te espero dentro del teatro. Si bien el modus ponendo ponens es uno de los conceptos más utilizados en la lógica, no debe confundirse con una ley lógica. Más bien, es uno de los mecanismos aceptados para la construcción de pruebas deductivas que incluye la "regla de definición" y la "regla de sustitución".​ Modus ponendo ponens permite eliminar una sentencia condicional de una (los antecedentes) y por lo tanto no llevar estos antecedentes adelante en una cadena alargada y constante de símbolos. Por esta razón, el modus ponendo ponens a veces se denomina regla de la separación.​ Enderton, por ejemplo, observó que "el modus ponendo ponens puede producir fórmulas más cortas de las más largas",​ y Russell señaló que "el proceso de la inferencia no puede reducirse a los símbolos. Su único registro es la ocurrencia de ⊦ Q [el consecuente]...una inferencia modus ponendo ponens no es tanto el lanzamiento de una premisa verdadera, sino que es la disolución de una implicación".​ El modus ponendo ponens está estrechamente relacionado con otra forma de argumento valida, el modus tollendo tollens. Ambos están relacionados con dos formas no válidas de argumento o falacias: afirmación del consecuente y negación del antecedente. Adicionalmente, el dilema constructivo es la versión disyuntiva del modus ponendo ponens. El silogismo hipotético está estrechamente relacionado con el modus ponendo ponens y a veces se lo considera como el "ponens modus doble." (es) In propositional logic, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), also known as modus ponendo ponens (Latin for "method of putting by placing") or implication elimination or affirming the antecedent, is a deductive argument form and rule of inference. It can be summarized as "P implies Q. P is true. Therefore Q must also be true." Modus ponens is closely related to another valid form of argument, modus tollens. Both have apparently similar but invalid forms such as affirming the consequent, denying the antecedent, and evidence of absence. Constructive dilemma is the disjunctive version of modus ponens. Hypothetical syllogism is closely related to modus ponens and sometimes thought of as "double modus ponens." The history of modus ponens goes back to antiquity. The first to explicitly describe the argument form modus ponens was Theophrastus. It, along with modus tollens, is one of the standard patterns of inference that can be applied to derive chains of conclusions that lead to the desired goal. (en) Dalam kalkulus proposisional, modus ponens (disingkat MP, bahasa Latin: modus ponendo ponens, terj. modus yang menegaskan dengan menegaskan) atau implikasi penghapusan adalah aturan penarikan kesimpulan. Hal ini dapat diringkas sebagai "P maka Q dan P adalah keduanya dianggap benar, maka Q harus benar." Modus ponens berkaitan erat dengan aturan lain, modus tollens. Silogisme berkaitan erat dengan modus ponens dan kadang-kadang dianggap sebagai "modus ponens ganda." Sejarah modus ponens berawal dari zaman kuno. Yang pertama secara eksplisit menggambarkan bentuk argumen modus ponens adalah Theophrastus. (in) 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 conséquent (« donc B »). Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie le mode qui, en posant, pose. Il vient de ce qu'en posant (affirmant) A, on pose (affirme) B (ponendo est le gérondif du verbe ponere qui signifie poser, et ponens en est le participe présent). Le syllogisme est une forme d'application du modus ponens. (fr) Nella logica, il modus ponens (MP), accorciamento del latino modus ponendo ponens ("modo che afferma", letteralmente "modo che pone con l'aver posto"), è una semplice e valida regola d'inferenza, che afferma in parole: Se p implica q è una proposizione vera, e anche la p è vera, allora la conseguenza q è vera o in notazione con operatori logici: dove rappresenta l'asserzione logica, nota anche come sequente. Questa forma di deduzione ha due premesse: la prima è l'asserzione "se-allora" o , cioè che p implica q. La seconda premessa è che p, l'ipotesi dell'asserzione condizionale, sia vera. Da queste due premesse si può logicamente dedurre che q, la conseguenza nell'affermazione condizionale, dev'essere vera anch'essa. La regola viene talvolta denominata: principio di disgiunzione, affermazione dell'antecedente, ragionamento diretto. La stessa conclusione si evince immediatamente dalla tabella di verità della implicazione logica. La premessa maggiore è la implicazione logica (terza colonna). Leggendo la tabella al contrario, se si tiene vera la premessa maggiore e "p" è vera (premessa minore), necessariamente si cade nel quarto caso, che riporta che anche q è vera. (it) 논리학에서 전건 긍정(前件肯定, 영어: affirming the antecedent) 또는 긍정 논법(肯定論法, 라틴어: modus ponens 모두스 포넨스[*], 약자 MP) 또는 함의 소거(含意消去, 영어: implication elimination)는 가언 명제와 그 전제로부터 그 결론을 유도해내는 추론 규칙이다. 즉, “만약 P이면, Q이다”와 “P이다”에서 “Q이다”를 추론한다. (ko) モーダスポネンス（ラテン語: modus ponens、MP）とは、論理学における妥当で単純な「論証」である。ラテン語で「肯定によって肯定する様式」の意。前件肯定 (affirming the antecedent) または分離規則 (the law of detachment) とも呼ぶ。 (ja) Modus ponendo ponens (sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego. Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość poprzednika prawdziwej implikacji, to musimy uznać też prawdziwość jej : Analogiczny schemat wnioskowania dedukcyjnego ma postać: Istnieje także reguła dedukcyjna o analogicznej strukturze, zwana regułą odrywania. (pl) Modus ponendo ponens (Latijn: wijs die door te stellen (bevestigen) [iets] stelt (bevestigt), ponere→"(neer) zetten"), kort modus ponens (soms afgekort tot MP), is een geldige propositionele redeneervorm met twee premissen, waarvan de eerste een voorwaardelijke uitspraak is: Als P, dan Q.P.Dus Q. of in : P → QP⊢ Q De redenering heeft twee premissen. De eerste is de "als-dan"- of voorwaardelijke uitspraak, namelijk dat P Q impliceert. De tweede premisse is dat P, het antecedent van het syllogisme, waar is. Uit deze twee premissen leid je af dat Q, het van de eerste premisse, waar is. Een voorbeeld van een syllogisme in de vorm van een modus ponens is: Als democratie de beste staatsvorm is, moet iedereen stemmen.Democratie is de beste staatsvorm.Iedereen moet stemmen. Het feit dat de redenering geldig is, verzekert ons er niet van dat de gebruikte stellingen waar zijn. De geldigheid van de modus ponens vertelt ons enkel dat de conclusie waar moet zijn, indien alle premissen waar zijn. (nl) Modus ponens är en förkortad form av modus ponendo ponens, som är en slutledningsregel inom satslogiken. Regeln kan formellt skrivas: vilket betyder att av två premisser, där den ena är en materiell implikation och den andra är implikationens första led, följer implikationens andra led. Från premisserna: P→Q och P, kan således slutsatsen Q dras. Regelns latinska namn har sitt ursprung i att implikationens första led bejakas, ponendo, och att därmed följer, att implikationens andra led kan bejakas, ponens. Exempel: Från de två premisserna, Om min klocka går rätt, så är tåget försenat och Min klocka går rätt, kan slutsatsenTåget är försenat, dras. Formellt kan regeln även skrivas: , där betyder syntaktisk konsekvens eller satslogisk konsekvens. Regeln uttryckt som en tautologi eller ett teorem i satslogiken skrivs: (sv) Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência. Ele pode ser resumido como "P implica Q, P é afirmado verdade, portanto, Q deve ser verdade." A história do modus ponens nos leva de volta a antiguidade. Como modus ponens é um dos conceitos mais utilizados na lógica não deve ser confundido com uma lei da lógica, mas sim como um dos mecanismos aceitos para a construção de provas dedutivas, que inclui a "regra de definição" e a "regra de substituição" modus ponens permite eliminar uma instrução condicional de uma prova lógica ou argumento e, assim, não levar esses antecedentes para frente em uma seqüência sempre crescente de símbolos; por essa razão modus ponens é às vezes chamado a regra do desapego. Enderton, por exemplo, observa que "modus ponens pode produzir fórmulas mais curtas de mais longas", e Russell observa que "o processo de inferência não pode ser reduzido a símbolos. Seu único registro é a ocorrência de ⊦ q [consequente] ... uma inferência é o lançamento de uma premissa verdadeira, que é a dissolução de uma implicação". A justificativa para a "confiança em inferência é acreditar que, se duas afirmações anteriores não estão erradas, a afirmação final [a consequente] não é um erro". Em outras palavras:. Se uma declaração ou proposição implica uma segunda, e a primeira declaração ou proposição é verdadeira, então a segunda também é verdadeira. Se P implica Q e P é verdadeira, então Q é verdadeira. Um exemplo é: Se estiver chovendo, eu encontrarei você no cinema.Está chovendo.Então, encontrarei você no cinema. Modus ponens pode ser simbolizado formalmente da seguinte forma: Onde a regra é que sempre que uma instância de "P → Q" e "P" aparecem em linhas de uma prova lógica, Q pode validamente ser colocado em uma linha subsequente. Modus ponens está intimamente relacionada com outra forma válida de argumento, modus tollens - ambos têm formas aparentemente semelhantes. (pt) Modus ponens («правило вывода»): если и — выводимые формулы, то также выводима. Форма записи: , где — любые формулы. Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента). Например, если нечто является металлом, то оно проводит ток, цинк является металлом, значит цинк проводит ток. Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл. Итого, если из следует , и — истинно, то может быть как истинно, так и ложно. Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций. (ru) 在逻辑中，肯定前件（拉丁语：Modus ponens）是有效的、简单的（常缩写为MP）: 如果P，则Q；且P為真，故Q為真。 (zh) Modus ponens (укр. метод, що підтверджує) — коректна, проста форма аргументації (інколи використовується скорочення MP): Якщо P, то Q.P.Звідси Q. або у логіко-операторному записі: ,,, де означає логічний висновок. Аргумент має два вихідних твердження. Перше це умова «якщо—то» або твердження, а саме що із P випливає Q. Друге твердження це те що P, умовна частина першого твердження, є . З цих двох умов логічно випливає, що Q, висновок першого твердження, мусить бути істиною також. Приклад твердження у формі modus ponens: Якщо демократія є найкращою системою урядування, то кожен повинен голосувати.Демократія є найкращою системою урядування.Отже, кожен повинен голосувати. Той факт, що висновок є коректним, не гарантує істинності вихідних тверджень. Коректність modus ponens каже тільки те, що висновок є істинним тоді і тільки тоді, коли всі вихідні твердження є істинними. Слід нагадати, що коректний логічний висновок, у якому одне або більше вихідних тверджень не є істинними, називають необґрунтованим, інакше, якщо всі твердження є істинними, такий аргумент називають обґрунтованим. У більшості логічних систем modus ponens вважається коректним, хоча кожен окремий випадок застосування може бути або обґрунтованим, або ні. Висновок логіки висловлювань із використанням modus ponens є дедуктивним. Цікавий діалог щодо проблематики modus ponens навів Льюїс Керрол: «Що Черепаха сказала Ахіллові». (uk)
dbo:wikiPageExternalLink http://mathworld.wolfram.com/ModusPonens.html
dbo:wikiPageID 18900 (xsd:integer)
dbo:wikiPageLength 16552 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1122149716 (xsd:integer)
dbo:wikiPageWikiLink dbc:Classical_logic dbr:Propositional_calculus dbr:Metalogic dbr:Bertrand_Russell dbr:Deductive_reasoning dbr:Algebraic_semantics_(mathematical_logic) dbr:Antecedent_(logic) dbr:Argument dbr:Cut-elimination_theorem dbr:Validity_(logic) dbr:⊢ dbr:Conditional_probability dbr:Consequent dbr:Material_conditional dbr:Constructive_dilemma dbr:Theophrastus dbr:Thomas_Hobbes dbr:Denying_the_antecedent dbr:Deontic_logic dbr:Function_application dbr:Proposition dbr:Statement_(logic) dbr:Admissible_rule dbr:Truth dbr:Truth_table dbr:Lattice_(order) dbr:Law_of_total_probability dbr:Alfred_North_Whitehead dbr:Alfred_Tarski dbr:Curry–Howard_correspondence dbr:Formal_proof dbr:Formal_system dbr:Forward_chaining dbr:Logical_consequence dbr:Logical_disjunction dbr:Argument_form dbr:Hamlet dbr:Hypothetical_syllogism dbr:Artificial_intelligence dbc:Latin_logical_phrases dbc:Rules_of_inference dbc:Theorems_in_propositional_logic dbr:Affirming_the_consequent dbr:Latin dbr:Syllogism dbr:Boolean_algebra_(structure) dbr:Classical_antiquity dbr:Classical_logic dbr:Shakespeare dbr:Sequent_calculus dbr:Modus_tollens dbr:Rule_of_inference dbr:Sequent dbr:Soundness dbr:Evidence_of_absence dbr:Subjective_logic dbr:Vann_McGee dbr:Wiktionary:ponens
dbp:field Classical logic (en) Propositional calculus (en) (en)
dbp:id p/m064570 (en)
dbp:name Modus ponens (en)
dbp:statement implies . is true. Therefore must also be true. (en)
dbp:title Modus ponens (en)
dbp:type (en) Rule of inference (en) Deductive argument form (en)
dbp:wikiPageUsesTemplate dbt:Springer dbt:Infobox_mathematical_statement dbt:PhilPapers dbt:Annotated_link dbt:IPAc-en dbt:ISBN dbt:Italic_title dbt:Redirects_here dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Transformation_rules dbt:Classical_logic
dct:subject dbc:Classical_logic dbc:Latin_logical_phrases dbc:Rules_of_inference dbc:Theorems_in_propositional_logic
rdf:type yago:WikicatTheoremsInPropositionalLogic yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:Message106598915 yago:Proposition106750804 yago:PsychologicalFeature100023100 yago:Rule105846054 yago:Statement106722453 yago:Theorem106752293
rdfs:comment Pravidlo modus ponens, též modus ponendo ponens nebo pravidlo vynětí, je odvozovací pravidlo a základ argumentace a dokazování nejen ve výrokové logice. (cs) القياس الاستثنائي ما يكون عين النتيجة أو نقيضها مذكورا فيه بالفعل، كقولنا إن كان هذا جسما فهو متحيز، لكنه جسم، ينتج أنه متحيز، وهو بعينه مذكور من القياس، أو لكنه ليس بمتحيز، ينتج أنه ليس بجسم، ونقيضه قولنا: إنه جسم مذكور في القياس. (ar) 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 conséquent (« donc B »). Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie le mode qui, en posant, pose. Il vient de ce qu'en posant (affirmant) A, on pose (affirme) B (ponendo est le gérondif du verbe ponere qui signifie poser, et ponens en est le participe présent). Le syllogisme est une forme d'application du modus ponens. (fr) 논리학에서 전건 긍정(前件肯定, 영어: affirming the antecedent) 또는 긍정 논법(肯定論法, 라틴어: modus ponens 모두스 포넨스[*], 약자 MP) 또는 함의 소거(含意消去, 영어: implication elimination)는 가언 명제와 그 전제로부터 그 결론을 유도해내는 추론 규칙이다. 즉, “만약 P이면, Q이다”와 “P이다”에서 “Q이다”를 추론한다. (ko) モーダスポネンス（ラテン語: modus ponens、MP）とは、論理学における妥当で単純な「論証」である。ラテン語で「肯定によって肯定する様式」の意。前件肯定 (affirming the antecedent) または分離規則 (the law of detachment) とも呼ぶ。 (ja) Modus ponendo ponens (sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego. Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość poprzednika prawdziwej implikacji, to musimy uznać też prawdziwość jej : Analogiczny schemat wnioskowania dedukcyjnego ma postać: Istnieje także reguła dedukcyjna o analogicznej strukturze, zwana regułą odrywania. (pl) 在逻辑中，肯定前件（拉丁语：Modus ponens）是有效的、简单的（常缩写为MP）: 如果P，则Q；且P為真，故Q為真。 (zh) En lògica, el modus ponendo ponens (en llatí, literalment manera que posa tot posant, en el sentit de manera que afirmant afirma), també anomenat modus ponens i generalment abreujat MPP o MP, és una regla d'inferència que té la següent forma: Si A, aleshores BAPer tant, B Per exemple, un raonament que segueix la forma del modus ponens podria ser: Si fa sol, llavors és de dia.Fa sol.Per tant, és de dia. Una altra manera de presentar el modus ponens és: I encara una altra manera és a través de la notació del càlcul de següent: En lògica proposicional la seva representació és la següent: (ca) 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. Er erlaubt es, aus zwei Aussagen der Form (Wenn A, dann B) und (A) (den beiden Prämissen der Schlussfigur) eine Aussage der Form B (die Konklusion der Schlussfigur) herzuleiten. (de) El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens,​​​​ eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.​ Se puede resumir como "si P implica Q; y si P es verdad; entonces Q también es verdad."​ La historia del modus ponendo ponens se remonta a la antigüedad.​ El modus ponendo ponens puede establecerse formalmente como: Un ejemplo de modus ponendo ponens es: (es) Modus ponendo ponens edo modus ponens (MD laburtuta) logika proposizionalaren eta bat da. Laburtuz, “baldin P-k inplikatzen badu Q; eta P egia bada; orduan, Q ere egiazkoa da.” Modus ponendo ponens-en historia luzea da. Formalki, modus ponendo ponens honela adieraz daiteke: Erregelak dio: "P → Q" eta "P" froga logiko batean lerro berdinean badaude, Q hurrengo lerroan idatzi daitekeela. Ikusten denez, P premisa eta inplikazioa deuseztatu egiten dira, bakarrik Q premisa mantentzen da ondoren berrerabili izateko, dedukzio konplexuago batean adibidez. Modus ponendo ponens-en adibidea: (eu) In propositional logic, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), also known as modus ponendo ponens (Latin for "method of putting by placing") or implication elimination or affirming the antecedent, is a deductive argument form and rule of inference. It can be summarized as "P implies Q. P is true. Therefore Q must also be true." (en) Dalam kalkulus proposisional, modus ponens (disingkat MP, bahasa Latin: modus ponendo ponens, terj. modus yang menegaskan dengan menegaskan) atau implikasi penghapusan adalah aturan penarikan kesimpulan. Hal ini dapat diringkas sebagai "P maka Q dan P adalah keduanya dianggap benar, maka Q harus benar." Modus ponens berkaitan erat dengan aturan lain, modus tollens. Silogisme berkaitan erat dengan modus ponens dan kadang-kadang dianggap sebagai "modus ponens ganda." (in) Nella logica, il modus ponens (MP), accorciamento del latino modus ponendo ponens ("modo che afferma", letteralmente "modo che pone con l'aver posto"), è una semplice e valida regola d'inferenza, che afferma in parole: Se p implica q è una proposizione vera, e anche la p è vera, allora la conseguenza q è vera o in notazione con operatori logici: La regola viene talvolta denominata: principio di disgiunzione, affermazione dell'antecedente, ragionamento diretto. La stessa conclusione si evince immediatamente dalla tabella di verità della implicazione logica. (it) Modus ponendo ponens (Latijn: wijs die door te stellen (bevestigen) [iets] stelt (bevestigt), ponere→"(neer) zetten"), kort modus ponens (soms afgekort tot MP), is een geldige propositionele redeneervorm met twee premissen, waarvan de eerste een voorwaardelijke uitspraak is: Als P, dan Q.P.Dus Q. of in : P → QP⊢ Q De redenering heeft twee premissen. De eerste is de "als-dan"- of voorwaardelijke uitspraak, namelijk dat P Q impliceert. De tweede premisse is dat P, het antecedent van het syllogisme, waar is. Uit deze twee premissen leid je af dat Q, het van de eerste premisse, waar is. (nl) Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência. Ele pode ser resumido como "P implica Q, P é afirmado verdade, portanto, Q deve ser verdade." A história do modus ponens nos leva de volta a antiguidade. Se estiver chovendo, eu encontrarei você no cinema.Está chovendo.Então, encontrarei você no cinema. Modus ponens pode ser simbolizado formalmente da seguinte forma: (pt) Modus ponens är en förkortad form av modus ponendo ponens, som är en slutledningsregel inom satslogiken. Regeln kan formellt skrivas: vilket betyder att av två premisser, där den ena är en materiell implikation och den andra är implikationens första led, följer implikationens andra led. Från premisserna: P→Q och P, kan således slutsatsen Q dras. Regelns latinska namn har sitt ursprung i att implikationens första led bejakas, ponendo, och att därmed följer, att implikationens andra led kan bejakas, ponens. Formellt kan regeln även skrivas: (sv) Modus ponens («правило вывода»): если и — выводимые формулы, то также выводима. Форма записи: , где — любые формулы. Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента). Например, если нечто является металлом, то оно проводит ток, цинк является металлом, значит цинк проводит ток. Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл. Итого, если из следует , и — истинно, то может быть как истинно, так и ложно. (ru) Modus ponens (укр. метод, що підтверджує) — коректна, проста форма аргументації (інколи використовується скорочення MP): Якщо P, то Q.P.Звідси Q. або у логіко-операторному записі: ,,, де означає логічний висновок. Аргумент має два вихідних твердження. Перше це умова «якщо—то» або твердження, а саме що із P випливає Q. Друге твердження це те що P, умовна частина першого твердження, є . З цих двох умов логічно випливає, що Q, висновок першого твердження, мусить бути істиною також. Приклад твердження у формі modus ponens: (uk)
rdfs:label قياس استثنائي (ar) Modus ponendo ponens (ca) Modus ponens (cs) Modus ponens (de) Modus ponendo ponens (es) Modus ponendo ponens (eu) Modus ponens (fr) Modus ponens (in) Modus ponens (it) 전건 긍정 (ko) Modus ponens (en) モーダスポネンス (ja) Modus ponens (nl) Modus ponens (pt) Modus ponendo ponens (pl) Modus ponens (ru) Modus ponens (sv) 肯定前件 (zh) Modus ponens (uk)
owl:sameAs freebase:Modus ponens yago-res:Modus ponens wikidata:Modus ponens dbpedia-ar:Modus ponens dbpedia-bg:Modus ponens dbpedia-ca:Modus ponens dbpedia-cs:Modus ponens dbpedia-da:Modus ponens dbpedia-de:Modus ponens dbpedia-es:Modus ponens dbpedia-et:Modus ponens dbpedia-eu:Modus ponens dbpedia-fa:Modus ponens dbpedia-fr:Modus ponens dbpedia-he:Modus ponens dbpedia-hr:Modus ponens dbpedia-hu:Modus ponens dbpedia-id:Modus ponens dbpedia-is:Modus ponens dbpedia-it:Modus ponens dbpedia-ja:Modus ponens dbpedia-ko:Modus ponens dbpedia-nl:Modus ponens dbpedia-pl:Modus ponens dbpedia-pt:Modus ponens dbpedia-ru:Modus ponens dbpedia-simple:Modus ponens dbpedia-sk:Modus ponens dbpedia-sr:Modus ponens dbpedia-sv:Modus ponens dbpedia-uk:Modus ponens dbpedia-zh:Modus ponens https://global.dbpedia.org/id/4qZ3Z
prov:wasDerivedFrom wikipedia-en:Modus_ponens?oldid=1122149716&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Modus_ponens
is dbo:notableIdea of dbr:Theophrastus
is dbo:wikiPageRedirects of dbr:Affirming_the_antecedent dbr:Rule_of_detachment dbr:Modus_Ponens dbr:Universal_modus_ponens dbr:Forward_reasoning dbr:Implication_elimination dbr:Modus_Ponen dbr:Modus_Ponendo_Ponens dbr:Modus_ponendo_ponens dbr:Multiple_modus_ponens
is dbo:wikiPageWikiLink of dbr:Begriffsschrift dbr:Pramana dbr:Preorder dbr:Principia_Mathematica dbr:Propositional_calculus dbr:Propositional_formula dbr:Saul_Kripke dbr:Epistemic_modal_logic dbr:Skeptical_theism dbr:Deductive_reasoning dbr:Argument_from_poor_design dbr:Argumentation_scheme dbr:Resolution_(logic) dbr:Curry's_paradox dbr:Cut_rule dbr:Deduction_theorem dbr:Deductive_classifier dbr:Destructive_dilemma dbr:Dynamic_logic_(modal_logic) dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Indicative_conditional dbr:Induction_puzzles dbr:Inference_engine dbr:Informal_fallacy dbr:Intermediate_logic dbr:Intuitionistic_logic dbr:List_of_rules_of_inference dbr:Proof_by_example dbr:Psychology_of_reasoning dbr:Reasoning_system dbr:Material_conditional dbr:Negation dbr:Separation_logic dbr:Susanne_Bobzien dbr:Chrysippus dbr:Clement_of_Alexandria dbr:Emil_Leon_Post dbr:Epistemic_closure dbr:Frege's_propositional_calculus dbr:Glossary_of_artificial_intelligence dbr:Moral_realism dbr:Mīmāṃsā dbr:Condensed_detachment dbr:Conditional_proof dbr:Constructive_dilemma dbr:Contradiction dbr:Contraposition dbr:Theophrastus dbr:Epsilon_calculus dbr:Logic dbr:Denying_the_antecedent dbr:Fréchet_inequalities dbr:Function_application dbr:Kripke_semantics dbr:Primitive_recursive_arithmetic dbr:Principle_of_sufficient_reason dbr:Stream_of_consciousness_(psychology) dbr:Automated_theorem_proving dbr:Admissible_rule dbr:Thought dbr:What_the_Tortoise_Said_to_Achilles dbr:Willard_Van_Orman_Quine dbr:Disjunctive_syllogism dbr:Doxastic_logic dbr:Fuzzy_rule dbr:Gödel_machine dbr:Law_of_excluded_middle dbr:Law_of_noncontradiction dbr:Law_of_thought dbr:Laws_of_Form dbr:Logic_in_computer_science dbr:Logical_form dbr:Logicism dbr:Minimal_logic dbr:Paraconsistent_logic dbr:Affirming_the_antecedent dbr:Algebraic_logic dbr:Curry–Howard_correspondence dbr:Cyc dbr:First-order_logic dbr:Direct_proof dbr:Formal_fallacy dbr:Forward_chaining dbr:List_of_Hilbert_systems dbr:List_of_Latin_phrases_(M) dbr:Rule_of_detachment dbr:Predicate_functor_logic dbr:Universal_generalization dbr:Rational_consequence_relation dbr:Rationality dbr:Relation_algebra dbr:Gödel's_incompleteness_theorems dbr:Heyting_algebra dbr:Hilbert_system dbr:Backward_chaining dbr:Counterfactual_conditional dbr:Temporal_logic dbr:Hypothetical_syllogism dbr:Łukasiewicz_logic dbr:Affirming_the_consequent dbr:Here_is_one_hand dbr:Modus_non_excipiens dbr:Modus_ponendo_tollens dbr:Axiom dbr:B,_C,_K,_W_system dbr:BL_(logic) dbr:Philosophy dbr:Implicational_propositional_calculus dbr:Metamath dbr:Necessity_and_sufficiency dbr:OpenCog dbr:Paul_Boghossian dbr:Modus_tollens dbr:Monoidal_t-norm_logic dbr:Rule_of_inference dbr:SKI_combinator_calculus dbr:Sorites_paradox dbr:Soundness dbr:Wason_selection_task dbr:Euler_diagram dbr:Expressivism dbr:Implication dbr:Import–export_(logic) dbr:List_of_valid_argument_forms dbr:Randolph_diagram dbr:Probabilistic_logic dbr:S5_(modal_logic) dbr:Everybody_Loves_My_Baby dbr:Finitary dbr:First-class_function dbr:T-norm_fuzzy_logics dbr:Normal_modal_logic dbr:Outline_of_logic dbr:Paradoxes_of_material_implication dbr:Van_Gogh_fallacy dbr:Subjective_logic dbr:Modus_Ponens dbr:Stoic_logic dbr:Universal_modus_ponens dbr:Forward_reasoning dbr:Implication_elimination dbr:Modus_Ponen dbr:Modus_Ponendo_Ponens dbr:Modus_ponendo_ponens dbr:Multiple_modus_ponens
is foaf:primaryTopic of wikipedia-en:Modus_ponens