An Entity of Type: Election, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Deductive reasoning, also deductive logic, is the process of reasoning from one or more statements (premises) to reach a logical conclusion. It consists of drawing particular conclusions from a general premise or hypothesis. 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)
  • 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)
  • 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 dedukto, sed aliaj induktoj ne.Ekzemploj: Se mia premiso estas tiu universala aserto, 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)
  • Deductive reasoning, also deductive logic, is the process of reasoning from one or more statements (premises) to reach a logical conclusion. It consists of drawing particular conclusions from a general premise or hypothesis. 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 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) remains. In deductive reasoning there is less uncertainty. In inductive reasoning, the conclusion is reached by generalizing or extrapolating from specific cases to general rules resulting in a conclusion that has epistemic uncertainty. Inductive reasoning 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. The idea of "deduction" popularized in Sherlock Holmes stories is technically abduction, rather than deductive reasoning. Deductive reasoning goes in the same direction as that of the conditionals, whereas abductive reasoning goes in the direction contrary to that of the conditionals. (en)
  • 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 logisch zwingende 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)
  • El razonamiento deductivo o deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.​ Tradicionalmente se consideraba, y en muchos casos todavía se considera, que la deducción es un método de razonamiento «top-down», o que «va de lo general a lo particular». Esto, en oposición a la inducción, que sería un método «bottom-up», o que «va de lo particular a lo general». En su definición lógica 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)
  • En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. (fr)
  • 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)
  • 연역적 추론(演繹的推論, deductive reasoning)은 논리학 용어로, 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론이다. 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론이다. 진리가 될 수 있는 가능성을 따지는 귀납 추론과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다. (ko)
  • 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)
  • 演繹(えんえき、英: deduction)は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的」「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。 (ja)
  • O raciocínio dedutivo, também chamado de lógica dedutiva ou dedução lógica ou até mesmo, informalmente, a lógica "top-down", é o processo de raciocínio a partir de uma ou mais afirmações (premissas) para chegar a uma certa conclusão lógica. O raciocínio dedutivo liga afirmações (ou premissas) com conclusões. Se todas as premissas são verdadeiras, com termos claros (não ambíguos), e as regras da lógica dedutiva são seguidas corretamente, então a conclusão é necessariamente verdade. O raciocínio dedutivo (lógica top-down) contrasta com o raciocínio indutivo (lógica de baixo para cima – ou bottom-up) da seguinte forma: No raciocínio dedutivo, a conclusão é obtida pela aplicação das regras gerais que mantêm sobre a totalidade de um domínio fechado de discurso, estreitando a faixa em consideração até que reste apenas a conclusão. No raciocínio indutivo, a conclusão é atingida por generalização ou extrapolação a partir de informações iniciais. Como resultado, a indução pode ser usada até mesmo em um domínio aberto, aquele em que há incerteza. Note, porém, que o raciocínio indutivo mencionado aqui não é o mesmo que a indução utilizada em provas matemáticas - Indução Matemática é na verdade uma forma de raciocínio dedutivo. (pt)
  • Dedukcja – rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie wcześniej założonego 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)
  • 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)
  • Deduktion (vetenskapliga bevis) ä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 Reasoning)、正向推理在传统的亚里士多德逻辑中是「结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理」。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或「结论在确定性上,同前提一样」的推理。 (zh)
  • Деду́кция (лат. deductio — выведение, также дедукти́вное умозаключе́ние, силлоги́зм) — вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства. Аксиоматический метод — способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории. См. также индукция. Таким образом, дедукция — метод мышления, следствием которого является логический вывод, истинность которого гарантируется истинностью посылок. Также может определяться логико-методологическая процедура, посредством которой осуществляется переход от общего к частному в процессе рассуждения. Пример простейшего дедуктивного умозаключения: (ru)
  • Деду́кція (лат. deductio, від deduco — «низводжу, відводжу») — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні, то висновок на їх підставі є чинним (див. правильність). Висновок повинен базуватись винятково на основі попередньо наведених доказів та не повинен містити нової інформації про предмет, що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель.Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень. Дедуктивний, (англ. deductive, нім. deduktiv) — заснований на дедукції; дедуктивний метод — спосіб дослідження, при якому окремі положення логічно виводяться із загальних положень (аксіом, постулатів, законів). У логіці використовуються два загальних методи отримання висновків: дедукція та індукція. Головною відмінністю індукції є те що для її застосування не вимагається знати усі факти до того як зробити висновок. Оскільки на практиці неможливо все з'ясувати перед тим як робити умовивід, дедукція не має широкого застосування у реальному світі, окрім математики й природничих наук, які використовують . Індукція, натомість, оперує набором неповних фактів, та на їх основі робить висновок який напевно випливає, не даючи жодних гарантій щодо його істинності. Попри це, індукція дає можливість набувати нових знань, котрі не є очевидними при розгляді вихідних тверджень. Часто зустрічається помилкова думка, що дедукція рухається від загального до окремого та що індукція — це рух у зворотному напрямку. (uk)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 61093 (xsd:integer)
dbo:wikiPageLength
  • 16513 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1072420463 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
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)
  • 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 logisch zwingende 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)
  • 연역적 추론(演繹的推論, deductive reasoning)은 논리학 용어로, 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론이다. 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론이다. 진리가 될 수 있는 가능성을 따지는 귀납 추론과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다. (ko)
  • 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)
  • 演繹(えんえき、英: deduction)は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的」「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。 (ja)
  • Dedukcja – rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie wcześniej założonego 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)
  • 演绎推理(英語:Deductive Reasoning)、正向推理在传统的亚里士多德逻辑中是「结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理」。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或「结论在确定性上,同前提一样」的推理。 (zh)
  • Παραγωγικός συλλογισμός (ή παραγωγική λογική) ονομάζεται η συλλογιστική διαδικασία κατά την οποία ένα λογικά ασφαλές συμπέρασμα προκύπτει από μια ή περισσότερες προτάσεις (προκείμενες). Κατά συνέπεια, το συμπέρασμα αποτελεί υποπερίπτωση ή εξειδίκευση μιας αρχικής θέσης που τίθεται ως γενικός κανόνας. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του. Γενική μορφή: Για κάθε Α ισχύει Β. Το Γ είναι Α. Άρα, για το Γ, ισχύει Β. (el)
  • 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 dedukto, sed aliaj induktoj ne.Ekzemploj: (eo)
  • El razonamiento deductivo o deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.​ Tradicionalmente se consideraba, y en muchos casos todavía se considera, que la deducción es un método de razonamiento «top-down», o que «va de lo general a lo particular». Esto, en oposición a la inducción, que sería un método «bottom-up», o que «va de lo particular a lo general». (es)
  • Deductive reasoning, also deductive logic, is the process of reasoning from one or more statements (premises) to reach a logical conclusion. It consists of drawing particular conclusions from a general premise or hypothesis. 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)
  • 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)
  • O raciocínio dedutivo, também chamado de lógica dedutiva ou dedução lógica ou até mesmo, informalmente, a lógica "top-down", é o processo de raciocínio a partir de uma ou mais afirmações (premissas) para chegar a uma certa conclusão lógica. O raciocínio dedutivo liga afirmações (ou premissas) com conclusões. Se todas as premissas são verdadeiras, com termos claros (não ambíguos), e as regras da lógica dedutiva são seguidas corretamente, então a conclusão é necessariamente verdade. (pt)
  • 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 (vetenskapliga bevis) ä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. Ett formellt deduktivt system består av ett antal axiom och minst en slutledningsregel. Hos skolastikerna, och bland andra Descartes, betyder ordet deduktion ibland en slutledning från det allmänna till det enskilda. (sv)
  • Деду́кция (лат. deductio — выведение, также дедукти́вное умозаключе́ние, силлоги́зм) — вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства. Пример простейшего дедуктивного умозаключения: (ru)
  • Деду́кція (лат. deductio, від deduco — «низводжу, відводжу») — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні, то висновок на їх підставі є чинним (див. правильність). Висновок повинен базуватись винятково на основі попередньо наведених доказів та не повинен містити нової інформації про предмет, що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель.Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень. (uk)
rdfs:label
  • Deductive reasoning (en)
  • استنباط (ar)
  • Dedukce (cs)
  • Raonament deductiu (ca)
  • Παραγωγικός συλλογισμός (el)
  • Deduktion (de)
  • Dedukto (eo)
  • Razonamiento deductivo (es)
  • Arrazoibide deduktibo (eu)
  • Raisonnement déductif (fr)
  • Metode deduksi (in)
  • Deduzione (it)
  • 演繹 (ja)
  • 연역 (ko)
  • Deductie (nl)
  • Raciocinio dedutivo (pt)
  • Rozumowanie dedukcyjne (pl)
  • Método dedutivo (pt)
  • Deduktion (sv)
  • Дедукція (uk)
  • Дедуктивное умозаключение (ru)
  • 演绎推理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
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
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License