Definizione di teorema

Un teorema in linea generale viene interpretato come una regola enunciata da qualche scienziato pazzo. Ma i teoremi rientrano nella logica.


Definizione di teorema:
Un teorema è una frase costituita da due proposizioni o enunciati connessi fra loro dai connettivi logici dell'implicazione o della coimplicazione materiale. Un teorema è una proposizione molecolare.

Dire: «Solo gli uccelli volano», è come se avessimo detto «Per volare, bisogna essere uccelli» oppure che «Se un animale vola, è un uccello». Quindi «essere un uccello» è necessario per poter volare, mentre saper volare è sufficiente per essere un uccello. Da tutto questo deduciamo anche che «tutti gli uccelli volano», e questo non è vero. Quindi il ragionamento fatto indietro, parlando sempre di logica, è corretto ma è falso perchè ci sono uccelli che non volano (Struzzo, oca, papera, pinguino, gallina, ...).

Un teorema può essere espresso mediante implicazione materiale o coimplicazione. La premessa si dice ipotesi, mentre la conseguenza tesi.