Teoirim

Tairiscint a chruthaítear trí dhéaduchtú loighciúil ó roinnt prionsabal a nglactar leo roimh ré is ea teoirim. Tá teoirimí geoiméadracha ar eolas go forleathan, ach bíonn teoirimí i ngach réimse den mhatamaitic.

Tugtar léamh ar theoirim shimplí a chruthaítear is a úsáidtear ansin chun cruthú teoirime eile a fhorbairt. 

Más teoirim í go gciallaíonn ráiteas p ráiteas q, is é coinbhéarta na teoirime go gciallaíonn ráiteas q ráiteas p.  

Ní fíor an coinbhéarta i ngach cás. Mar shampla, má tá dhá thriantán iomchuí, bíonn a bhfairsingí cothrom le chéile, ach ní gá go mbeidh dhá thriantán le fairsingí cothroma iomchuí. 

 Féach freisin 

 Teoiric eolaíochta
 Modh eolaíochta
 Paradacsa an Fhiaigh Dhuibh

 Tagairtí 

Catagóir:Matamaitic
Catagóir:Loighic mhatamaiticiúil
Catagóir:Modh eolaíoch
Catagóir:Eolas