This HTML5 document contains 21 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
n11https://mek.oszk.hu/00000/00060/html/025/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Among_Us
prop-hu:műfaj
dbpedia-hu:Dedukció
dbo:genre
dbpedia-hu:Dedukció
Subject Item
dbpedia-hu:Dedukció
rdfs:label
Dedukció
owl:sameAs
freebase:m.0gl0s
dct:subject
n8:Vizsgálati_módszerek n8:Logika
dbo:wikiPageID
20843
dbo:wikiPageRevisionID
21666783
dbo:wikiPageExternalLink
n11:pc002553.html%234
prop-hu:wikiPageUsesTemplate
n4:Forrásjelzés-Pallas n4:Részben_nincs_forrás n4:Nemzetközi_katalógusok n4:Lektor
prop-hu:url
n11:pc002553.html%234
prop-hu:szócikk
Dedukció
dbo:abstract
Dedukció vagy levezetés, bizonyítás logikai fogalom. Dedukción egy olyan műveletet értünk, amelynek során bizonyos előfeltevésekből (premisszákból) bizonyos, előre meghatározott módszerekkel (levezetési szabályokkal) általában szintaktikai jellegű átalakításokat végzünk. Az eredmény a konklúzió (következmény). Szűkebb értelemben ezek szigorúan meg kell hogy feleljenek a klasszikus kétértékű deduktív logika szabályainak. A következtetések a premisszák elfogadásának feltételével így bizonyítottak lesznek. A dedukciót nem szabad összekeverni bizonyos más következtetésekkel, amelyek a feltevések igazsága esetén is csak valószínűsítik a konklúziót, nem bizonyítják. Ilyen például az indukció, amely általában az egyedi premisszák igazsága esetében sem teszi bizonyossá az általános állítást, hanem legfeljebb azt. Ugyanakkor a teljes indukció egy matematikai bizonyítási szabály a természetes számok axiómarendszerében, azaz dedukció. Példák: Ha a premisszám az az univerzális állítás, hogy „Minden ember halandó”, akkor ebből a klasszikus kétértékű logika szabályai szerint dedukálhatom azt az , hogy „Szókratész halandó”. Ezt a levezetést bizonyításnak tekinthetjük, amely az általános állítás igazságától függ. Ugyanakkor, ha csak véges sok egyedi állításom van: „Szókratész halandó”, „Russell halandó”, „Nietzsche halandó” stb., akkor ebből ugyan általánosíthatok, hogy „minden ember halandó”, azonban ez a következtetés nem lesz dedukció, ugyanis a deduktív logika szerint ez nem következik, azaz nem biztos a levezetés, nem ad bizonyosságot akkor sem, ha a véges sok egyedi állításom igaz. Véges sok ember megfigyelését adottnak véve logikailag még bármikor bekövetkezhet, hogy egy nem halandó embert figyelünk meg.
prov:wasDerivedFrom
wikipedia-hu:Dedukció?oldid=21666783&ns=0
dbo:wikiPageLength
2095
foaf:isPrimaryTopicOf
wikipedia-hu:Dedukció
Subject Item
dbpedia-hu:Deduktív
dbo:wikiPageRedirects
dbpedia-hu:Dedukció
Subject Item
wikipedia-hu:Dedukció
foaf:primaryTopic
dbpedia-hu:Dedukció