Teoirim

Ón Vicipéid, an chiclipéid shaor.

Tairiscint a chruthaítear trí dhéaduchtú loighciúil ó roinnt prionsabal a nglactar leo roimh ré. 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í.