Capšalera
 FiloXarxa Diccionari enciclopŔdic de filosofia: autors, conceptes, textos

Temes  -

El saber filos˛fic El coneixement La realitat L'Ússer humÓ L'acciˇ humana La societat

Hist˛ria -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporÓnia Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

teorema LĎG.

(del grec 2,fD0:", theórema, all˛ 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 Ă |- B o bÚ, |- B.

Un teorema de lògica pot usar-se en una prova o derivació com a regla derivada.
 

Licencia de Creative Commons
Aquesta obra estÓ sota una llicŔncia de Creative Commons.