| 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
| |
| dbo:wikiPageLength
|
- 5872 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| 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
| |
| 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
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
