Teorema
De Wikisofia
La revisió el 09:42, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} <small>(del grec Grec::θεώρημα, ''theórema'', aò que es pot contemplar amb els ulls o amb l'enteniment)</small> Terme propi de les...».)
La revisió el 09:42, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} <small>(del grec Grec::θεώρημα, ''theórema'', aò que es pot contemplar amb els ulls o amb l'enteniment)</small> Terme propi de les...».)
(del grec θεώρημα, theórema, aò que es pot contemplar amb els ulls o amb l'enteniment)
Terme propi de les ciències matemàtiques, on des d'Euclides designa una conclusió demostrada a partir d'axiomes, o postulats, i definicions. En lògica, l'enunciat que a manera de conclusió es demostra per deducció a partir d'un conjunt buit de premisses. És, per tant, una veritat lògica, una veritat necessària o una tautologia.
Que una fórmula, B, és deduïble d'un conjunt buit, s'indica
Un teorema de lògica pot usar-se en una prova o derivació com a regla derivada.