Deductive reasoning, also deductive logic, is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. Deductive reasoning goes in the same direction as that of the conditionals, and links premises with conclusions. If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true.

Property Value
dbo:abstract
  • الاستنباط هو انتقال الذهن من قضية أو عدة قضايا (المقدّمات) إلى قضية أخرى (النتيجة) وفق قواعد المنطق، وليس بالضرورة أن يكون انتقالاً من العام إلى الخاص أو من الكلي إلى الجزئي؛ ومن أوضح صوره البرهنة الرياضية. الاستنباط هو تصميم من نوع أعلى أسفل، وهو أحد أشكال الاستنتاج، ويمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية العامة أو المبدئية. والمنهج الاستنباطي ضربان، حملي إذا كانت مقدماته مسلَّمٌ بصدقها بصفة نهائية، وفرضي إذا سلِّم بصدقها بصفة مؤقتة. (ar)
  • El raonament deductiu, deducció o mètode lògic deductiu és un mètode lògic que, a diferència del raonament inductiu, considera que la conclusió és implícita en les premisses; el raonament deductiu infereix aquests mateixos fets basant-se en la . És a dir, que la conclusió no és nova, se segueix necessàriament de les premisses. Si un raonament deductiu és vàlid i les premisses són veritables, la conclusió només pot ser veritable. Respon al raonament deductiu que va ser descrit per primera vegada per filòsofs de l'Antiga Grècia, especialment Aristòtil. La seva principal aplicació es realitza mitjançant el mètode d'extrapolació. El pensament deductiu parteix de categories generals per fer afirmacions sobre casos particulars. Es parla de raonament inductiu quan observant una cosa moltes vegades es declama que es veu en totes les coses de la mateixa espècie. En raoment deductiu, en canvi, per tal que un raonament sigui vàlid la conclusió ha de poder derivar necessàriament de les premisses, i n'ha de derivar aplicant a aquestes premisses algunes de les regles d'inferència segons les regles de transformació d'un sistema deductiu o càlcul lògic. Aquestes regles constitueixen una que defineix el significat de les relacions entre conceptes, no la validesa dels conceptes en si. Cada regla expressa una tautologia i, per tant una veritat necessària i universal, en ser aplicada a les premisses com a cas concret permet considerar la inferència de la conclusió com un cas de raonament deductiu. Per exemple, una regla podria si saps que sempre que passa una cosa en passa una altra, i a més saps que passa la primera cosa, pots concloure que passa l'altra. Això és sempre veritat independentmentment de quines coses parlis (perquè aquesta regla no parla tant de la realitat, com de què vol dir "sempre que passa"), per tant pots separar la verificació dels fets (és realment cert que sempre, sempre, sempre quan passa una cosa passa l'altra ? és realment cert que està passant la primera cosa ?) de la construcció lògica de l'argument que constitueix el raonament deductiu. Dit d'una altra manera, la conjunció o producte de totes les premisses quan és veritable, és a dir, totes i cada una de les premisses són vertaderes, llavors implica la veritat de la conclusió. AIxò funciona axí per a cada regla, i per tant funciona també per qualsevol encadenament de regles en què la conclusió d'una regla s'utilitza com a premissa d'altres. Per mitjà d'un raonament d'aquestes característiques es concedeix la màxima solidesa a la conclusió, les premisses impliquen lògicament la conclusió. I la conclusió és una conseqüència lògica de les premisses. Oposadament al raonament inductiu en el qual es formulen lleis a partir de fets observats, el raonament deductiu infereix aquests mateixos fets basant-se en la . S'acostuma a dividir en: * Mètode deductiu directe de conclusió immediata: S'obté el judici d'una sola premissa, és a dir que s'arriba a una conclusió directa sense intermediaris. * Mètode deductiu indirecte o de conclusió mediata: La premissa major conté la proposició universal, la premissa menor conté la proposició particular, de la seva comparació és la conclusió. Utilitza sil·logismes. (ca)
  • Dedukce (lat. deductio – odvození) je proces usuzování, ve kterém se od předpokladů (premis) dochází k z těchto předpokladů vyplývajícího, přičemž odvozování je jisté, nikoliv jen pravděpodobné. Jde tedy o základní postup při dokazování. (cs)
  • Παραγωγικός συλλογισμός είναι το είδος του συλλογισμού στο οποίο το συμπέρασμα είναι υποπερίπτωση ή εξειδίκευση κάποιας υπόθεσης. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του. Γενική μορφή: Για κάθε Α ισχύει Β.Το Γ είναι Α.Άρα Β. Κατά κανόνα η υπόθεση είναι πιο ισχυρή από το συμπέρασμα. Οι παραγωγικοί μπορούν να είναι πολύ στοιχειώδεις και να αποτελούν μέρος αποδεικτικών μεθόδων. (el)
  • Deductive reasoning, also deductive logic, is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. Deductive reasoning goes in the same direction as that of the conditionals, and links premises with conclusions. If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true. Deductive reasoning ("top-down logic") contrasts with inductive reasoning ("bottom-up logic") in the following way; in deductive reasoning, a conclusion is reached reductively by applying general rules which hold over the entirety of a closed domain of discourse, narrowing the range under consideration until only the conclusion(s) is left (there is no epistemic uncertainty; i.e. unrecognized parts of the currently available set; all parts of the currently available set are available and recognized). In inductive reasoning, the conclusion is reached by generalizing or extrapolating from specific cases to general rules, i.e., there is epistemic uncertainty (unrecognized parts of the currently available set). However, the inductive reasoning mentioned here is not the same as induction used in mathematical proofs – mathematical induction is actually a form of deductive reasoning. Deductive reasoning differs from abductive reasoning by the direction of the reasoning relative to the conditionals. Deductive reasoning goes in the same direction as that of the conditionals, whereas abductive reasoning goes in the opposite direction to that of the conditionals. (en)
  • Dedukto estas la ago, fari konkludon el la tuto pri la partoj, el la specaro pri la specoj, el ĝenerala principo pri konsekvencoj. Ĝi estas logika esprimo. La dedukto okazas per difinitaj metodoj, per kiuj oni faras sintaksajn transformojn el certaj antaŭsupozoj. La rezulto estas konkludo. La plena indukto estas , sed aliaj induktoj ne.Ekzemploj: Se mia premiso estas tiu , ke „Ĉiu homo mortos”, tiam - laŭ la reguloj de la klasika duvalora logiko - mi povas dedukti tiun unikan aserton, ke „Sokrato mortos”. Tiu dedukto estas pruvigaĵo, kiu dependas de vereco de la ĝenerala aserto. Samtempe, se mi havas difinite kalkuleblajn unikajn asertojn: „Sokrato mortos”, „Russell mortos”, „Nietzsche mortos” ktp., el tio mi ne povas ĝeneraligi teorie, ke „ĉiu homo mortos”, la konkludo ne estas dedukto, ĉar laŭ la dedukta logiko tio ne estas certe pruvigebla. (eo)
  • Die Deduktion (lateinisch deductio ‚Abführen, Fortführen, Ableitung‘), auch deduktive Methode oder deduktiver Schluss, ist in der Philosophie und der Logik eine Schlussfolgerung gegebener Prämissen auf die logisch zwingenden Konsequenzen. Deduktion ist schon bei Aristoteles als „Schluss vom Allgemeinen auf das Besondere“ verstanden worden, d. h. der Vererbung von Eigenschaften, die alle Mitglieder einer Gruppe teilen, auf echte Untermengen und einzelne Elemente. Dem stellt Aristoteles die Induktion als Gewinnung von allgemeinen Aussagen aus der Betrachtung mehrerer Einzelfälle, und die Abduktion oder Apagoge gegenüber, die feststellt, dass bestimmte Einzelfälle unter eine gegebene oder noch zu entdeckende allgemeine Regel fallen. (de)
  • En lógica, un razonamiento deductivo es un argumento donde la conclusión se infiere necesariamente de las premisas.​ En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia.​​ En resumen es comprender/entender(deducir) algo con base en un argumento. Un razonamiento deductivo es «mediato» porque se efectúa siguiendo una serie de «pasos lógicos». Estos razonamientos deductivos, nos permiten referir los objetos o fenómenos estudiados a las leyes que los rigen; de igual manera, permiten descubrir una consecuencia desconocida, a partir de un principio conocido. Estos principios se consideran como premisas. (es)
  • Arrazoibide deduktiboa edo besterik gabe dedukzioa baieztapen baten edo horren aldeko argudioa da, premisa batzuetatik batera helduz, logikaren arauetan oinarrituta. Aristotelesek silogismoetan oinarritu zen bereziki argudio deduktiboak emateko. (eu)
  • Deduksi berarti penarikan kesimpulan dari keadaan yang umum atau penemuan yang khusus dari yang umum. Dengan demikian, metode deduksi (atau penalaran deduktif, logika deduktif, deduksi logis atau logika "atas-bawah") adalah proses penalaran dari satu atau lebih pernyataan umum (premis) untuk mencapai kesimpulan logis tertentu. Metode deduksi akan membuktikan suatu kebenaran baru berasal dari kebenaran-kebenaran yang sudah ada dan diketahui sebelumnya (berkesinambungan). Metode deduksi umumnya dipakai pada bidang matematika untuk membuat turunan-turunan rumus yang lebih simpel. Penalaran deduktif menghubungkan premis-premis dengan kesimpulan. Jika semua premi benar, istilah jelas, dan aturan logika deduktif ditaati, maka kesimpulan ini tentu benar. (in)
  • En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. (fr)
  • Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita. Il termine significa letteralmente «condurre da», perché proviene dal latino "de" (traducibile con da, preposizione indicante provenienza, o moto di discesa dall'alto verso il basso) e "ducere" (condurre). Questo metodo parte da postulati e princìpi primi e, attraverso una serie di rigorose concatenazioni logiche, procede verso determinazioni più particolari attinenti alla realtà tangibile. (it)
  • 연역적 추론(演繹的推論, deductive reasoning)은 논리학 용어로, 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론이다. 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론이다. 진리가 될 수 있는 가능성을 따지는 귀납 추론과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다. (ko)
  • 演繹(えんえき、英: deduction)は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。 (ja)
  • Dedukcja – rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie założonego wcześniej zbioru przesłanek. Rozumowanie dedukcyjne w odróżnieniu od rozumowania indukcyjnego jest w całości zawarte wewnątrz swoich założeń, to znaczy nie wymaga tworzenia nowych twierdzeń czy pojęć, lecz jest tylko prostym wyciąganiem wniosków. Jeśli jest przeprowadzone poprawnie, zaś zbiór przesłanek nie zawiera zdań fałszywych, to wnioski wyciągnięte w wyniku rozumowania dedukcyjnego są nieodparcie prawdziwe i nie można ich zasadnie zakwestionować. (pl)
  • Deductie is een methode in de filosofie en in de logica, waarbij een gevolgtrekking wordt gemaakt uit het algemene naar het bijzondere - van de algemene regel (major-premisse) naar de bijzondere regel (minor-premisse) of waar de verzameling van premissen en de negatie van de conclusie inconsistent zijn. (nl)
  • Método dedutivo é a modalidade de raciocínio lógico que faz uso da dedução para obter uma conclusão a respeito de determinadas premissas. O método dedutivo normalmente se contrasta com o Método indutivo Essencialmente, os raciocínios dedutivos se caracterizam por apresentar conclusões que devem, necessariamente, ser verdadeiras caso todas as premissas sejam verdadeiras e se o raciocínio respeitar uma forma lógica válida. Partindo de princípios reconhecidos como verdadeiros (premissa maior), o pesquisador estabelece relações com uma segunda proposição (premissa menor) para, a partir de raciocínio lógico, chegar à verdade daquilo que propõe (conclusão). (pt)
  • Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, истинность которого гарантируется истинностью посылок. Также может определяться логико-методологическая процедура, посредством которой осуществляется переход от общего к частному в процессе рассуждения. Началом (посылками) дедукции являются аксиомы или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство логического доказательства. Противоположно индукции. Пример простейшего дедуктивного умозаключения: 1. * Все люди смертны. 2. * Сократ — человек. 3. * Следовательно, Сократ смертен. (ru)
  • Deduktion är generellt identiskt med härledning av slutsatser från givna premisser. Deduktiva slutledningar karakteriseras av att det råder ett hypotetiskt förhållande mellan premisser och slutsats, det vill säga ett förhållande av typen: Om P, så S. Deduktion är i formella logiska system, som satslogik och predikatlogik ett syntaktiskt begrepp, vilket betyder att det är möjligt att med slutledningsreglerna kontrollera följdriktigheten av deduktionen. Man behöver således inte känna till meningen av, utan endast relationer mellan, de ord som uppträder i premisser och slutsats. Ett formellt deduktivt system består av ett antal axiom och minst en slutledningsregel. Metafysiska och kunskapsteoretiska resonemang har ofta en deduktiv karaktär. Argumentationen bygger vanligen på premisser, som antas vara självklara och slutledningsregler vilka oftast inte redovisas. Detta gäller för många av de stora namnen i filosofins historia som Leibniz, Spinoza, Kant, Hegel och Schopenhauer. Hos skolastikerna, och bland andra Descartes, betyder ordet deduktion ibland en slutledning från det allmänna till det enskilda. (sv)
  • Деду́кція — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні то висновок на їх підставі є чинним (див. правильність). Висновок повинен базуватись винятково на основі попередньо наведених доказів та не повинен містити нової інформації про предмет, що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель.Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень. Дедуктивний, (англ. deductive, нім. deduktiv) — заснований на дедукції; дедуктивний метод — спосіб дослідження, при якому окремі положення логічно виводяться із загальних положень (аксіом, постулатів, законів). У логіці використовуються два загальних методи отримання висновків: дедукція та індукція. Головною відмінністю індукції є те що для її застосування не вимагається знати усі факти до того як зробити висновок. Оскільки на практиці неможливо все з'ясувати перед тим як робити умовивід, дедукція не має широкого застосування у реальному світі, окрім математики й природничих наук, які використовують . Індукція, натомість, оперує набором неповних фактів, та на їх основі робить висновок який напевно випливає, не даючи жодних гарантій щодо його істинності. Попри це, індукція дає можливість набувати нових знань, котрі не є очевидними при розгляді вихідних тверджень. Часто зустрічається помилкова думка, що дедукція рухається від загального до окремого та що індукція — це рух у зворотньому напрямку. (uk)
  • 演绎推理(英語:Deductive Reasoning)、正向推理在传统的亚里士多德逻辑中是「结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理」。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或「结论在确定性上,同前提一样」的推理。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 61093 (xsd:integer)
dbo:wikiPageLength
  • 12577 (xsd:integer)
dbo:wikiPageRevisionID
  • 986418078 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • الاستنباط هو انتقال الذهن من قضية أو عدة قضايا (المقدّمات) إلى قضية أخرى (النتيجة) وفق قواعد المنطق، وليس بالضرورة أن يكون انتقالاً من العام إلى الخاص أو من الكلي إلى الجزئي؛ ومن أوضح صوره البرهنة الرياضية. الاستنباط هو تصميم من نوع أعلى أسفل، وهو أحد أشكال الاستنتاج، ويمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية العامة أو المبدئية. والمنهج الاستنباطي ضربان، حملي إذا كانت مقدماته مسلَّمٌ بصدقها بصفة نهائية، وفرضي إذا سلِّم بصدقها بصفة مؤقتة. (ar)
  • Dedukce (lat. deductio – odvození) je proces usuzování, ve kterém se od předpokladů (premis) dochází k z těchto předpokladů vyplývajícího, přičemž odvozování je jisté, nikoliv jen pravděpodobné. Jde tedy o základní postup při dokazování. (cs)
  • Παραγωγικός συλλογισμός είναι το είδος του συλλογισμού στο οποίο το συμπέρασμα είναι υποπερίπτωση ή εξειδίκευση κάποιας υπόθεσης. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του. Γενική μορφή: Για κάθε Α ισχύει Β.Το Γ είναι Α.Άρα Β. Κατά κανόνα η υπόθεση είναι πιο ισχυρή από το συμπέρασμα. Οι παραγωγικοί μπορούν να είναι πολύ στοιχειώδεις και να αποτελούν μέρος αποδεικτικών μεθόδων. (el)
  • Die Deduktion (lateinisch deductio ‚Abführen, Fortführen, Ableitung‘), auch deduktive Methode oder deduktiver Schluss, ist in der Philosophie und der Logik eine Schlussfolgerung gegebener Prämissen auf die logisch zwingenden Konsequenzen. Deduktion ist schon bei Aristoteles als „Schluss vom Allgemeinen auf das Besondere“ verstanden worden, d. h. der Vererbung von Eigenschaften, die alle Mitglieder einer Gruppe teilen, auf echte Untermengen und einzelne Elemente. Dem stellt Aristoteles die Induktion als Gewinnung von allgemeinen Aussagen aus der Betrachtung mehrerer Einzelfälle, und die Abduktion oder Apagoge gegenüber, die feststellt, dass bestimmte Einzelfälle unter eine gegebene oder noch zu entdeckende allgemeine Regel fallen. (de)
  • Arrazoibide deduktiboa edo besterik gabe dedukzioa baieztapen baten edo horren aldeko argudioa da, premisa batzuetatik batera helduz, logikaren arauetan oinarrituta. Aristotelesek silogismoetan oinarritu zen bereziki argudio deduktiboak emateko. (eu)
  • En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. (fr)
  • Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita. Il termine significa letteralmente «condurre da», perché proviene dal latino "de" (traducibile con da, preposizione indicante provenienza, o moto di discesa dall'alto verso il basso) e "ducere" (condurre). Questo metodo parte da postulati e princìpi primi e, attraverso una serie di rigorose concatenazioni logiche, procede verso determinazioni più particolari attinenti alla realtà tangibile. (it)
  • 연역적 추론(演繹的推論, deductive reasoning)은 논리학 용어로, 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론이다. 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론이다. 진리가 될 수 있는 가능성을 따지는 귀납 추론과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다. (ko)
  • 演繹(えんえき、英: deduction)は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。 (ja)
  • Dedukcja – rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie założonego wcześniej zbioru przesłanek. Rozumowanie dedukcyjne w odróżnieniu od rozumowania indukcyjnego jest w całości zawarte wewnątrz swoich założeń, to znaczy nie wymaga tworzenia nowych twierdzeń czy pojęć, lecz jest tylko prostym wyciąganiem wniosków. Jeśli jest przeprowadzone poprawnie, zaś zbiór przesłanek nie zawiera zdań fałszywych, to wnioski wyciągnięte w wyniku rozumowania dedukcyjnego są nieodparcie prawdziwe i nie można ich zasadnie zakwestionować. (pl)
  • Deductie is een methode in de filosofie en in de logica, waarbij een gevolgtrekking wordt gemaakt uit het algemene naar het bijzondere - van de algemene regel (major-premisse) naar de bijzondere regel (minor-premisse) of waar de verzameling van premissen en de negatie van de conclusie inconsistent zijn. (nl)
  • 演绎推理(英語:Deductive Reasoning)、正向推理在传统的亚里士多德逻辑中是「结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理」。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或「结论在确定性上,同前提一样」的推理。 (zh)
  • El raonament deductiu, deducció o mètode lògic deductiu és un mètode lògic que, a diferència del raonament inductiu, considera que la conclusió és implícita en les premisses; el raonament deductiu infereix aquests mateixos fets basant-se en la . És a dir, que la conclusió no és nova, se segueix necessàriament de les premisses. Si un raonament deductiu és vàlid i les premisses són veritables, la conclusió només pot ser veritable. Respon al raonament deductiu que va ser descrit per primera vegada per filòsofs de l'Antiga Grècia, especialment Aristòtil. La seva principal aplicació es realitza mitjançant el mètode d'extrapolació. (ca)
  • Deductive reasoning, also deductive logic, is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. Deductive reasoning goes in the same direction as that of the conditionals, and links premises with conclusions. If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true. (en)
  • Dedukto estas la ago, fari konkludon el la tuto pri la partoj, el la specaro pri la specoj, el ĝenerala principo pri konsekvencoj. Ĝi estas logika esprimo. La dedukto okazas per difinitaj metodoj, per kiuj oni faras sintaksajn transformojn el certaj antaŭsupozoj. La rezulto estas konkludo. La plena indukto estas , sed aliaj induktoj ne.Ekzemploj: Se mia premiso estas tiu , ke „Ĉiu homo mortos”, tiam - laŭ la reguloj de la klasika duvalora logiko - mi povas dedukti tiun unikan aserton, ke „Sokrato mortos”. Tiu dedukto estas pruvigaĵo, kiu dependas de vereco de la ĝenerala aserto. (eo)
  • En lógica, un razonamiento deductivo es un argumento donde la conclusión se infiere necesariamente de las premisas.​ En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia.​​ En resumen es comprender/entender(deducir) algo con base en un argumento. (es)
  • Deduksi berarti penarikan kesimpulan dari keadaan yang umum atau penemuan yang khusus dari yang umum. Dengan demikian, metode deduksi (atau penalaran deduktif, logika deduktif, deduksi logis atau logika "atas-bawah") adalah proses penalaran dari satu atau lebih pernyataan umum (premis) untuk mencapai kesimpulan logis tertentu. Metode deduksi akan membuktikan suatu kebenaran baru berasal dari kebenaran-kebenaran yang sudah ada dan diketahui sebelumnya (berkesinambungan). Metode deduksi umumnya dipakai pada bidang matematika untuk membuat turunan-turunan rumus yang lebih simpel. (in)
  • Método dedutivo é a modalidade de raciocínio lógico que faz uso da dedução para obter uma conclusão a respeito de determinadas premissas. O método dedutivo normalmente se contrasta com o Método indutivo Essencialmente, os raciocínios dedutivos se caracterizam por apresentar conclusões que devem, necessariamente, ser verdadeiras caso todas as premissas sejam verdadeiras e se o raciocínio respeitar uma forma lógica válida. (pt)
  • Deduktion är generellt identiskt med härledning av slutsatser från givna premisser. Deduktiva slutledningar karakteriseras av att det råder ett hypotetiskt förhållande mellan premisser och slutsats, det vill säga ett förhållande av typen: Om P, så S. Deduktion är i formella logiska system, som satslogik och predikatlogik ett syntaktiskt begrepp, vilket betyder att det är möjligt att med slutledningsreglerna kontrollera följdriktigheten av deduktionen. Man behöver således inte känna till meningen av, utan endast relationer mellan, de ord som uppträder i premisser och slutsats. (sv)
  • Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, истинность которого гарантируется истинностью посылок. Также может определяться логико-методологическая процедура, посредством которой осуществляется переход от общего к частному в процессе рассуждения. Пример простейшего дедуктивного умозаключения: 1. * Все люди смертны. 2. * Сократ — человек. 3. * Следовательно, Сократ смертен. (ru)
  • Деду́кція — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні то висновок на їх підставі є чинним (див. правильність). Висновок повинен базуватись винятково на основі попередньо наведених доказів та не повинен містити нової інформації про предмет, що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель.Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень. (uk)
rdfs:label
  • Deductive reasoning (en)
  • استنباط (ar)
  • Raonament deductiu (ca)
  • Dedukce (cs)
  • Deduktion (de)
  • Παραγωγικός συλλογισμός (el)
  • Dedukto (eo)
  • Razonamiento deductivo (es)
  • Arrazoibide deduktibo (eu)
  • Raisonnement déductif (fr)
  • Metode deduksi (in)
  • Deduzione (it)
  • 演繹 (ja)
  • 연역 (ko)
  • Deductie (nl)
  • Rozumowanie dedukcyjne (pl)
  • Método dedutivo (pt)
  • Дедуктивное умозаключение (ru)
  • Дедукція (uk)
  • Deduktion (sv)
  • 演绎推理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:skills of
is foaf:primaryTopic of