Property Value
dbo:abstract
  • A tétel érvényességet kifejező állítás, amely egy viszony, tény, igaznak tekintett megállapítás fennállását jelzi. Erre további állítások, illetve igazságok épülnek. A magyar tétel szó a „tesz” ige és a „-tel” főnévképző rag keresztezése. A matematikában a tétel olyan állítás, amely igaznak bizonyult, vagy axiómák alapján, vagy más tételek alapján. Ha a tételeket be kell bizonyítani, a fogalom koncepciója deduktívnak számít, a tudományos törvény esetében használt fogalommal ellentétben, amelyik kísérleti. Logikailag sok tétel indikatív feltételes formájú: „A = B”. Egy ilyen tétel nem állítja a B-t - csak azt, hogy a B az A szükséges következménye. Ebben az esetben A-t a tétel hipotézisének vagy feltételének nevezzük (a „hipotézis” szó helyenként „sejtés” értelemben is használatos, ebben az esetben azonban nem), és a B a tétel következtetése. Alternatív megoldásként az A-t és a B-t előzménynek, illetve következménynek nevezzük. (hu)
  • A tétel érvényességet kifejező állítás, amely egy viszony, tény, igaznak tekintett megállapítás fennállását jelzi. Erre további állítások, illetve igazságok épülnek. A magyar tétel szó a „tesz” ige és a „-tel” főnévképző rag keresztezése. A matematikában a tétel olyan állítás, amely igaznak bizonyult, vagy axiómák alapján, vagy más tételek alapján. Ha a tételeket be kell bizonyítani, a fogalom koncepciója deduktívnak számít, a tudományos törvény esetében használt fogalommal ellentétben, amelyik kísérleti. Logikailag sok tétel indikatív feltételes formájú: „A = B”. Egy ilyen tétel nem állítja a B-t - csak azt, hogy a B az A szükséges következménye. Ebben az esetben A-t a tétel hipotézisének vagy feltételének nevezzük (a „hipotézis” szó helyenként „sejtés” értelemben is használatos, ebben az esetben azonban nem), és a B a tétel következtetése. Alternatív megoldásként az A-t és a B-t előzménynek, illetve következménynek nevezzük. (hu)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1757196 (xsd:integer)
dbo:wikiPageLength
  • 5872 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 23659673 (xsd:integer)
prop-hu:author
  • Hoffman, P. (hu)
  • Wilf, Herbert (hu)
  • Zeilberger, Doron (hu)
  • Hoffman, P. (hu)
  • Wilf, Herbert (hu)
  • Zeilberger, Doron (hu)
prop-hu:authorLink
  • Archimedes (hu)
  • Benson Mates (hu)
  • Douglas Hofstadter (hu)
  • Geoffrey Hunter (hu)
  • Archimedes (hu)
  • Benson Mates (hu)
  • Douglas Hofstadter (hu)
  • Geoffrey Hunter (hu)
prop-hu:first
  • Geoffrey (hu)
  • Douglas (hu)
  • Benson (hu)
  • Sir Thomas Little (hu)
  • Geoffrey (hu)
  • Douglas (hu)
  • Benson (hu)
  • Sir Thomas Little (hu)
prop-hu:isbn
  • 0 (xsd:integer)
  • 1 (xsd:integer)
prop-hu:last
  • Hunter (hu)
  • Heath (hu)
  • Hofstadter (hu)
  • Mates (hu)
  • Hunter (hu)
  • Heath (hu)
  • Hofstadter (hu)
  • Mates (hu)
prop-hu:origYear
  • 1973 (xsd:integer)
prop-hu:publisher
  • Dover (hu)
  • Oxford University Press (hu)
  • University of California Press (hu)
  • Basic Books (hu)
  • Hyperion, New York (hu)
  • A.K. Peters, Wellesley, Massachusetts (hu)
  • Dover (hu)
  • Oxford University Press (hu)
  • University of California Press (hu)
  • Basic Books (hu)
  • Hyperion, New York (hu)
  • A.K. Peters, Wellesley, Massachusetts (hu)
prop-hu:title
  • Metalogic: An Introduction to the Metatheory of Standard First Order Logic (hu)
  • A = B (hu)
  • Elementary Logic (hu)
  • Gödel, Escher, Bach: An Eternal Golden Braid (hu)
  • The works of Archimedes (hu)
  • The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth (hu)
  • Metalogic: An Introduction to the Metatheory of Standard First Order Logic (hu)
  • A = B (hu)
  • Elementary Logic (hu)
  • Gödel, Escher, Bach: An Eternal Golden Braid (hu)
  • The works of Archimedes (hu)
  • The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth (hu)
prop-hu:url
prop-hu:urlAccess
  • registration (hu)
  • registration (hu)
prop-hu:urlStatus
  • dead (hu)
  • dead (hu)
prop-hu:wikiPageUsesTemplate
prop-hu:year
  • 1897 (xsd:integer)
  • 1972 (xsd:integer)
  • 1979 (xsd:integer)
  • 1996 (xsd:integer)
  • 1998 (xsd:integer)
dct:subject
rdfs:label
  • Tétel (hu)
  • Tétel (hu)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is foaf:primaryTopic of