Teoirimː Iseamorfacht

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í.[1]

TagairtíCuir in Eagar