| rdfs:comment
| - 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ímu, přičemž odvozování je jisté, nikoliv jen pravděpodobné. Jde tedy o základní postup při dokazování. (cs)
- الاستنباط هو انتقال الذهن من قضية أو عدة قضايا (المقدّمات) إلى قضية أخرى (النتيجة) وفق قواعد المنطق، وليس بالضرورة أن يكون انتقالاً من العام إلى الخاص أو من الكلي إلى الجزئي؛ ومن أوضح صوره البرهنة الرياضية. الاستنباط هو تصميم من نوع أعلى أسفل، وهو أحد أشكال الاستنتاج، ويمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية العامة أو المبدئية. والمنهج الاستنباطي ضربان، حملي إذا كانت مقدماته مسلَّمٌ بصدقها بصفة نهائية، وفرضي إذا سلِّم بصدقها بصفة مؤقتة. (ar)
- 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)
- 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)
- 演繹（えんえき、英: deduction）は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的」「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。 (ja)
- 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)
- 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 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)
- Παραγωγικός συλλογισμός (ή παραγωγική λογική) ονομάζεται η συλλογιστική διαδικασία κατά την οποία ένα λογικά ασφαλές συμπέρασμα προκύπτει από μια ή περισσότερες προτάσεις (προκείμενες). Κατά συνέπεια, το συμπέρασμα αποτελεί υποπερίπτωση ή εξειδίκευση μιας αρχικής θέσης που τίθεται ως γενικός κανόνας. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του. Γενική μορφή: Για κάθε Α ισχύει Β. Το Γ είναι Α. Άρα, για το Γ, ισχύει Β. (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)
- Deductive reasoning is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. if it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid. An argument is sound if it is valid and all its premises are true. Some theorists define deduction in terms of the intentions of the author: they have to intend for the premises to offer deductive support to the conclusion. With the help of this modification, it is possible to distinguish valid from invalid deductive reasoning: it is invalid if the author's belief about the deductive support is fa (en)
- Die Deduktion (lateinisch deductio‚ Abführen, Fortführen, Ableitung), auch deduktive Methode oder deduktiver Schluss, ist der Prozess des Ziehens logisch zwingender Schlussfolgerungen. Eine Schlussfolgerung ist zwingend oder deduktiv gültig, wenn ihre Konklusion logisch aus den Prämissen folgt. Die Wahrheit der Prämissen (auch Annahmen, Voraussetzungen) muss daher hinreichend für die Wahrheit des deduktiv Gefolgerten (der Konklusion) sein. Die Auseinandersetzung mit der Deduktion spielt für die Logik und die Wissenschaftstheorie des 20. Jahrhunderts eine zentrale Rolle. (de)
- El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas. Una inferencia es deductivamente válida si su conclusión se sigue lógicamente de sus premisas, es decir, si es imposible que las premisas sean verdaderas y la conclusión falsa. Por ejemplo, la inferencia de las premisas "todos los hombres son mortales" y "Sócrates es hombre" a la conclusión "Sócrates es mortal" es deductivamente válida. Un argumento es sólido (sound) si es válido y todas sus premisas son verdaderas. Algunos teóricos definen la deducción en términos de las intenciones del autor para facilitar la distinción entre el razonamiento deductivo válido y el inválido. (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 o raciocínio dedutivo é a maneira de tirar inferências dedutivas. Uma inferência é dedutivamente válida se sua conclusão segue logicamente de suas premissas, ou seja, se é impossível que as premissas sejam verdadeiras e a conclusão falsa. Por exemplo, a inferência das premissas "todos os homens são mortais" e "Sócrates é um homem" para a conclusão "Sócrates é mortal" é dedutivamente válida. Um argumento é sólido se é válido e todas as suas premissas são verdadeiras. Alguns teóricos definem a dedução em termos das intenções do autor: tem que ter a intenção de que as premissas ofereçam apoio dedutivo à conclusão. Com a ajuda desta modificação, é possível distinguir o raciocínio dedutivo válido do inválido: é inválido se a crença do autor sobre o apoio dedutivo é falsa, mas me (pt)
- Деду́кция (лат. deductio «выведение», также дедукти́вное умозаключе́ние, силлоги́зм) — вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. В дедукции вывод строится от общих положений к частным случаям. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений (общее), а концом — следствия из посылок, теоремы (частное). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства. (ru)
- 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, від deduco — «низводжу, відводжу») — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні, то висновок на їх підставі є чинним (див. правильність). Висновок повинен базуватись винятково на основі попередньо наведених доказів та не повинен містити нової інформації про предмет, що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель.Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень. (uk)
|
.svg)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)